Graph structure theorem

<h2 id="setup-and-motivation-for-the-theorem">Setup and motivation for the theorem</h2>
A <a href="/facts/Minor_(graph_theory)/qn5eI22T">minor</a> of a graph G is any graph H that is isomorphic to a graph that can be obtained from a subgraph of G by <a href="/facts/Edge_contraction/PRqKXEkj">contracting</a> some edges. If G does not have a graph H as a minor, then we say that G is H-free. Let H be a fixed graph. Intuitively, if G is a huge H-free graph, then there ought to be a "good reason" for this. The graph structure theorem provides such a "good reason" in the form of a rough description of the structure of G. In essence, every H-free graph G suffers from one of two structural deficiencies: either G is "too thin" to have H as a minor, or G can be (almost) topologically embedded on a surface that is too simple to embed H upon. The first reason applies if H is a <a href="/facts/Planar_graph/plREagr9">planar graph</a>, and both reasons apply if H is not planar. We first make precise these notions.

<h3>Tree width</h3>
The <a href="/facts/Tree_width/uoITxzRJ">tree width</a> of a graph G is a positive integer that specifies the "thinness" of G. For example, a connected graph G has tree width one if and only if it is a tree, and G has tree width two if and only if it is a <a href="/facts/Series%E2%80%93parallel_graph/XdfWgomL">series–parallel graph</a>. Intuitively, a huge graph G has small tree width if and only if G takes the structure of a huge tree whose nodes and edges have been replaced by small graphs. We give a precise definition of tree width in the subsection regarding clique-sums. It is a theorem that if H is a minor of G, then the tree width of H is not greater than that of G. Therefore, one "good reason" for G to be H-free is that the tree width of G is not very large. The graph structure theorem implies that this reason always applies in case H is planar.
Corollary 1. For every planar graph H, there exists a positive integer k such that every H-free graph has tree width less than k.
It is unfortunate that the value of k in Corollary 1 is generally much larger than the tree width of H (a notable exception is when H = K4, the complete graph on four vertices, for which k = 3). This is one reason that the graph structure theorem is said to describe the "rough structure" of H-free graphs.

<h3>Surface embeddings</h3>
Roughly, a <a href="/facts/Surface_(mathematics)/whF08jvy">surface</a> is a set of points with a local topological structure of a disc. Surfaces fall into two infinite families: the orientable surfaces include the <a href="/facts/Sphere/jywYLNM2">sphere</a>, the <a href="/facts/Torus/J9SkaV1W">torus</a>, the <a href="/facts/Double_torus/VLaXReyP">double torus</a> and so on; the nonorientable surfaces include the <a href="/facts/Real_projective_plane/gGVd0ctY">real projective plane</a>, the <a href="/facts/Klein_bottle/LTenG5E2">Klein bottle</a> and so on. A graph <a href="/facts/Graph_embedding/IyBA3ttM">embeds</a> on a surface if the graph can be drawn on the surface as a set of points (vertices) and arcs (edges) that do not cross or touch each other, except where edges and vertices are incident or adjacent. A graph is <a href="/facts/Planar_graph/plREagr9">planar</a> if it embeds on the sphere. If a graph G embeds on a particular surface then every minor of G also embeds on that same surface. Therefore, a "good reason" for G to be H-free is that G embeds on a surface that H does not embed on.
When H is not planar, the graph structure theorem may be looked at as a vast generalization of the Kuratowski theorem. A version of this theorem proved by Wagner (1937) states that if a graph G is both K5-free and K3,3-free, then G is planar. This theorem provides a "good reason" for a graph G not to have K5 or K3,3 as minors; specifically, G embeds on the sphere, whereas neither K5 nor K3,3 embed on the sphere. Unfortunately, this notion of "good reason" is not sophisticated enough for the graph structure theorem. Two more notions are required: clique-sums and vortices.

<h3><a href="/facts/Clique-sum/AkdxYjMR">Clique-sums</a></h3>
A <a href="/facts/Clique_(graph_theory)/XK9ppLz5">clique</a> in a graph G is any set of vertices that are pairwise adjacent in G. For a non-negative integer k, a k-clique-sum of two graphs G and K is any graph obtained by selecting a non-negative integer m ≤ k, selecting clique of size m in each of G and K, identifying the two cliques into a single clique of size m, then deleting zero or more of the edges that join vertices in the new clique.
If G1, G2, …, Gn is a list of graphs, then we may produce a new graph by joining the list of graphs via k-clique-sums. That is, we take a k-clique-sum of G1 and G2, then take a k-clique-sum of G3 with the resulting graph, and so on. A graph has tree width at most k if it can be obtained via k-clique-sums from a list of graphs, where each graph in the list has at most k + 1 vertices.
Corollary 1 indicates to us that k-clique-sums of small graphs describe the rough structure H-free graphs when H is planar. When H is nonplanar, we also need to consider k-clique-sums of a list of graphs, each of which is embedded on a surface. The following example with H = K5 illustrates this point. The graph K5 embeds on every surface except for the sphere. However, there exist K5-free graphs that are far from planar. In particular, the 3-clique-sum of any list of planar graphs results in a K5-free graph. Wagner (1937) determined the precise structure of K5-free graphs, as part of a cluster of results known as <a href="/facts/Wagner%27s_theorem/AHbRuRuu">Wagner's theorem</a>:
Theorem 2. If G is K5-free, then G can be obtained via 3-clique-sums from a list of planar graphs, and copies of one special non-planar graph having 8-vertices.
We point out that Theorem 2 is an exact structure theorem since the precise structure of K5-free graphs is determined. Such results are rare within graph theory. The graph structure theorem is not precise in this sense because, for most graphs H, the structural description of H-free graphs includes some graphs that are not H-free.

<h3>Vortices (rough description)</h3>
One might be tempted to conjecture that an analog of Theorem 2 holds for graphs H other than K5. Perhaps it is true that: for any non-planar graph H, there exists a positive integer k such that every H-free graph can be obtained via k-clique-sums from a list of graphs, each of which either has at most k vertices or embeds on some surface that H does not embed on. Unfortunately, this statement is not yet sophisticated enough to be true. We must allow each embedded graph Gi to "cheat" in two limited ways. First, we must allow a bounded number of locations on the surface at which we may add some new vertices and edges that are permitted to cross each other in a manner of limited complexity. Such locations are called vortices. The "complexity" of a vortex is limited by a parameter called its depth, closely related to <a href="/facts/Pathwidth/Gf5S2byH">pathwidth</a>. The reader may prefer to defer reading the following precise description of a vortex of depth k. Second, we must allow a limited number of new vertices to add to each of the embedded graphs with vortices.

<h3>Vortices (precise definition)</h3>
A face of an embedded graph is an open 2-cell in the surface that is disjoint from the graph, but whose boundary is the union of some of the edges of the embedded graph. Let F be a face of an embedded graph G and let v0, v1, ..., vn – 1, vn = v0 be the vertices lying on the boundary of F (in that circular order). A circular interval for F is a set of vertices of the form {va, va+1, …, va+s} where a and s are integers and where subscripts are reduced modulo n. Let Λ be a finite list of circular intervals for F. We construct a new graph as follows. For each circular interval L in Λ we add a new vertex vL that joins to zero or more of the vertices in L. Finally, for each pair {L, M} of intervals in Λ, we may add an edge joining vL to vM provided that L and M have nonempty intersection. The resulting graph is said to be obtained from G by adding a vortex of depth at most k (to the face F) provided that no vertex on the boundary of F appears in more than k of the intervals in Λ.

<h2 id="statement-of-the-graph-structure-theorem">Statement of the graph structure theorem</h2>
Graph structure theorem. For any graph H, there exists a positive integer k such that every H-free graph can be obtained as follows:

<ol><li>We start with a list of graphs, where each graph in the list is embedded on a surface on which H does not embed</li>
<li>to each embedded graph in the list, we add at most k vortices, where each vortex has depth at most k</li>
<li>to each resulting graph we add at most k new vertices (called <a href="/facts/Apex_graph/UzXxlwph">apices</a>) and add any number of edges, each having at least one of its endpoints among the apices.</li>
<li>finally, we join via k-clique-sums the resulting list of graphs.</li></ol>
Note that steps 1. and 2. result in an empty graph if H is planar, but the bounded number of vertices added in step 3. makes the statement consistent with Corollary 1.

<h2 id="refinements">Refinements</h2>
Strengthened versions of the graph structure theorem are possible depending on the set H of forbidden minors. For instance, when one of the graphs in H is <a href="/facts/Planar_graph/plREagr9">planar</a>, then every H-minor-free graph has a <a href="/facts/Tree_decomposition/p31V5rM2">tree decomposition</a> of bounded width; equivalently, it can be represented as a <a href="/facts/Clique-sum/AkdxYjMR">clique-sum</a> of graphs of constant size.<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a> When one of the graphs in H can be drawn in the plane with only a single <a href="/facts/Crossing_number_(graph_theory)/x3Yz6UhF">crossing</a>, then the H-minor-free graphs admit a decomposition as a clique-sum of graphs of constant size and graphs of bounded genus, without vortices.<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a>
A different strengthening is also known when one of the graphs in H is an <a href="/facts/Apex_graph/UzXxlwph">apex graph</a>.<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a>

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Robertson%E2%80%93Seymour_theorem/J7g4CJ74">Robertson–Seymour theorem</a></li></ul>
<h2 id="notes">Notes</h2>

<ul><li><a href="/facts/Erik_Demaine/qby54dWx">Demaine, Erik D.</a>; Hajiaghayi, Mohammad Taghi; <a href="/facts/Ken-ichi_Kawarabayashi/xKDg1l2u">Kawarabayashi, Ken-ichi</a> (2009), "Approximation algorithms via structural results for apex-minor-free graphs", <a href="http://erikdemaine.org/papers/ApexMinorFree_ICALP2009/paper.pdf">Proc. 36th International Colloquium Automata, Languages and Programming (ICALP '09)</a> (PDF), Lecture Notes in Computer Science, vol. 5555, Springer-Verlag, pp. 316–327, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F978-3-642-02927-1_27">10.1007/978-3-642-02927-1_27</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-642-02926-4, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2544855">2544855</a>.</li>
<li><a href="/facts/Erik_Demaine/qby54dWx">Demaine, Erik D.</a>; Hajiaghayi, Mohammad Taghi; Thilikos, Dimitrios M. (2002), "1.5-Approximation for treewidth of graphs excluding a graph with one crossing as a minor", Proc. 5th International Workshop on Approximation Algorithms for Combinatorial Optimization (APPROX 2002), Lecture Notes in Computer Science, vol. 2462, Springer-Verlag, pp. 67–80, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F3-540-45753-4_8">10.1007/3-540-45753-4_8</a>, <a href="/facts/Hdl_(identifier)/rdebSxmC">hdl</a>:<a href="https://hdl.handle.net/2117%2F97497">2117/97497</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-44186-1, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2091577">2091577</a>.</li>
<li><a href="/facts/Ken-ichi_Kawarabayashi/xKDg1l2u">Kawarabayashi, Ken-ichi</a>; <a href="/facts/Bojan_Mohar/5Djly8Ax">Mohar, Bojan</a> (2007), "Some recent progress and applications in graph minor theory", <a href="/facts/Graphs_and_Combinatorics/kQJQ9uUy">Graphs and Combinatorics</a>, 23 (1): 1–46, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fs00373-006-0684-x">10.1007/s00373-006-0684-x</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2292102">2292102</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:7237484">7237484</a>.</li>
<li><a href="/facts/L%C3%A1szl%C3%B3_Lov%C3%A1sz/X0VB38Ee">Lovász, László</a> (2006), "Graph minor theory", <a href="/facts/Bulletin_of_the_American_Mathematical_Society/8ER5KY5z">Bulletin of the American Mathematical Society</a>, 43 (1): 75–86, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2FS0273-0979-05-01088-8">10.1090/S0273-0979-05-01088-8</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2188176">2188176</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1983), "Graph minors. I. Excluding a forest", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 35 (1): 39–61, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2883%2990079-5">10.1016/0095-8956(83)90079-5</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0723569">0723569</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1986), "Graph minors. II. Algorithmic aspects of tree-width", Journal of Algorithms, 7 (3): 309–322, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0196-6774%2886%2990023-4">10.1016/0196-6774(86)90023-4</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0855559">0855559</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1984), "Graph minors. III. Planar tree-width", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 36 (1): 49–64, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2884%2990013-3">10.1016/0095-8956(84)90013-3</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0742386">0742386</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1990), "Graph minors. IV. Tree-width and well-quasi-ordering", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 48 (2): 227–254, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2890%2990120-O">10.1016/0095-8956(90)90120-O</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1046757">1046757</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1986), "Graph minors. V. Excluding a planar graph", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 41 (1): 92–114, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2886%2990030-4">10.1016/0095-8956(86)90030-4</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0854606">0854606</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1986), "Graph minors. VI. Disjoint paths across a disc", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 41 (1): 115–138, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2886%2990031-6">10.1016/0095-8956(86)90031-6</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0854607">0854607</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1988), "Graph minors. VII. Disjoint paths on a surface", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 45 (2): 212–254, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2888%2990070-6">10.1016/0095-8956(88)90070-6</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0961150">0961150</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1990), "Graph minors. VIII. A Kuratowski theorem for general surfaces", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 48 (2): 255–288, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2890%2990121-F">10.1016/0095-8956(90)90121-F</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1046758">1046758</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1990), "Graph minors. IX. Disjoint crossed paths", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 49 (1): 40–77, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2890%2990063-6">10.1016/0095-8956(90)90063-6</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1056819">1056819</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1991), "Graph minors. X. Obstructions to tree-decomposition", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 52 (2): 153–190, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2891%2990061-N">10.1016/0095-8956(91)90061-N</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1110468">1110468</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1993), "Excluding a graph with one crossing", in Robertson, Neil; Seymour, Paul (eds.), Graph Structure Theory: Proc. AMS–IMS–SIAM Joint Summer Research Conference on Graph Minors, Contemporary Mathematics, vol. 147, American Mathematical Society, pp. 669–675, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2Fconm%2F147%2F01206">10.1090/conm/147/01206</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-5160-9, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1224738">1224738</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1994), "Graph minors. XI. Circuits on a surface", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 60 (1): 72–106, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1006%2Fjctb.1994.1007">10.1006/jctb.1994.1007</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1256585">1256585</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1995), "Graph minors. XII. Distance on a surface", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 64 (2): 240–272, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1006%2Fjctb.1995.1034">10.1006/jctb.1995.1034</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1339851">1339851</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1995), "Graph minors. XIII. The disjoint paths problem", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 63 (1): 65–110, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1006%2Fjctb.1995.1006">10.1006/jctb.1995.1006</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1309358">1309358</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1995), "Graph minors. XIV. Extending an embedding", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 65 (1): 23–50, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1006%2Fjctb.1995.1042">10.1006/jctb.1995.1042</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1347339">1347339</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1996), "Graph minors. XV. Giant steps", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 68 (1): 112–148, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1006%2Fjctb.1996.0059">10.1006/jctb.1996.0059</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1405708">1405708</a></li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (2003), "Graph minors. XVI. Excluding a non-planar graph", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 89 (1): 43–76, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2FS0095-8956%2803%2900042-X">10.1016/S0095-8956(03)00042-X</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1999736">1999736</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (1999), "Graph minors. XVII. Taming a vortex", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 77 (1): 162–210, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1006%2Fjctb.1999.1919">10.1006/jctb.1999.1919</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1710538">1710538</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, Paul</a> (2003), "Graph minors. XVIII. Tree-decompositions and well-quasi-ordering", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 89 (1): 77–108, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2FS0095-8956%2803%2900067-4">10.1016/S0095-8956(03)00067-4</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1999737">1999737</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (2004), "Graph minors. XIX. Well-quasi-ordering on a surface", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 90 (2): 325–385, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jctb.2003.08.005">10.1016/j.jctb.2003.08.005</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2034033">2034033</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, P. D.</a> (2004), "Graph minors. XX. Wagner's conjecture", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 92 (2): 325–357, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jctb.2004.08.001">10.1016/j.jctb.2004.08.001</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2099147">2099147</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, Paul</a> (2009), "Graph minors. XXI. Graphs with unique linkages", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 99 (3): 583–616, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jctb.2008.08.003">10.1016/j.jctb.2008.08.003</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2507943">2507943</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, Paul</a> (2012), <a href="http://www.math.princeton.edu/~pds/papers/GM22/GM22.pdf">"Graph minors. XXII. Irrelevant vertices in linkage problems"</a> (PDF), <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 102 (2): 530–563, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jctb.2007.12.007">10.1016/j.jctb.2007.12.007</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2885434">2885434</a>.</li>
<li><a href="/facts/Neil_Robertson_(mathematician)/nC5FXjur">Robertson, Neil</a>; <a href="/facts/Paul_Seymour_(mathematician)/AJp2GgAC">Seymour, Paul</a> (2010), "Graph minors XXIII. Nash-Williams' immersion conjecture", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 100 (2): 181–205, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jctb.2009.07.003">10.1016/j.jctb.2009.07.003</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2595703">2595703</a>.</li>
<li><a href="/facts/Klaus_Wagner_(mathematician)/80VWpmJK">Wagner, Klaus</a> (1937), "Über eine Erweiterung des Satzes von Kuratowski", Deutsche Mathematik, 2: 280–285.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Graph Minors V. <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Robertson & Seymour (1993); Demaine, Hajiaghayi & Thilikos (2002)). - Robertson, Neil; Seymour, P. D. (1993), "Excluding a graph with one crossing", in Robertson, Neil; Seymour, Paul (eds.), Graph Structure Theory: Proc. AMS–IMS–SIAM Joint Summer Research Conference on Graph Minors, Contemporary Mathematics, vol. 147, American Mathematical Society, pp. 669–675, doi:10.1090/conm/147/01206, ISBN 978-0-8218-5160-9, MR 1224738 <a href="https://doi.org/10.1090%2Fconm%2F147%2F01206" target="_blank">https://doi.org/10.1090%2Fconm%2F147%2F01206</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Demaine, Hajiaghayi & Kawarabayashi (2009). - Demaine, Erik D.; Hajiaghayi, Mohammad Taghi; Kawarabayashi, Ken-ichi (2009), "Approximation algorithms via structural results for apex-minor-free graphs", Proc. 36th International Colloquium Automata, Languages and Programming (ICALP '09) (PDF), Lecture Notes in Computer Science, vol. 5555, Springer-Verlag, pp. 316–327, doi:10.1007/978-3-642-02927-1_27, ISBN 978-3-642-02926-4, MR 2544855 <a href="http://erikdemaine.org/papers/ApexMinorFree_ICALP2009/paper.pdf" target="_blank">http://erikdemaine.org/papers/ApexMinorFree_ICALP2009/paper.pdf</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
</ol>

Graph structure theorem open-in-new

Graph structure theorem