离散数学试卷和答案16.docVIP

判断正误 20% （每小题 2分） 1、设A，B， C是任意三个集合。 （1）若AB且BC，则AC。 （ ） （2）若AB且BC，则AC。 （ ） （3）若AB且BC，则AC。 （ ） （4）A。 （ ） （5）(AB)C=(AC) (BC)。 （ ） 2、可能有某种关系，既是对称的，又是反对称的。（　 　） ３、若平面图共有v个结点，e条边和r个面，则v-e+r=2。（ ） ４、任何有向图中各结点入度之和等于边数。（ ） ５、代数系统中一个元素若有左逆元，则该元素一定也有右逆元。（ ） ６、任何一个循环群必定是阿贝尔群。（ ） 8% 将谓词公式化为前束析取范式与前束合取范式。 8% 设集合Ａ＝{a,b,c,d,e}上的关系Ｒ＝{a,b,b,c,b,d,d,e}写出它的关系矩阵和关系图，并用矩阵运算方法求出Ｒ的传递闭包。 四、10% 设G,*是一个群，证明：若对任意的，都有，,, 则G,*是一个阿贝尔群。 五、8% 根据库拉托夫斯基定理，证明下图为非平面图，要求用两种证法。 法（1）是找出与K3，3在2度结点内同构的子图。 法（2）是找出与K5在2度结点内同构的子图。 六、10% 证明：每个结点的度数至少为2的图必包含一个回路。 七、12% 用ＣＰ规则证明： 　　１、 　　２、　 八、12% 用推理规则证明下式： 前提: 结论： 九、12% 若集合Ｘ＝｛（0，2），（１，２），（2，4），（３，４），（５，６），……｝ 证明R是X上的等价关系。 求出X关于R的商集。 一、填空 20%（每小题2分） 题目 1 2 3 4 5 6 （1） （2） （3） （4） （5） 答案 Y N N N Y Y N Y N Y 二、8% 三、8% 关系矩阵： 关系图： 传递闭包： t (R)={ a , b , a, c , a, d , a ,e , b , c , b , d , b , e , d , e }。 四、10% 证明：对G,*中任意元素a和b 所以G,*是阿贝尔群 五、8% 法一： 法二： 六、10% 证明:设L是图G中最长路的一条，设其长度为m，这条路的一个端点设为a，考察G中与a关联的那些边，这些边中任何一条边的另一端必在L上，否则，将这个结点加进L中就得一条更长的路。 若G中每个结点度数至少为2，则a也要关联于一条不在L上的边e，若e是环，则e本身就是回路，否则，边e的另一端点b（与a不同的点）在L上，而连通L中a到b的子路与边e组成一个回路。 七、12%（每小题6分） 1、 ① P ② P ③ T①②I ④ P ⑤ T④E ⑥ T③⑤I ⑦ T⑥E ⑧ P(附加前提) ⑨ T⑦⑧I ⑩ CP 2、 ① P（ 附加前提） ② ES① ③ P ④ US③ ⑤ T②④I ⑥ EG⑤ ⑦ CP 八、12% ⑴ P ⑵ P ⑶ T⑴⑵I ⑷ ES⑵ ⑸ P ⑹ ES⑸ ⑺ US⑶ ⑻ T⑹I ⑼ T⑺⑻I ⑽ T⑷⑼I ⑾ EG⑽ ⑿ EG⑾ 九、12% （1）自反性： (2) 对称性： （3）传递性： 由等价关系的定义知R是X上的等价关系。 2、X/R={[0,2]R ,[1,2]R} 离散数学试卷（十六） 109 离散数学试卷（十六） a b e