第十章 几种图及介绍-2nd-zhou.pptVIP

多边形图 定义：由多边形的图定界的每一个区域，都称为图G的面。 定义：包含有多边形的图G的所有面的边界的多边形，称为G的极大基本循环。 例：上页图中的循环 就是该多边形图的极大基本循环。 给定图G的极大基本循环外侧的无限区域，是另外一个面，一般称为G的无限面。事实上，如果把图G的图解画在球面上，则G的无限面与其它的有限面并没有什么区别。 定义：如果图G的两个面共有一条边，则称这样的两个面是邻接的面。 */135 多边形图 定理：(欧拉公式)设 是个具有k个面(包括无限面在内)的(n,m)多边形的图。则 证：对于面的数目k用归纳法证明。面的最少数目(包括无限面在内)是2。在这种情况下，图G是个多边形，因而应有n=m。这样，有n-m+k=2。 假设对于具有k-1个面(包括无限面)的图来说，定理成立。 往证对于具有k个面(包括无限面)的图，定理亦成立。为此，首先构成具有k=k-1个面的(n,m)图G，然后附加上一条长度为l≥1的基本路径，它与G仅共有两个结点，则 */135 多边形图 根据归纳假设可知， ，因此应有 得证。 */135 对偶图 定义：设平面图G有k个面 。对每个面Fi在其内部指定一个新顶点fi；对Fi和Fj公共的边，指定一条新边{fi,fj}与其相交。这些新顶点和新边组成的图用来表示G*，并称G*为图G的对偶图。 由G求G*的方法：对于G中的任何一个面Fi，给G*指定一个结点fi，对于面Fi和Fj所共有的一条边，给G*指定一条边{fi,fj}。实际上，首先在Fi内指定每个结点fi，并且用连通fi和fj的一条边，去交叉Fi和Fj所共有的边，这样就可求得对偶图G*。 */135 对偶图 例：给定下图的对偶图。 结论：每一个多边形的图G，其对偶图G*也必定是一个多边形的图，而且G和G*是互为对偶的。 */135 自对偶图 定义：如果多边形的图G的对偶G*同构于G，则称G是自对偶图。 与平面图相关的应用：四色问题。是否可用四种颜色对任何平面图形的区域染色，使得任何两个邻接区域，包括无限区域都不会呈现相同的颜色？ */135 图着色 平面图的着色问题，最早起源于地图的着色。在一张地图中，若相邻国家着以不同的颜色，那么最少需要多少种颜色呢？1840年，德国数学家麦比乌斯(A.F.Mǒbius)在他的讲稿中第一次提出了确信用四种颜色可以对地图着色的问题(以下简称四色猜想)。1879年肯普(Kempe)给出了这个猜想的第一个证明，但到1890年希伍德(Hewood)发现肯普证明是有错误的，然而他指出了肯普的方法虽不能证明地图着色用四种颜色就够了，但却可以证明用五种颜色是够的，即五色定理成立。 直到1976年，美国数学家阿普尔(K.I.Apple)和黑肯(W.Haken)在考西(J.koch)的帮助下，用计算机作了一百多亿次逻辑判断，花了1200多机时才证明了四色猜想是成立的，从此，四色猜想成为四色定理。 */135 图着色 平面里的每幅地图都可以表示成一个图。为了建立这样的对应关系，地图的每个区域用一个点表示，若两个顶点表示的区域有公共边界，则用边连接这两个顶点。只相交于一个点的两个区域不算是相邻的。 给地图着色的问题等价于这样一个问题：找出给对偶图G=V，E的顶点着色α，即找到从结点集V到色集C={c1，c2，…，cn}上一个映射，使对任意边[vi，vj]∈E均有α(vi)≠α(vj)，即对G的每个结点指派一种颜色，使得相邻结点都有不同的颜色。 */135 图着色 定义：对于平面图G着色时，需要的最少颜色数称为G的着色数，记为χ(G)。 四色定理：对于任何平面图G，有χ(G)≤4。 */135 图的着色数 将图的着色数从平面图推广到所有图中，判断下图的着色数。 */135 图的着色数 */135 图的着色数 */135 图的着色数 总结： 图G只有孤立结点时，即G是平面图，?(G)=1. 图G为n阶完全图时，?(G)=n. 若图G是n个结点回路时，则当n为偶数，?(G)=2；当n为奇数，?(G)=3。 若图G是二部图时， ?(G)=2. */135 求图的着色数 设图G=V，E，且vi，vj是G中不相邻两结点。现引进下面二个符号。 表示G中加上一条连接vi和vj的边所得到的图。显然 与G+(vi，vj)相同。 表示把vi和vj两结点收缩为一个结点z所得到的图，即图G中凡是与vi和vj关联的边都改为与z关联。 ?(G)=min{?( )，?( )}。 */135 求图的着色数 例：求下图G的着色数。 注意：已知的最好的