第8章 几种典型图(3}.pptVIP

第10章 几种典型图 10.1 欧拉图 10.2 哈密顿图 10.3 平面图 10.4 二分图 10.5 例题选解 习 题 十 8.3 平 面 图 定义8.3.1 若一个图能画在平面上使它的边互不相交（除在顶点处），则称该图为平面图，或称该图能嵌入平面。 例如图8.3.1（a）是平面图G，它能嵌入平面上，如图8.3.1（b）所示G1，G1是G的平面嵌入。 并非所有的图都能嵌入平面，图8.3.2（a）表示的就是非平面图，这个图对应于一个有名的问题——公用事业问题。设有三座房子a、b、c和三个公共设施d、e、f，能否使每座房子与每个公共设施之间均有道路连接而无交叉。实践证明这是做不到的，如图8.3.2（b）说明（a）无法嵌入平面，此图为二分图K3，3，它是一个非平面图。还有一个重要的非平面图，如图8.3.2（c）、（d）所示，它就是完全图K5。K3，3和K5又称为库拉托斯基图，它们是波兰数学家库拉托斯基（Kuratowsky）发现的典型的非平面图。 定义8.3.2 平面图G嵌入平面后将平面划分成若干个连通的区域，每一个区域称为G的一个面，其中面积无限的区域称为外部面或无限面（常记为R0），面积有限的称为内部面或有限面，记作Ri（i=1，2，…，n），包围每个面的所有边所构成的回路称该面的边界，边界的长度称该面的次数，面Ri的次数记作deg（Ri）。 例如，图8.3.1（b）共有六个面，每个面的次数均为3。图8.3.3所示平面图G有四个面，deg（R1）=3，deg（R2）=3，deg（R3）=5，deg（R0）=9。 定义8.3.3 设G为一个简单平面图，如果在G的任意两个不相邻的顶点间再加一条边，所得图为非平面图，则称G为极大平面图。 ?例如，完全图Kn当n≤4是都是极大平面图。K5在任意删去一条边后，为极大平面图。极大平面图有如下的一些性质： （1）极大平面图均是连通图。 （2）极大平面图中（n≥3），不含割点和桥。 （3）任何n（n≥3）阶极大平面图，每个面（包括无限面）的次数均为3，反之亦然。 ? （4）最小（含顶点数最少）的极大平面图是K5。 定义8.3.4 设G是非平面图，若在G中任意删去一条边后，所得图为平面图，则称G是极小非平面图。 例如K5和K3，3均是极小非平面图。 定理8.3.1 在一个平面图G中，所有面的次数之和为边数的二倍，即 证明 对于G中的每一条边e，e或是两个面的公共边，或是在一个面中为悬挂边被作为边界计算两次，故定理成立。证毕 定理8.3.2 设连通平面图G有n个顶点，m条边和r个面，则 n-m+r=2 ——Euler公式 证明 施归纳于G的边数m。 m=0时，G为平凡图，n=1，r=1，公式成立。 设m=k-1（k≥1）时公式成立，现在考虑m=k时的情况。因为在连通图上增加一条边仍为连通图，则有三种情况： （1）所增边为悬挂边，此时G的面数不变，顶点数增1，公式成立。 （2）在图的任意两个不相邻点间增加一条边，此时G的面数增1，边数增1，但顶点数不变，公式成立。 （3）所增边为一个环，此时G的面数增1，边数增1，但顶点数不变，公式成立。 定理8.3.3 设G是连通的（n，m）平面图且每个面的次数至少为l（l≥3），则 推论1 设G是（n，m）连通平面简单图（n≥3），则 m≤3n-6。 证明 由于G是n≥3的连通平面简单图，所以G的每个面至少由3条边围成，即l≤3，代入定理8.3.3，得 ? m≤3n-6 证毕 推论2 极大连通平面图的边数m=3n-6。 证明 因为极大平面图的每一个面的次数均是3，所以3r=2m，代入Euler公式有