一、平面图概念

\quad如果能把图G画在平面上，使得除顶点外，边与边之间没有交叉，称G可以嵌入平面，或称G是可平面图。可平面图G的边不交叉的一种画法，称为G的一种平面嵌入，G的平面嵌入表示的图称为平面图。例如下图所示：

二、平面图的性质

\quad一个平面图G把平面分成若干连通片，这些连通片称为G的区域，或G的一个面。G的面组成的集合用Φ表示。

\quad在G中，顶点和边都与某个给定区域关联的子图，称为该面的边界。某面 f 的边界中含有的边数(割边计算2次)称为该面 f 的次数, 记为deg(f)。如下图所示：

定理一：平面图的次数公式∑f∈Φdeg(f)=2m\sum_{f\in Φ} deg(f) = 2mf∈Φ∑deg(f)=2m \quad证明：对G的任意一条边e, 如果e是某面割边，那么由面的次数定义，该边给G的总次数贡献2次；如果e不是割边，那么，它必然是两个面的公共边，因此，由面的次数定义，它也给总次数贡献2次。

定理二：平面图的欧拉公式
设G=(n,m)G=(n,m)G=(n,m)是连通平面图，Φ是G的面数，则：n−m+Φ=2n-m+Φ=2n−m+Φ=2
\quad证明：情形1，G是树，则m=n-1,Φ=1,显然成立；情形2，G不是树的连通平面图，则G存在非割边e，显然，G-e是连通平面图，且边数为m-1，面数为Φ-1，由最小性假设，G-e满足欧拉等式：n−(m−1)+(Φ−1)=2n-(m-1)+(Φ-1)=2n−(m−1)+(Φ−1)=2，即n−m+Φ=2n-m+Φ=2n−m+Φ=2，得证。

欧拉公式的几个推论
1、设G是具有ф个面k个连通分支的平面图，则：n−m+Φ=k+1n-m+Φ=k+1n−m+Φ=k+1证明：对第i (1≦i≦k)个分支来说，设顶点数为nin_ini，边数为mim_imi，面数为фi,由欧拉公式：ni−mi+Φi=2n_i-m_i+Φ_i=2ni−mi+Φi=2，得∑i=1k(ni−mi+Φi)=2k\sum_{i=1}^k (n_i-m_i+Φ_i)=2k∑i=1k(ni−mi+Φi)=2k。其中，∑i=1kni=n,∑i=1kmi=m,∑i=1kΦi=Φ+k−1\sum_{i=1}^k n_i=n, \sum_{i=1}^k m_i = m, \sum_{i=1}^k Φ_i=Φ+k-1∑i=1kni=n,∑i=1kmi=m,∑i=1kΦi=Φ+k−1，因此n−m+Φ=k+1n-m+Φ=k+1n−m+Φ=k+1。

2、设G是具有n个点m条边ф个面的连通平面图，如果对G的每个面f ,有：deg(f) ≥ l ≥3,则：m≤ll−2(n−2)m \le \frac{l}{l-2}(n-2)m≤l−2l(n−2)证明：∑f∈Φdeg(f)=2m≥lΦ,Φ=2−n+m≤2ml\sum_{f\in Φ} deg(f) = 2m \geq lΦ , Φ=2-n+m \le \frac{2m}{l}∑f∈Φdeg(f)=2m≥lΦ,Φ=2−n+m≤l2m，因此m≤ll−2(n−2)m \le \frac{l}{l-2}(n-2)m≤l−2l(n−2)。
推论2也可叙述为若图G中m>ll−2(n−2)m \gt \frac{l}{l-2}(n-2)m>l−2l(n−2),则G是非可平面图。例如，K3,3K_{3,3}K3,3是非可平面图，因为它每个面次数至少是4，即l=4l=4l=4，9>42∗(6−2)=89 \gt \frac{4}{2}*(6-2)=89>24∗(6−2)=8，故不是可平面图。

3、简单平面图G=(n,m)G=(n,m)G=(n,m)满足：m≤3n−6m \le 3n-6m≤3n−6证明：因为G是简单图，所以每个面的次数至少为3，即l=3。于是，由推论2得：m≤3n−6m \le 3n-6m≤3n−6。例如，K5K_{5}K5不可平面，因为其m=10,n=5,不满足该不等式。

4、设G是具有n个点m条边的连通平面图，若G的每个圈均由长度是lll的圈围成，则：m(l−2)=l(n−2)m(l-2)=l(n-2)m(l−2)=l(n−2)证明：n−m+2ml=2,l(n−m)+2m=2l,m(l−2)=l(n−2)n-m+\frac{2m}{l}=2,l(n-m)+2m=2l, m(l-2)=l(n-2)n−m+l2m=2,l(n−m)+2m=2l,m(l−2)=l(n−2)

5、设G是具有n个点m条边的简单平面图，则：δ≤5\delta \le 5δ≤5
反证：若δ≥6\delta \geq 6δ≥6，由握手定理，6n≤∑d(v)=2m,m>3n−66n \le \sum d(v) =2m, m>3n-66n≤∑d(v)=2m,m>3n−6，故与推论3矛盾。

三、极大平面图及其性质

定义：设G是简单可平面图，如果G是Ki(1≦i≦4)K_i (1≦i≦4)Ki(1≦i≦4),或者在G的任意非邻接顶点间添加一条边后，得到的图均是非可平面图，则称G是极大可平面图。极大可平面图的平面嵌入称为极大平面图。
显然的结论：设G是极大平面图，则G必然连通；若G结束大于等于3，则G无割边
需注意的点：顶点数相同的极大平面图并不唯一
定理一：极大平面图的三角形特征
\quad设G是至少有3个顶点的平面图，则G是极大平面图，当且仅当G的每个面的次数是3且为单图。此时，每个面的边界是三角形。由此可推得，m=3n−6,Φ=2n−4m=3n-6,Φ=2n-4m=3n−6,Φ=2n−4

四、极大外平面图及其性质

\quad定义：若一个可平面图G存在一种平面嵌入，使得其所有顶点均在某个面的边界上，称该图为外可平面图。外可平面图的一种外平面嵌入，称为外平面图。设G是一个简单外可平面图，若在G中任意不邻接顶点间添上一条边后，G成为非外可平面图，则称G是极大外可平面图。极大外可平面图的外平面嵌入，称为极大外平面图。
定理1：G是一个连通简单外可平面图，则在G中有一个度数至多是2的顶点。
定理2：设G是一个有n (n≥3)个点，且所有点均在外部面上的极大外平面图，则G有n-2个内部面。
定理3：设G是一个有n (n≥3)个点，且所有点均在外部面上的外平面图，则G是极大外平面图，当且仅当其外部面的边界是圈，内部面是三角形。

四、平面图的对偶图

对于给定图G，得到G的对偶图G∗G^*G∗的规则如下：

在G的每个面fif_ifi内取一个点vi∗v_i^*vi∗作为G∗G^*G∗的一个顶点
对G的一条边e，若e是两个面的公共边，则连接这两个面的顶点，且连线穿过e；若e是某个面割边，则以该面顶点作环，且让它与e相交。

对偶图的性质：

G∗G^*G∗顶点数等于G的面数
G∗G^*G∗边数等于G的边数
G∗G^*G∗面数等于G的顶点数
d(v∗)=deg(f)d(v^*)=deg(f)d(v∗)=deg(f)
对于连通的平面图G，其(G∗)∗=G(G^*)^*=G(G∗)∗=G
同构的平面图可以有不同构的对偶图

定理一：平面图G的对偶图必然连通
欧拉图的对偶图是偶图

五、平面图的判定

\quad对于3阶以上的具有m条边的单图G来说，如果G满足如下条件之一： (1)m>3n-6; (2) K5K_5K5（5阶完全图）是G的一个子图；(3) K3,3K_{3,3}K3,3（3阶完全偶图）是G的一个子图，那么，G是非可平面图。
\quad下面给出平面图判定的充要条件，在此之前，我们先来看看图的两种操作——2度顶点扩充和2度顶点收缩。
\quad在图G的边上插入一个2度顶点，使一条边分成两条边，称将图在2度顶点内扩充；去掉一个图的2度顶点，使关联它们的两条边合并成一条边，称将图G在2度顶点内收缩。

\quad定义两图同胚，即通过反复在2度顶点扩充或收缩后能够变成一对同构的图。
\quad重头戏来啦，库拉托斯基给出了平面图判定的充要条件，如下：图G是可平面的，当且仅当它不含K5K_5K5或K3,3K_{3,3}K3,3同胚的子图。
\quad判断一张图是否是平面图，可以首先看看其子图经过2度顶点操作能不能变成五阶完全图，我们需要知道五阶完全图每个顶点的度数是4，如果不能，再看看能不能变成k3,3k_{3,3}k3,3，k3,3k_{3,3}k3,3每个顶点度数为3。
\quad与之相似的判定定理是瓦格纳提出来的：设u，v是简单图G的一条边。去掉该边，重合其端点，在删去由此产生的环和平行边。这一过程称为图G的初等收缩或图的边收缩运算。简单图G是可平面图当且仅当它不含有可收缩到K5K_5K5或K3,3K_{3,3}K3,3的子图。
\quad一个用枚举法证明的小定理：至少有9个顶点的简单可平面图的补图是不可平面的，而9是这个数目中的最小的一个。

图论（十三）——平面图和对偶图相关推荐

图论 —— 网络流 —— 最小割 —— 平面图与对偶图
[平面图] 对于一个图 G=(V,E),若其重画后,在平面任意两条边的交点除了图中点外,没有其他交点,那么这个图称为平面图在平面图中,由边包围并且其中不含顶点的区域称为面包围面 R 的所有边组成的 ...
狼抓兔子（平面图转对偶图）
狼抓兔子(平面图转对偶图) 面对下面这样一个网格的地形: 道路上的权值表示这条路上最多能够通过的兔子数,道路是无向的. 左上角和右下角为兔子的两个窝,开始时所有的兔子都聚集在左上角(1,1)的窝里,现 ...
平面图转对偶图19_03_21校内训练 [Everfeel]
对于每个平面图,都有唯一一个对偶图与之对应.若G'是平面图G的对偶图,则满足: G'中每一条边的两个节点对应着G中有公共边的面,包括最外部无限大的面. 直观地讲,红色标出来的图就是蓝色标出的图的对偶图 ...
【BZOJ1001】狼抓兔子，平面图转对偶图（从最小割到最短路）
Time:2016.08.18 Author:xiaoyimi 转载注明出处谢谢传送门思路: 显然这个题是求这个图的最小割在这个n*m个点,2*(n*(m-1)+(n-1)m+(n-1)(m-1 ...
关于平面图到对偶图的转化
闲话哇对偶图真的是个好东西, 昨天考NOI2010的时候前两道很快做完了, 看着t3发呆了1个多小时, 啥也想不出来. 看着网格图突然想到听说bzoj1001狼抓兔子可以用对偶图求解. 对偶图是啥我 ...
洛谷P4001 [BJOI2006]狼抓兔子（平面图转对偶图）
传送门明明只要最小割加点优化就能过的东西-- 然而我偏偏要去学平面图转对偶图结果发现课件关键地方看不清->这里而且建图累的半死-- 说实话只要最大流建图的时候反向边直接设为当前边容量再加个当 ...
平面图转对偶图的应用
平面图转对偶图 [BeiJing2006]狼抓兔子这个是经典题,显然就是求一个最小割.然后网络流建立无向图即可. 但是如果数据范围没有那么小呢? 众所周知网络流的复杂度其实挺玄学的,而且这又是一张平 ...
【BZOJ - 1001】狼抓兔子（无向图网络流，最小割，或平面图转对偶图求最短路SPFA）
题干: 现在小朋友们最喜欢的"喜羊羊与灰太狼",话说灰太狼抓羊不到,但抓兔子还是比较在行的, 而且现在的兔子还比较笨,它们只有两个窝,现在你做为狼王,面对下面这样一个网格的地形: ...
离散数学10：平面图与对偶图
文章目录平面图平面图的概念一些性质: 平面图的判定对偶图平面图平面图的概念一个平面图可能有多种平面嵌入,这些图之间都是同构的. K5.K3,3K_5.K_{3,3}K5.K3,3是非 ...

图论（十三）——平面图和对偶图