7 图论3.pptVIP

Deren Chen, Zhejiang Univ. 图的着色应用与对偶图 定义1： 简单图的着色/coloring 定理1 四色定理/four color theorem 应用问题 小 结 进一步的思考 练 习 * Graphs/图论 * 7.1 图的概念/Introduction of Graph 7.2 图的术语/Graph Terminology 7.3 图的表示与同构/ Representing Graph and Graph Isomorphism 7.4 连通性/Connectivity 7.5 欧拉道路与哈密尔顿道路/ Euler and Hamilton Paths 7.6 最短道路问题/Shortest Path Problem 7.7 平面图/Planar Graphs 7.8 图的着色/Graph Coloring §６ 平面图/Planar Graphs [定义]平面图： 图Ｇ＝（Ｖ，Ｅ），如果Ｅ中边除了在Ｖ中顶点处可以相交，在其他地方都可以不相交，则Ｇ称为平面图/Planar。其画法称为图的平面表示/Planar Representation。 下面的图A、图B看上去有边相交的，但改画一下得A’、B’，就知是平面图。但对C、D两图，无论如何改画，也无法使所有的边不相交。 图Ｃ称为三管道图，表示三个源，三个目的地，每个源与每个目的地都有通路。 图Ｄ是５个顶点的完全图。 非平面图。 [定义]区域/region 被平面图中回路分割成互不重叠的连通块，这些块称为区域/Region. (1) 如果不存在回路，整个平面只有一个区域。如图，分为四个区域。 (2) 有限区域与无限区域：区域内任两点距离有上界，称此区域为有限区域，否则为无限区域。 上图中，区域４是无限区域。 [定理1]（欧拉公式/Euler’s formula） 对任何一个连通平面简单图，有v－ｅ＋γ＝２，其中v为顶点数，ｅ为边数，γ是区域数。 证明： 对ｅ归纳： (1)ｅ＝１，只有二种情况 ａ）???? ，v＝２， γ ＝１，v－ｅ＋γ＝２－１＋１＝２ ｂ） ，v＝１，γ＝２， v－ｅ＋γ＝１－１＋２＝２ (2)若ｅ＝ｎ－１时欧拉公式成立 ｅ＝ｎ时， ａ）若Ｇ中有有限区域，去掉此区域的一条边，成Ｇ’，只有ｎ－１条边，满足v’－ｅ’＋γ’＝２，而v＝v’，ｅ＝ｅ’＋１，γ＝γ’＋１，仍有v－ｅ＋γ＝v’－ｅ’－１＋γ’＋１＝v’－ｅ’＋γ’＝２。 ｂ）若Ｇ不存在有限区域，即Ｇ中无回路，必有次为１的顶点，去掉这个顶点及关联的边，得Ｇ’，顶点和边都减少１，区域数总为１，由假设Ｇ’中只有ｎ－１条边，满足v ’ －ｅ’＋γ’＝２，而v＝v ’＋１，ｅ＝ｅ’＋１，γ＝γ ’＝１，ｖ－ｅ+γ＝v ’＋１－ｅ’－１＋γ ’ ＝v ’ －ｅ’ ＋γ ’ ＝２。 由于平面图的区域比较难数（如果已能画成边不相交的图，则已明确是平面图了），对一些特殊的图，欧拉公式有以下推论。 [推论一]： 如果Ｇ＝（Ｖ，Ｅ）是连通的平面简单图且v大于等于3，则有ｅ≤３v－６。 [推论二]： 如果图Ｇ＝（Ｖ，Ｅ）是连通的平面简单图且v大于等于3， ，每个区域至少由四边围成，则有ｅ≤２v－４。 用推论１和推论２易证明三管道图ｋ3,3及５个顶点完全图ｋ5一定不是平面图。 三管道图，每个区域都由４条边围成，v＝６，ｅ＝９，２v－４＝１２－４＝８＜９＝ｅ。 ｋ5每个区域至少由三条边围成，v＝５，ｅ＝１０，３v－６＝１５－６＝９＜１０＝ｅ。 问题：如何判定一个图是否为平面图？ [定义]同胚（次２范围内的同构）： 增加或减少次为２的顶点，能使两个图同构，称为同胚/homeomorphic。 [定理2]库氏定理/kuratowski’s theorem 平面图判断的充要条件。 一个图是平面图的充分必要条件是它不含有与k5 和 k3,3同胚的子图。 例：6个顶点的完全图必不是平面图。 图b是图a的子图，图b去掉次为２的顶点Ｖ6，使Ｖ1与Ｖ5直接相邻，就是５个顶点的完全图ｋ5，图b与ｋ5同胚，所以图a 一定不是平面图。当然，ｋ5也是图a的子图。 尽管有了库氏定理