Home
• Get access
• Print publication year: 2015
• Online publication date: July 2015

### 7 - New tools and results in graph minor structure theory

Summary

Abstract

Graph minor theory of Robertson and Seymour is a far reaching generalization of the classical Kuratowski–Wagner theorem, which characterizes planar graphs in terms of forbidden minors. We survey new structural tools and results in the theory, concentrating on the structure of large t-connected graphs, which do not contain the complete graph Kt as a minor.

1 Introduction

Graphs in this paper are finite and simple, unless specified otherwise. A graph H is a minor of a graph G if H can be obtained from a subgraph of G by contracting edges. Numerous theorems in structural graph theory describe classes of graphs which do not contain a fixed graph or a collection of graphs as a minor. A classical example of such a description is the Kuratowski–Wagner theorem [92,93].

Theorem 1.1A graph is planar if and only if it does not contain K5 or K3,3 as a minor.

(We will say that G contains H as a minor, if H is isomorphic to a minor of G, and we will use the notation HG to denote this. The notation is justified as the minor containment is, indeed, a partial order. We say that G is H-minor free if G does not contain H as a minor.)

Clearly a graph is a forest if and only if it does not contain K3 as a minor. In [16] Dirac proved that a graph does not contain K4 as a minor if and only if it is series-parallel. In [93] Wagner characterizes graphs which do not contain K5 as a minor, as follows.

Theorem 1.2A graph does not contain K5 as a minor if and only if it can be obtained by 0-, 1 and 2 and 3-clique sum operations from planar graphs and V8. (The graph V8 is shown on Figure 1.)

Recommend this book

Surveys in Combinatorics 2015
• Online ISBN: 9781316106853
• Book DOI: https://doi.org/10.1017/CBO9781316106853
Who would you like to send this to *

×
[1] , , and , A separator theorem for nonplanar graphs, J. Amer. Math. Soc. 3 (1990), no. 4, 801–808.
[2] and , Every planar map is four colorable. I. Discharging, Illinois J. Math. 21 (1977), no. 3, 429–490.
[3] , , and , Every planar map is four colorable. II. Reducibility, Illinois J. Math. 21 (1977), no. 3, 491–567.
[4] and , Riemann–Roch and Abel–Jacobi theory on a finite graph, Advances in Mathematics 215 (2007), no. 2, 766–788.
[5] , , , and , Approximating treewidth, pathwidth, frontsize, and shortest elimination tree, J. Algorithms 18 (1995), no. 2, 238–255.
[6] , , , and , Characterizing 2-crossing-critical graphs, 2013. arXiv:1312.3712.
[7] and , Polynomial bounds for the grid-minor theorem, 2013. arXiv:1305.6577.
[8] , , and , The edge-density for K2,t minors, J. Combin. Theory Ser. B 101 (2011), no. 1, 18–46.
[9] and , On the maximal number of independent circuits in a graph, Acta Math. Acad. Sci. Hungar. 14 (1963), 423–439. MR0200185 (34 #84)
[10] , , , , , , and , Excluding any graph as a minor allows a low tree-width 2-coloring, J. Combin. Theory Ser. B 91 (2004), no. 1, 25–41.
[11] , Graph theory, Fourth Edition, Graduate Texts in Mathematics, vol. 173, Springer, Heidelberg, 2010.
[12] , , , and , Highly connected sets and the excluded grid theorem, J. Combin. Theory Ser. B 75 (1999), no. 1, 61–73.
[13] , , , and , On the excluded minor structure theorem for graphs of large tree-width, J. Combin. Theory Ser. B 102 (2012), no. 6, 1189–1210.
[14] , , and , The Erdős-Pósa property for clique minors in highly connected graphs, J. Combin. Theory Ser. B 102 (2012), no. 2, 454–469.
[15] , , , and , Large nonplanar graphs and an application to crossing-critical graphs, J. Combin. Theory Ser. B 101 (2011), no. 2, 111–121.
[16] , A property of 4-chromatic graphs and some remarks on critical graphs, J. London Math. Soc. 27 (1952), 85–92.
[17] , Homomorphism theorems for graphs, Math. Ann. 153 (1964), 69–80.
[18] , , and , Layered separators in minorclosed families with applications, 2013. arXiv:1306.1595.
[19] , A stronger structure theorem for excluded topological minors, 2012. arXiv:1209.0129.
[20] , Sublinear separators, fragility and subexponential expansion, 2014. arXiv:1404.7219.
[21] and , List-coloring apex-minor-free graphs, 2014. arXiv:1401.1399.
[22] and , Small graph classes and bounded expansion, J. Combin. Theory Ser. B 100 (2010), no. 2, 171–175.
[23] and , Treewidth of graphs with balanced separators. manuscript.
[24] , Diameter and treewidth in minor-closed graph families, Algorithmica 27 (2000), no. 3-4, 275–291. Treewidth.
[25] , Densities of minor-closed graph families, Electron. J. Combin. 17 (2010), no. 1, Research Paper 136, 21.
[26] , Constructing dense graphs with sublinear Hadwiger number. J. Combin. Theory Ser. B, to appear.
[27] , , and , The highly connected matroids in minor-closed classes, 2013. arXiv:1312.5012.
[28] and , Structure theorem and isomorphism test for graphs with excluded topological subgraphs, Proceedings of the fortyfourth annual acm symposium on theory of computing, 2012, pp. 173–192.
[29] , Über eine Klassifikation der Streckenkomplexe, Vierteljschr. Naturforsch. Ges. Zürich 88 (1943), 133–142.
[30] , S-functions for graphs, J. Geometry 8 (1976), no. 1-2, 171–186.
[31] and , Parameters tied to treewidth, 2013. arXiv:1312.3401.
[32] and , Cycles of given size in a dense graph, 2015. arXiv:1502.03549.
[33] , , , , , and , Tree-width and dimension, 2013. arXiv:1301.5271.
[34] , Contractions to K8, J. Graph Theory 18 (1994), no. 5, 431–448.
[35] and , Densities of minor-closed graph classes are rational. in preparation.
[36] and , Linear min-max relation between the treewidth of h-minor-free graphs and its largest grid, Lipicsleibniz international proceedings in informatics, 2012.
[37] and , Some recent progress and applications in graph minor theory, Graphs Combin. 23 (2007), no. 1, 1–46.
[38] , , , and , K6 minors in 6-connected graphs of bounded tree-width. submitted.
[39] , , , and , K6 minors in large 6-connected graphs. submitted.
[40] , The minimum Hadwiger number for graphs with a given mean degree of vertices, Metody Diskret. Analiz. 38 (1982), 37–58.
[41] , Lower bound of the Hadwiger number of graphs by their average degree, Combinatorica 4 (1984), no. 4, 307–316.
[42] and , Dense graphs have K3,t minors, Discrete Math. 310 (2010), no. 20, 2637–2654.
[43] and , Treewidth and planar minors (2012). manuscript.
[44] and , A separator theorem for planar graphs, SIAM J. Appl. Math. 36 (1979), no. 2, 177–189.
[45] and , Well-quasi-ordering graphs by the topological minor relation: Robertson's conjecture. in preparation.
[46] , Graph minor theory, Bull. Amer. Math. Soc. (N.S.) 43 (2006), no. 1, 75–86 (electronic).
[47] , Homomorphiesätze für Graphen, Math. Ann. 178 (1968), 154–168.
[48] , An excluded minor theorem for the octahedron, J. Graph Theory 31 (1999), no. 2, 95–100.
[49] , A characterization of graphs with no cube minor, J. Combin. Theory Ser. B 80 (2000), no. 2, 179–201.
[50] , , and , Random graphs from planar and other addable classes, Topics in discrete mathematics, 2006, pp. 231–246.
[51] and , Grad and classes with bounded expansion. I. Decompositions, European J. Combin. 29 (2008), no. 3, 760–776.
[52] , , and , Characterisations and examples of graph classes with bounded expansion, European J. Combin. 33 (2012), no. 3, 350–373.
[53] and , Cultivating a vortex. in preparation.
[54] and , Linear decompositions of large graphs. in preparation.
[55] and , Minors and linkages in large graphs. in preparation.
[56] and , Non-planar extensions of subdivisions of planar graphs, 2014. arXiv:1402.1999.
[57] , , , and , Proper minorclosed families are small, J. Combin. Theory Ser. B 96 (2006), no. 5, 754–757.
[58] , , and , Typical subgraphs of 3- and 4-connected graphs, J. Combin. Theory Ser. B 57 (1993), no. 2, 239–257.
[59] and , Forcing a sparse minor, 2014. arXiv:1402.0272.
[60] , , , and , The fourcolour theorem, J. Combin. Theory Ser. B 70 (1997), no. 1, 2–44.
[61] and , Graph minors. XVIII. Treedecompositions and well-quasi-ordering, J. Combin. Theory Ser. B 89 (2003), no. 1, 77–108.
[62] and , Graph minors. XXI. Graphs with unique linkages, J. Combin. Theory Ser. B 99 (2009), no. 3, 583–616.
[63] and , Graph minors XXIII. Nash-Williams' immersion conjecture, J. Combin. Theory Ser. B 100 (2010), no. 2, 181–205.
[64] and , Graph minors. XXII. Irrelevant vertices in linkage problems, J. Combin. Theory Ser. B 102 (2012), no. 2, 530–563.
[65] , , and , Quickly excluding a planar graph, J. Combin. Theory Ser. B 62 (1994), no. 2, 323–348.
[66] and , Graph minors. I. Excluding a forest, J. Combin. Theory Ser. B 35 (1983), no. 1, 39–61.
[67] and , Graph minors. III. Planar treewidth, J. Combin. Theory Ser. B 36 (1984), no. 1, 49–64.
[68] and , Graph minors. II. Algorithmic aspects of tree-width, J. Algorithms 7 (1986), no. 3, 309–322.
[69] and , Graph minors. V. Excluding a planar graph, J. Combin. Theory Ser. B 41 (1986), no. 1, 92–114.
[70] and , Graph minors. VI. Disjoint paths across a disc, J. Combin. Theory Ser. B 41 (1986), no. 1, 115–138.
[71] and , Graph minors. VII. Disjoint paths on a surface, J. Combin. Theory Ser. B 45 (1988), no. 2, 212–254.
[72] and , Graph minors. IV. Tree-width and well-quasi-ordering, J. Combin. Theory Ser. B 48 (1990), no. 2, 227–254.
[73] and , Graph minors. IX. Disjoint crossed paths, J. Combin. Theory Ser. B 49 (1990), no. 1, 40–77.
[74] and , Graph minors. VIII. A Kuratowski theorem for general surfaces, J. Combin. Theory Ser. B 48 (1990), no. 2, 255–288.
[75] and , Graph minors. X. Obstructions to tree-decomposition, J. Combin. Theory Ser. B 52 (1991), no. 2, 153–190.
[76] and , Graph minors. XI. Circuits on a surface, J. Combin. Theory Ser. B 60 (1994), no. 1, 72–106.
[77] and , Graph minors. XII. Distance on a surface, J. Combin. Theory Ser. B 64 (1995), no. 2, 240–272.
[78] and , Graph minors. XIII. The disjoint paths problem, J. Combin. Theory Ser. B 63 (1995), no. 1, 65–110.
[79] and , Graph minors. XIV. Extending an embedding, J. Combin. Theory Ser. B 65 (1995), no. 1, 23–50.
[80] and , Graph minors. XV. Giant steps, J. Combin. Theory Ser. B 68 (1996), no. 1, 112–148.
[81] and , Graph minors. XVII. Taming a vortex, J. Combin. Theory Ser. B 77 (1999), no. 1, 162–210.
[82] and , Graph minors. XVI. Excluding a non-planar graph, J. Combin. Theory Ser. B 89 (2003), no. 1, 43–76.
[83] and , Graph minors. XIX. Well-quasiordering on a surface, J. Combin. Theory Ser. B 90 (2004), no. 2, 325–385.
[84] and , Graph minors. XX. Wagner's conjecture, J. Combin. Theory Ser. B 92 (2004), no. 2, 325–357.
[85] , , and , Hadwiger's conjecture for K6-free graphs, Combinatorica 13 (1993), no. 3, 279–361.
[86] and , Graph searching and a min-max theorem for tree-width, J. Combin. Theory Ser. B 58 (1993), no. 1, 22–33.
[87] and , The extremal function for K9 minors, J. Combin. Theory Ser. B 96 (2006), no. 2, 240–252.
[88] , Recent excluded minor theorems for graphs, Surveys in combinatorics, 1999 (Canterbury), 1999, pp. 201–222.
[89] , An extremal function for contractions of graphs, Math. Proc. Cambridge Philos. Soc. 95 (1984), no. 2, 261–265.
[90] , The extremal function for complete minors, J. Combin. Theory Ser. B 81 (2001), no. 2, 318–338.
[91] and , A lower bound on the gonality of finite graphs, 2014. arXiv:1407.7055.
[92] , Sur le probléme des courbes gauches en topologie, Fundamenta Mathematicae 15 (1930), 271–283.
[93] , Über eine Eigenschaft der ebenen Komplexe, Mathematische Annalen 114 (1937), 570–590.
[94] , Beweis einer Abschwächung der Hadwiger-Vermutung, Math. Ann. 153 (1964), 139–141.