圖子式

在圖論中，如果無向圖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