离散数学试题B(答案).docVIP

装 订 线 班级： 学号： 姓名： 装 订 线 第 =page 4*2-1 7页 共 = NUMPAGES 4*28页 第 = PAGE 4*2 8页 共  = NUMPAGES 4*28页 第 =page 3*2-1 5页 共 = NUMPAGES 4*28页 第 = PAGE 3*2 6页 共  = NUMPAGES 4*28页 哈尔滨工程大学试卷 考试科目：离散数学B（051121，051131-32） 考试时间：　2007.07.03 14:00-16:00 题号一二三四五总分分数评卷人 填空题（每小题3分，共15分） 谓词公式?xF(x，y)???yG(x，y)的前束范式为 ?xy(F(x，u)? ?G(v，y)) ． 设R是集合A={1，2，3，4，5，6，7，8，9，10}上的模3同余关系，则A关于R的商集为 {{1，4，7，10}，{2，5，8}，{3，6，9}}． 无向树T中有2个4度顶点，3个3度顶点，其余顶点都是树叶，则T中有 6 片树叶． 设G是n阶无向简单完全图，则n与边数m的关系为 m=Cn2 =n(n-1)/2 ． 设无向图G为n (n?3)阶极大平面图，R是G的一个面，则deg(R)= 3 ． 选择题（每小题3分，共15分） 令F(x)：x是火车，G(y)：y是汽车，H(x，y)：x比y跑得快．在一阶逻辑中将“所有的火车都比某些汽车跑得快”符号化为【A】 A．?x(F(x)??y(G(y)?H(x，y)))． B．?x?y((F(x)?G(y))?H(x，y))． C．?x?y(F(x)?(G(y)?H(x，y)))． D．?x(F(x)??y(G(y)?H(x，y)))． 4阶无向完全图的非同构的生成子图有 【B】 A．1个． B．2个． C．3个． D．4个． 下列图中是欧拉图的有 【C】 A．K2，3． B．K4． C．K7． D．K3，3． 设无向连通图G有6个顶点9条边，T为G的生成树，对应T的基本回路系统中的基本回路个数为 【C】 A．5． 　　 B．6． C．4． 　　 D．9． 下列图中是哈密尔顿图的是 【D】 A．K1，1． 　 B．K3，4． C．K2． 　 D．K5． 计算与简答题（每小题8分，共40分） 求?(r?p)ú(qù(púr))的主析取范式，并给出成真赋值． ?(r?p)ú(qù(púr)) ??(?rúp)ú(qùp)ú(qùr) ?(?pùr)ú(pùq)ú(qùr) ?((?pùr)ù(?qúq))ú((pùq)ù(?rúr))ú((qùr)ù(?púp)) ?(?pù?qùr)ú(?pùqùr)ú(pùqù?r)ú(pùqùr) ?m1úm3úm6úm7 此为公式的主析取范式． 公式的成真赋值为001、011、110和111． 设有偏序集?A，D?，其中A={1，2，3，6，9，54}，D为A上的整除关系， 　画出偏序集?A，D?的哈斯图． 　求A的极大元，极小元，最大元，最小元． 　求B={3，6，9}的最小上界和最大下界． 　?A，D?是否构成格？说明理由． ? ?? ? ? ? ?  （１）偏序集?A，D?的哈斯图如右图． （２）A的极大元是54，极小元是1；它们分别是A的最大元和最小元是． （3）B的最小上界是54；最大下界3． （4）?A，D?构成格，因为A中任意两个元素均有最小上界和最大上界． 设R={?x，y?| x，y?Z+ùx+3y=12}，其中Z+表示全体正整数集合，求R的传递闭包t(R)． R={?x，y?| x，y?Z+ùx+3y=12}={?3，3?，?6，2?，?9，1?}， R2={?3，3?}， 显然，R2?R，即R是传递关系，因此， t(R)=R={?3，3?，?6，2?，?9，1?}． 设G=A，*，A={a，b，c}，*的运算表为： *abcaabcbbcaccab（1）找出G的单位元；