离散数学试题B.docVIP

装 订 线 班级： 学号： 姓名： 装 订 线 第 =page 2*2-1 3页 共 = NUMPAGES 3*26页 第 = PAGE 2*2 4页 共  = NUMPAGES 3*26页 第 =page 3*2-1 5页 共 = NUMPAGES 3*26页 第 = PAGE 3*2 6页 共  = NUMPAGES 3*26页 哈尔滨工程大学试卷 考试科目：离散数学B（041121，041131-32） 考试时间：　2007.01.16 14:00-16:30 题号一二三四五总分分数评卷人 填空题（每小题3分，共15分） 谓词公式xF(x)ú?$xG(x)的前束范式为 　　　　　　　 ． 设V1= áR , +?, V2=áR , ×?，其中+和×为普通加法和乘法，令j : R?R , j(x)=ex, 则j是从V1 到V2 的 　　　　　　 ． 设无向连通图G有6个顶点9条边, T为G的生成树，对应T的基本割集系统中的基本割集个数为 　 ，基本回路系统中的基本回路个数为 　 ． 设N为自然数集，D为其上的整除关系，则áN, D?的全下界为 　　 ，其全上界为 　 ． n阶无向简单图G的?=?=n-1，则G为 　 ． 选择题（每小题3分，共15分） 命题公式?(pùq)?(?pú?q)的类型是 【 】 A．重言式． 　　　　 B．非重言式的可满足式． C．矛盾式． 　 　D．简单析取式． 无向树T中有4度，3度，2度顶点各1个，其余顶点都是树叶，则T中树叶片数为 【 】 A．1． 　　 B．8． C．7． 　　 D．5． 下列图中是哈密尔顿图的是 【 】 A．K3，4． B．K5． C．K2． D．K1，1． 下列图中那一个是欧拉图 【 】 A．K4，4． B．K4． C．K3，4． D．K3，3． 有理数集上定义二元运算*为a*b=a+b-ab，运算*的零元【 C】 A．b． B．a． C．1． D．0． 计算与简答题（每小题8分，共40分） 求?(r?p)ú(qù(púr))的主析取范式，并给出成真赋值． 设A={1,2,3,4,6, 8,12,24}，B={1,2,3,4}，D为整除关系． 　(1) 画出偏序集?A, D?的哈斯图． 　(2) 求B的极大元、极小元、最大元、最小元、最小上界，最大下界． 　(3) ?A, D?是否构成格？说明理由． 设集合Ａ={a,b,c,d}上的二元关系R={áa，b?，áb，a?，áb，c?，ác，d?}，用关系矩阵求R的传递闭包t(R)． 设G=A，*，A={a，b，c}，*的运算表为： *abcaabcbbcaccab（1）找出G的单位元；　　　　　　　　　　 （2）找出G的幂等元； （3）求b的逆元b-1和c的逆元c-1． （4）G是否为群？是否为阿贝尔群？ （5）求G的生成元群和所有子群． v4 v1 设有向图D如图，v3 v2 求 （1）D中v1到自身长度小于或等于3的回路数； （2）D中v1到v3长度小于或等于3的通路数； （3）D中长度为3的通路数，并指出其中的回路数； （4）利用图的邻接矩阵求其可达矩阵． 证明题（共20分） 在一阶逻辑中构造下面推理的证明 前提：. ?x(F(x)??G(x)), ?x(G(x)úR(x)), ?x?R(x) 结论： ?x?F(x) 　 设áG，*?是群，áH，*?为áG，*?的子群，在G上定义关系R：a，b?G，áa，b??R ??h?H，使得a=b*h，证明R是G上的等价关系． 设R，S为一非空集合A上的反对称关系，证明R∩S也是A上的反对称关系． 应用题（10分） 5 7 3 2 4 B C D 6 A A，B，C，D四个旅游点之间的距离如下图所示，某游客现在位于A处，求他游完其余3个旅游点最后再到达A处的最短线路．