组合与图论参考.pptx

4/15/20257:19PMDerenChen,ZhejiangUniv.17.1图的概念/IntroductionofGraph7.2图的术语/GraphTerminology7.3图的表示与同构/RepresentingGraphandGraphIsomorphism7.4连通性/Connectivity7.5欧拉道路与哈密尔顿道路/EulerandHamiltonPaths7.6最短道路问题/ShortestPathProblem7.7平面图/PlanarGraphs7.8图的着色/GraphColoring

4/15/20257:19PMDerenChen,ZhejiangUniv.2§６平面图/PlanarGraphs[定义]平面图：图Ｇ＝（Ｖ，Ｅ），如果Ｅ中边除了在Ｖ中顶点处可以相交，在其他地方都可以不相交，则Ｇ称为平面图/Planar。其画法称为图的平面表示/PlanarRepresentation。下面的图A、图B看上去有边相交的，但改画一下得A’、B’，就知是平面图。但对C、D两图，无论如何改画，也无法使所有的边不相交。

4/15/20257:19PMDerenChen,ZhejiangUniv.3

4/15/20257:19PMDerenChen,ZhejiangUniv.4

4/15/20257:19PMDerenChen,ZhejiangUniv.5图Ｃ称为三管道图，表示三个源，三个目的地，每个源与每个目的地都有通路。

4/15/20257:19PMDerenChen,ZhejiangUniv.6图Ｄ是５个顶点的完全图。非平面图。

4/15/20257:19PMDerenChen,ZhejiangUniv.7[定义]区域/region被平面图中回路分割成互不重叠的连通块，这些块称为区域/Region.(1)如果不存在回路，整个平面只有一个区域。如图，分为四个区域。(2)有限区域与无限区域：区域内任两点距离有上界，称此区域为有限区域，否则为无限区域。上图中，区域４是无限区域。

4/15/20257:19PMDerenChen,ZhejiangUniv.8[定理1]（欧拉公式/Euler’sformula）对任何一个连通平面简单图，有v－ｅ＋γ＝２，其中v为顶点数，ｅ为边数，γ是区域数。证明：对ｅ归纳：(1)ｅ＝１，只有二种情况ａ）????，v＝２，γ＝１，v－ｅ＋γ＝２－１＋１＝２ｂ），v＝１，γ＝２，v－ｅ＋γ＝１－１＋２＝２

4/15/20257:19PMDerenChen,ZhejiangUniv.9(2)若ｅ＝ｎ－１时欧拉公式成立ｅ＝ｎ时，ａ）若Ｇ中有有限区域，去掉此区域的一条边，成Ｇ’，只有ｎ－１条边，满足v’－ｅ’＋γ’＝２，而v＝v’，ｅ＝ｅ’＋１，γ＝γ’＋１，仍有v－ｅ＋γ＝v’－ｅ’－１＋γ’＋１＝v’－ｅ’＋γ’＝２。ｂ）若Ｇ不存在有限区域，即Ｇ中无回路，必有次为１的顶点，去掉这个顶点及关联的边，得Ｇ’，顶点和边都减少１，区域数总为１，由假设Ｇ’中只有ｎ－１条边，满足v’－ｅ’＋γ’＝２，而v＝v’＋１，ｅ＝ｅ’＋１，γ＝γ’＝１，ｖ－ｅ+γ＝v’＋１－ｅ’－１＋γ’＝v’－ｅ’＋γ’＝２。

4/15/20257:19PMDerenChen,ZhejiangUniv.10由于平面图的区域比较难数（如果已能画成边不相交的图，则已明确是平面图了），对一些特殊的图，欧拉公式有以下推论。[推论一]：如果Ｇ＝（Ｖ，Ｅ）是连通的平面简单图且v大于等于3，则有ｅ≤３v－６。

4/15/20257:19PMDerenChen,ZhejiangUniv.11[推论二]：如果图Ｇ＝（Ｖ，Ｅ）是连通的平面简单图且v大于等于3，，每个区域至少由四边围成，则有ｅ≤２v－４。用推论１和推论２易证明三管道图ｋ3,3及５个顶点完全图ｋ5一定不是平面图。三管道图，每个区域都由４条边围成，v＝６，ｅ＝９，２v－４＝１２－４＝８＜９＝ｅ。ｋ5每个区域至少由三条边围成，v＝５，ｅ＝１０，３