离散数学复习.pptVIP

* 练习题： 1、179页8 2、180页14 3、202页3 4、203页15，16，17，18 5、219页9 * 练习题 1、设S3是S={1，2，3}上所有双射函数（也叫置换）构成的集合，o是S3上的复合运算， (1)给出其复合运算的运算表， (2)证明它是否是群 (3)证明它和?Z6，+6?是否同构 (4)若是群给出其所有子群 解： S3上能够构成3！个双射函数， F={f1,f2,f3,f4,f5,f6} * 其中：f1={?1,1?, ?2,2?, ?3,3?} f2={?1,1?, ?2,3?, ?3,2?} f3={?1,3?, ?2,2?, ?3,1?} f4={?1,2?, ?2,1?, ?3,3?} f5={?1,2?, ?2,3?, ?3,1?} f6={?1,3?, ?2,1?, ?3,2?} 运算表见下页。 * o f1 f2 f3 f4 f5 f6 f1 f1 f2 f3 f4 f5 f6 f2 f2 f1 f5 f6 f3 f4 f3 f3 f6 f1 f5 f4 f2 f4 f4 f5 f6 f1 f2 f3 f5 f5 f4 f2 f3 f6 f1 f6 f6 f3 f4 f2 f1 f5 函数的复合运算是可结合的，表中第1行和第1列和定义域的排列顺序一致，因此f1是幺元，从表中可以看出每个元素均有逆元， f2， f3 ，f4均是自身的逆元， f5 和f6互为逆元。因此该系统是群。 * 作出? Z6 ，+6?的运算表如下 +6 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 2 3 4 5 0 2 2 3 4 5 0 1 3 3 4 5 0 1 2 4 4 5 0 1 2 3 5 5 0 1 2 3 4 这是个6阶群，幺元是0，1和5互逆，2和4互逆，3是3的逆。 它和? S3 ，o?不同构因为在该系统中只有3是3的逆，而在 ? S3 ，o?中有3个元素是自身的 逆元。 * S3 ，o?是群，根据拉哥朗日定理，它有1，2，3，6阶子群 ，其中1阶子群是G1=? {f1} ，o? 2阶子群是G2=? {f1，f2} ，o? G3=? {f1，f3} ，o? G4=? {f1，f4} ，o? 3阶子群是G5=? {f1，f5, f6} ，o? 6阶子群是G6=? S3 ，o? 而? Z6 ，+6?的真子群是： 2阶子群为?{0,3} ，+6? 3阶子群是?{0,2,4} ,+6? * 可以证明? Z6 ，+6?的2阶子群?{0,3} ，+6?和? S3 ，o?的任何2阶子群都同构，其3阶子群相互同构。 * 图论部分 深刻理解握手定理及推论的内容并能灵活地应用它们 深刻理解图同构、简单图、完全图、正则图、子图、补图、二部图的概念以及它们的性质及相互之间的关系 记住通路与回路的定义、分类及表示法 深刻理解与无向图连通性、连通度有关的诸多概念 会判别有向图连通性的类型 熟练掌握用邻接矩阵及其幂求有向图中通路与回路数的方法，会求可达矩阵 * 深刻理解欧拉图、半欧拉图的定义及判别定理 深刻理解哈密顿图、半哈密顿图的定义. 会用哈密顿图的必要条件判断某些图不是哈密顿图. 会用充分条件判断某些图是哈密顿图. 要特别注意的是，不能将必要条件当作充分条件，也不要将充分条件当必要条件. * 深刻理解本部分的基本概念：平面图、平面嵌入、面、次数、极大平面图、极小非平面图、对偶图 牢记极大平面图的主要性质和判别方法 熟记欧拉公式及推广形式，并能用欧拉公式及推广形式证明有关定理与命题 会用库拉图斯基定理证明某些图不是平面图 记住平面图与它的对偶图阶数、边数、面数之间的关系 深