图子式

在图论中，如果无向图H可以通过图G删除边和顶点或收缩边得到，则称H为G的子式（minor）或次图。

图子式的提出源自瓦格纳定理，这个定理表明：当且仅当一个图不存在完全图K5和完全二分图K3,3的子式时，这个图才是平面图。
表明，对于任何在图上删除点或边或收缩边保留的性质，类似的（forbidden minor characterization）也存在。
给定图G和图H，可以在多项式时间内判断H是否是G的子式。
连同上述禁子式表征，这意味着任何删除点或边和收缩边保留的图的属性可以在多项式时间内被识别。
其他涉及到图子式的定理和猜想包括、等。

定义
边收缩（contraction）是在图上移除一条边同时合并这条边的两个邻点。一个无向图H是另一个无向图G的子式，如果G通过一系列的收缩边、删除边、删除孤立点可以得到一个同构于H的图。这一系列收缩和删除操作的顺序不影响最后得到的图H。

例子 
H是G的子式：

H. 

G. 

以下显示了如何构造子式。首先去除图G中虚线边，再去掉孤立的顶点，最后对灰色边进行边收缩即得到图H。

主要结论和猜想
可以很直接地验证，在同构意义上，图子式关系是一个偏序关系：它满足自反性（自己是自己的子式）、反对称性（图G和H互为子式仅当它们同构）、传递性（图G的子式的子式也是图G的子式）。和提出了一个更深刻的结论：图子式关系实际上是一种良擬序关系：给定一串无穷的图序列G1, G2,...总是存在i < j，使得 Gi是Gj的子式。一个等价的表述是，任意的一簇图的集合必然只有有限个子式意义下的极小元。这个结论验证了先前的一个猜想：瓦格纳猜想。它很早就被提出，直至1970年才发表。

在他们证明的过程中，西摩和罗伯逊也同时证明了。对于一个给定的图H，这个定理刻画了不包含H-子式的图的结构。这个定理的严格表述又长又复杂，但是简而言之，它证明了这样一个图必须具有由嵌在有界亏格曲面上的图以小方式修改而成的图的结构。因此，他们的理论建立了图子式和图的拓扑嵌入之间的基本联系。

对于任意图H，无H-子式的简单图必须是稀疏的，即图的边数小于等于一个常数倍的图的阶数。更精确地，如果图H有h个点，那么有n个顶点的不包含H-子式的简单图G有至多条边。不包含Kh-子式的图至少有这么多条边。因此，G的平均度是级别的。更进一步，不包含H-子式的图有一个和类似的分割定理：给定H和任意不包含H-子式的n阶图G，可以找到个G的顶点，使得删除这些点可以将G分成两个（可能不连通的）子图，使得每个子图有至多2n/3个顶点。更强的结论是，对于任意的图H，不包含H-子式的n阶图G的是数量级的。

表明，如果图G不包含k阶完全图子式，那么G可以被(k − 1)-着色。k = 5的情况即为四色定理。Hadwiger猜想在k ≤ 6的情况下已经被证实，但是更一般的情况下还没有定论。 称它为“图论中最深刻的尚未解决的问题之一”。另一个将四色定理和图子式联系起来的猜想是，它表明任意无割边的3-正则图，如果它的边色数等于4，那么佩特森图一定是它的子式。

参见 
 瓦格纳定理
 细分
 边收缩
 串并图
 子图
 图论术语

注释

参考文献 

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

外部链接 
 

图论