[教育]图的基本概念.ppt

* 补图 定义6.11 设G=V,E为n阶简单图, 记 =V?V -E, 称 为G的补图 【例】求下图中图(a)、(b)、(c)的补图。 (a) (b) (c) 解 上图中图(a)、(b)、(c)的补图分别为图下中图(a)、(b)、(c)。 (a) (b) (c) 注意，孤立结点一定不要漏了，否则结点集就不同。 * 注 在定义6.11中，当G为有向图时，则G’为有向完全图；当G为无向图时，则G’为无向完全图。 G的补图也可理解为从结点集V的完全图中删除G中的边剩下的图，即G与其补图的结点集是相同的，边集是相对于完全图的边集为全集的补集。 显然，若G1= ，则G= ，即它们互为补图。 Kn的补图为n个结点的零图。 (G) (G1) * 图的同构 定义6.12 设G1=V1,E1, G2=V2,E2为两个无向图(有向图), 若存在双射函数 f: V1?V2, 使得对于任意的vi,vj?V1, (vi,vj)?E1 (vi,vj?E1) 当且仅当 (f(vi), f(vj))?E2 (f(vi), f(vj)?E2) 并且 (vi,vj) (vi,vj) 与 (f(vi),f(vj)) (f(vi),f(vj))的重数相同， 则称G1与G2是同构的，记作G1?G2. 例如下图中的两个图G1和G2实际上是同一个图K4。 G1 1 2 3 4 G2 1 2 3 4 * 实例 第一行的3个图分别与第二行的哪个图同构？能看出它们为什么同构吗？ * 实例 例6 画出4阶3条边的所有非同构的无向简单图 解 总度数为6, 分配给4个顶点, 最大度为3, 且奇度顶点数 为偶数, 有下述3个度数列: (1) 1,1,1,3;(2)1,1,2,2;(3)0,2,2,2. 1,1,1,3 1,1,2,2 0,2,2,2 * 实例 例7 画出3个以1,1,1,2,2,3为度数列的非同构的无向简单图 * （1）结点数目相同； （2）边数相同； （3）度数相同的结点数相同。 两个图同构的必要条件 【实例】试证明下图中，G≌G’。 8 G 1 2 5 6 G’ b 3 4 7 a c e g d f h 证明 构造结点之间的双射函数f如下： f(1)=a，f(2)=b，f(3)=c，f(4)=d，f(5)=e，f(6)=f，f(7)=g，f(8)=h 容易验证，f满足定义6.12，所以G≌G’。 分析 证明两个图同构，关键是找到满足要求的结点集之间的双射函数。现在还没有好的办法，只有凭经验去试。 * 证明下图中，G与G’不同构 1 2 5 6 3 4 G a b e f c d G’ 分析 证明两个图不同构，通常用反证法。 证明 假设G≌G’，双射函数为f。由定义6.12，v与f(v)的度数一定相同，因此有f(3)=d。G中3与一个度数为1的结点6邻接，而G’中d与两个度数为1的结点e、f邻接，矛盾。 注意 图同构的三个必要条件不是充分条件。在上图的G与G’两个图，虽然满足以上三个条件，但不同构。 寻找一种简单而有效的方法来判断图的同构，是图论中一个重要而未解决的问题。 * 练习:请画出K4的所有不同构的生成子图. ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? * 欢迎辞 * * 这个结果是图论的第一个定理，它是由欧拉于1736年最先给出的。欧拉曾对此定理给出了这样一个形象论断：如果许多人在见面时握了手，两只手握在一起，被握过手的总次数为偶数。故此定理称为图论的基本定理或握手定理。 * * * Kn即k正则图 * 图是表达事物之间关系的工具，因此，图的最本质的内容是结点和边的关联关系。而在实际画图时，由于结点的位置不同，边的长短曲直不同，同一事物间的关系可能画出不同形状的图来。 * K4即有4个顶点的无向完全图 * 第6章 图 图论是一门很有实用价值的学科，它在自然科学、社会科学等各领域均有很多应用。自上世纪中叶以来，它受计算机科学蓬勃发展的刺激，发展极其迅速，应用范围不断拓广，已渗透到诸如语言学、逻辑学、物理学、化学、电讯工程、计算机科学以及数学的其它分支中。特别在计算机科学中，如形式语言、数据结构、分布式系统、操作系统、网络等方面均扮演着重要的角色。 网络图论模型. 将整个网络系统抽象为1 个有向图G = ( V , { R } ) , 其中顶点表示网络节点, 如路由器、服务器和PC 主机等, V 为顶点的有限非空集合; 有向弧连