离散数学英文DMAv.pptVIP

Corollary No matter how we redraw a plane graph it will have the same # of faces. Proof: f = 2 – v + e is determined by v and e, neither of which change when we redraw the graph. 在一个平面图 中，所有面的次数之和 等于其边数的两倍。即 定理 证明 设 有 个面，因为 每个面至少由3条边围成，所 以G的各面次数之和 定理 若 则 为有 个结点 条边的简 单连通平面图， 必要条件 Theorem Every (simple) n-node planar graph G has at most 3n-6 edges. Corollary IF G is a connected planar simple graph, the G has a vertex of degree not exceeding five. Proof n = 3: Clearly true. n ? 3: consider a graph G with a maximal number of edges. G must be connected or else we could add an edge. Thus n – e + f = 2 Proof Every face has at least 3 edges on its boundary. Every edge lies on the boundary of at most 2 faces. Thus 2e=3f 为简单连通平面图 的必要条件。 不是平面图。 但 不是平面图 虽然欧拉公式可用来判定一个图 不是平面图，但是还没有一个简 便的方法来确定一个图是平面图 在给定图G的边上，插入一个二 度结点，使一边分成两边，或者 对于关联于一个2度结点的两边， 去掉该结点，使两边变成一边， 这些都不影响图的平面性。 同 胚 给定两 个图 和 ，如果它们同构或 通过反复 插入或去掉2度结点后， 者 和 同构，则称 和 是2度结点内 同构的，也称 和 是同胚的 库拉托夫斯基定理 一个图是平面图的充分必要条件是它不含与 或 在2度结点内同构的子图。 The Kuratowski Graphs K5 is not planar A planar graph on n = 5 nodes can have at most 3n-6 = 9 edges. Thus: K5 is not planar. K3,3 is not planar either When we redraw K3,3 , the blue cycle will be laid out b a c z y x a b c x y z Insight 1 If we replace edges in a Kuratowski graph by paths of whatever length, they remain non-planar. Insight 2 If a graph G contains a subgraph obtained by starting with K5 or K3,3 and replacing edges with paths, then G is non-planar. Kuratowski’s Theorem [1930] A graph is planar if and only if it contains no subgraph obtainable from K5 or K3,3 by replacing edges with paths. 对偶图 为 的面如果存在图 给定平面图 ， 满足 (2) 若图 的面 有公共边,作边 ,使 且与 相交。 (1) 对于图 的任意一个面 ,内部仅取一点 (3) 当且仅当 只是面 的边界时， 存在一个环 与 相交，则称 图 是 的对偶图。 自对偶图 如果平面图 的对偶图 同构于 ,则称 为自对偶图。 完全正则图 对偶图 每个节点度数相同的平面图为正则图 如果一个正则图的对偶图也是正则图，则称是完全正则图。 完全正则图的每个面的边数都相同。 完全正则图称为柏拉图体，被古代看作是宇宙和谐的象征 P