图子式

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

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

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

**主要结论和猜想**
可以很直接地验证，在同构意义上，图子式关系是一个偏序关系：它满足自反性（自己是自己的子式）、反对称性（图G和H互为子式仅当它们同构）、传递性（图G的子式的子式也是图G的子式）。尼尔·罗伯逊和保罗·西摩提出了一个更深刻的结论：图子式关系实际上是一种良拟序关系：给定一串无穷的图序列G1, G2,...总是存在i i是Gj的子式。一个等价的表述是，任意的一簇图的集合必然只有有限个子式意义下的极小元。这个结论验证了先前的一个猜想：瓦格纳猜想。它很早就被克拉斯·瓦格纳提出，直至1970年才发表。
在他们证明的过程中，西摩和罗伯逊也同时证明了graph structure theorem。对于一个给定的图H，这个定理刻画了不包含H-子式的图的结构。这个定理的严格表述又长又复杂，但是简而言之，它证明了这样一个图必须具有由嵌在有界亏格曲面上的图以小方式修改而成的图的Clique-sum结构。因此，他们的理论建立了图子式和图的拓扑嵌入之间的基本联系。
对于任意图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的情况下已经被证实，但是更一般的情况下还没有定论。1980 称它为“图论中最深刻的尚未解决的问题之一”。另一个将四色定理和图子式联系起来的猜想是Snark (graph theory)，它表明任意无割边的3-正则图，如果它的边色数等于4，那幺佩特森图一定是它的子式。

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

**注释**

**参考文献**
citation|last1=Alon|first1=Noga|author1-link=Noga Alon|last2=Seymour|first2=Paul|author2-link=Paul Seymour (mathematician)|last3=Thomas|first3=Robin|author3-link=Robin Thomas (mathematician)|doi=10.2307/1990903|mr=1065053|journal=Journal of the American Mathematical Society|pages=801–808|title=A separator theorem for nonplanar graphs|issue=4|url=http://www.ams.org/journals/jams/1990-03-04/S0894-0347-1990-1065053-0/home.html|volume=3|year=1990|jstor=1990903|language=en|accessdate=2019-04-25|archive-date=2019-02-14|archive-url=https://web.archive.org/web/20190214142557/http://www.ams.org/journals/jams/1990-03-04/S0894-0347-1990-1065053-0/home.html|dead-url=no.
*language=en.
*citation|last1=Bollobás|first1=B.|author1-link=Béla Bollobás|last2=Catlin|first2=P. A.|last3=Erdős|first3=Paul|author3-link=Paul Erdős|journal=European Journal of Combinatorics|pages=195–199|title=Hadwiger's conjecture is true for almost every graph|url=http://www2.renyi.hu/~p_erdos/1980-10.pdf|volume=1|year=1980|doi=10.1016/s0195-6698(80)80001-1|deadurl=yes|archiveurl=https://web.archive.org/web/20090318165333/http://www2.renyi.hu/~p_erdos/1980-10.pdf|archivedate=2009-03-18|df=|language=en|accessdate=2019-04-25.
*language=en.
*dead-url=yes.
*language=en
*dead-url=no.
*citation|last=Ding|first=Guoli|doi=10.1006/jctb.1996.0002|issue=1|journal=Journal of Combinatorial Theory|mr=1368512|pages=11–23|series=Series B|title=Excluding a long double path minor|volume=66|year=1996|language=en.
*language=en.
*citation|last1=Fellows|first1=Michael R.|author1-link=Michael Fellows|last2=Langston|first2=Michael A.|author2-link=Michael Langston|doi=10.1145/44483.44491|issue=3|journal=Journal of the ACM|pages=727–739|title=Nonconstructive tools for proving polynomial-time decidability|volume=35|year=1988|language=en.
*citation|last=Grohe|first=Martin|authorlink=Martin Grohe|title=Local tree-width, excluded minors, and approximation algorithms|journal=Combinatorica|doi=10.1007/s00493-003-0037-9|volume=23|issue=4|pages=613–632|year=2003|arxiv=math/0001128|language=en.
*language=en.
*citation|last=Hall|first=Dick Wick|doi=10.1090/S0002-9904-1943-08065-2|issue=12|journal=Bulletin of the American Mathematical Society|pages=935–936|title=A note on primitive skew curves|volume=49|year=1943|language=en.
*citation|last1=Kawarabayashi|first1=Ken-ichi|author1-link=Ken-ichi Kawarabayashi|last2=Kobayashi|first2=Yusuke|last3=Reed|first3=Bruce|author3-link=Bruce Reed (mathematician)|title=The disjoint paths problem in quadratic time|journal=Journal of Combinatorial Theory, Series B|volume=102|issue=2|date=March 2012|pages=424–435|doi=10.1016/j.jctb.2011.07.004|language=en
*year=1982.
*language=en.
*citation|last=Lovász|first=László|author-link=László Lovász|doi=10.1090/S0273-0979-05-01088-8|issue=1|journal=Bulletin of the American Mathematical Society|pages=75–86|title=Graph minor theory|volume=43|year=2006|language=en.
*language=en.
*language=en.
*dead-url=no.
*language=en.
*language=en.
*citation|last1=Robertson|first1=Neil|author1-link=Neil Robertson (mathematician)|last2=Seymour|first2=Paul|author2-link=Paul Seymour (mathematician)|doi=10.1016/0095-8956(83)90079-5|issue=1|journal=Journal of Combinatorial Theory, Series B|pages=39–61|title=Graph minors. I. Excluding a forest|volume=35|year=1983|language=en.
*citation|last1=Robertson|first1=Neil|author1-link=Neil Robertson (mathematician)|last2=Seymour|first2=Paul D.|author2-link=Paul Seymour (mathematician)|doi=10.1016/0095-8956(86)90030-4|issue=1|journal=Journal of Combinatorial Theory, Series B|pages=92–114|title=Graph minors. V. Excluding a planar graph|volume=41|year=1986|language=en
*citation|last1=Robertson|first1=Neil|author1-link=Neil Robertson (mathematician)|last2=Seymour|first2=Paul D.|author2-link=Paul Seymour (mathematician)|contribution=Excluding a graph with one crossing|editor1-last=Robertson|editor1-first=Neil|editor2-last=Seymour|editor2-first=Paul|pages=669–675|publisher=American Mathematical Society|series=Contemporary Mathematics|title=Graph Structure Theory: Proc. AMS–IMS–SIAM Joint Summer Research Conference on Graph Minors|volume=147|year=1993|language=en.
*citation|last1=Robertson|first1=Neil|author1-link=Neil Robertson (mathematician)|last2=Seymour|first2=Paul D.|author2-link=Paul Seymour (mathematician)|doi=10.1006/jctb.1995.1006|issue=1|journal=Journal of Combinatorial Theory, Series B|pages=65–110|title=Graph Minors. XIII. The disjoint paths problem|volume=63|year=1995|language=en.
*citation|last1=Robertson|first1=Neil|author1-link=Neil Robertson (mathematician)|last2=Seymour|first2=Paul D.|author2-link=Paul Seymour (mathematician)|doi=10.1016/S0095-8956(03)00042-X|issue=1|journal=Journal of Combinatorial Theory, Series B|pages=43–76|title=Graph Minors. XVI. Excluding a non-planar graph|volume=89|year=2003|language=en.
*citation|last1=Robertson|first1=Neil|author1-link=Neil Robertson (mathematician)|last2=Seymour|first2=Paul D.|author2-link=Paul Seymour (mathematician)|doi=10.1016/j.jctb.2004.08.001|issue=2|journal=Journal of Combinatorial Theory, Series B|pages=325–357|title=Graph Minors. XX. Wagner's conjecture|volume=92|year=2004|language=en.
*citation|last1=Robertson|first1=Neil|author1-link=Neil Robertson (mathematician)|last2=Seymour|first2=Paul|author2-link=Paul Seymour (mathematician)|last3=Thomas|first3=Robin|author3-link=Robin Thomas (mathematician)|doi=10.1007/BF01202354|journal=Combinatorica|pages=279–361|title=Hadwiger's conjecture for K6-free graphs|url=http://www.math.gatech.edu/~thomas/PAP/hadwiger.pdf|volume=13|year=1993|language=en|accessdate=2019-04-25|archive-date=2009-04-10|archive-url=https://web.archive.org/web/20090410233641/http://www.math.gatech.edu/~thomas/PAP/hadwiger.pdf|dead-url=yes.
*dead-url=yes.
*citation|last=Thomason|first=Andrew|doi=10.1017/S0305004100061521|issue=2|journal=Mathematical Proceedings of the Cambridge Philosophical Society|pages=261–265|title=An extremal function for contractions of graphs|volume=95|year=1984|bibcode=1983MPCPS..95..261T|language=en.
*citation|last=Thomason|first=Andrew|doi=10.1006/jctb.2000.2013|issue=2|journal=Journal of Combinatorial Theory, Series B|pages=318–338|title=The extremal function for complete minors|volume=81|year=2001|language=en.
*language=en.
*language=en.

**外部链接**
 title=Graph Minor