discrete mathematics - 数学建模.pdf

图 论 图 论 厦门大学数学科学学院 金贤安 着色 着色 图的平面性问题，除了它的理论意义 外，有许多实际的应用。例如，单面印刷电 路板和集成电路的布线问题。近年来，大规 模集成电路的发展促进了图的平面性的研 究。 图的着色理论之所以令人感兴趣，无疑 是由于它与四色问题有关。同时图的着色在 实际中有许多应用，又为图的着色注入了活 力。如储藏问题等。 着色 着色 17.1 平面图的基本概念 定义17.1 若图G可以画在平面上，使得边和边只在 图的 顶点上相交，则称G可以嵌入平面或G是可平面图或平面 图。这样画在平面上的图称为G的一个平面嵌入。不能嵌 入平面的图称为非平面图。 着色 着色 显然，若一个图是平面图，它的任意子图都是平 面图；若一个图不是平面图，它的任意母图也都不是 平面图。 若一个图是平面图，在该图上添加若干条环和平 行边后仍是平面图。 定义17.2 设G是平面图且已是平面嵌入，G的边将平 面分成若干个区域，每个区域称为G的面。其中面积 无限的面称为无限面或外部面；面积有限的面称为有 限面或内部面。包围每个面的所有边构成的回路称为 该面的边界，边界的长度称为该面的次数，面R的次数 记为deg(R)。 着色 着色 定理17.1 平面图的任意一平面嵌入的所有面的次数 之和等于边数的2倍。 着色 着色 图(2)与(3)都是(1)的平面嵌入,它们都与(1) 同构。图(2),deg(R )=3;图(3),deg(R )=4. 0 0 着色 着色 定义17.3 设G为简单平面图，若G再添加任意一条边 （当然不是环和平行边）都使G会成为非平面图，则 称G是极大平面图。 显然，极大平面图是连通的。若G是n(n≥3)阶极大平 面图，则G中不存在割点和桥。 定理17.2 设G为简单连通平面图，则G为极大平面 图当且仅当G的每个面的次数均为3（三角剖分图）。 证明：在本节我们只证明必要性。 着色 着色 定义17.4 设G为非平面图，若删除G的任意一 条边都使G会成为平面图，则称G是极小非平 面图。 K5和K3,3都是极小非平面图。 着色 着色 17.2 欧拉公式 定理17.3 设G为连通平面图（且已为平面嵌入）， 则有n-m+r=2,这里n,m和r分别为G的点数，边数和面 数。 证明：可对边数m用数学归纳法证明。 m=0时,G为平凡图，定