第10章节几种图的介绍—2nd—zhou.pptVIP

多边形图 定义：由多边形的图定界的每一个区域，都称为图G的面。 定义：包含有多边形的图G的所有面的边界的多边形，称为G的极大基本循环。 例：上页图中的循环 就是该多边形图的极大基本循环。 给定图G的极大基本循环外侧的无限区域，是另外一个面，一般称为G的无限面。事实上，如果把图G的图解画在球面上，则G的无限面与其它的有限面并没有什么区别。 定义：如果图G的两个面共有一条边，则称这样的两个面是邻接的面。 */135 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 多边形图 定理：(欧拉公式)设 是个具有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 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 多边形图 根据归纳假设可知， ，因此应有 得证。 */135 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 对偶图 定义：设平面图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 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 对偶图 例：给定下图的对偶图。 结论：每一个多边形的图G，其对偶图G*也必定是一个多边形的图，而且G和G*是互为对偶的。 */135 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自对偶图 定义：如果多边形的图G的对偶G*同构于G，则称G是自对偶图。 与平面图相关的应用：四色问题。是否可用四种颜色对任何平面图形的区域染色，使得任何两个邻接区域，包括无限区域都不会呈现相同的颜色？ */135 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 10.3二部图及匹配 定义：设无向图 。如果存在V的划分{V1,V2}，使得Vi中的任何两个结点都不相邻 ，则称G为二部图，V1和V2称为G的互补结点子集。 二部图没有自圈。与二部图的一条边关联的两个结点一定分属于两个互补结点子集。一般来说，二部图的互补结点子集的划分不是唯一的。 */135 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二部图 一个无向图如果能画成上面的样式，很容易判定它是二部图。有些图虽然表面