Chapter 8 Algorithmic implications of the graph minor theorem

作者: Daniel Bienstock , Michael A. Langston

DOI: 10.1016/S0927-0507(05)80125-2

关键词: Dilworth's theoremMirsky's theoremRobertson–Seymour theoremGraph minorFundamental theoremKuratowski's theoremForbidden graph characterizationDiscrete mathematicsMathematicsPerfect graph theorem

摘要: Publisher Summary This chapter describes some of the algorithmic ramifications graph minor theorem and its consequences. Significantly, many tools used in proof can be applied to a very broad class problems. For example, Robertson Seymour have obtained relatively simple polynomial-time algorithm for disjoint paths problem, task that had eluded researchers years. Other applications include combinatorial problems from several domains, including network routing, utilization design. Indeed, it is critical measure value Graph Minor Theorem so are already known it. Three types key notions employed minors, obstructions well-quasiorders. Kuratowski's may regarded as characterization planarity by means excluded graphs, henceforth termed obstructions. Characterizations this nature abound mathematics optimization. Some familiar examples max-flow min-cut theorem, Seymour's description clutters with property Farkas' lemma.

参考文章(36)
Casimir Kuratowski, Sur le problème des courbes gauches en Topologie Fundamenta Mathematicae. ,vol. 15, pp. 271- 283 ,(1930) , 10.4064/FM-15-1-271-283
Yossi Shiloach, A Polynomial Solution to the Undirected Two Paths Problem Journal of the ACM. ,vol. 27, pp. 445- 456 ,(1980) , 10.1145/322203.322207
Fǎnicǎ Gavril, The intersection graphs of subtrees in trees are exactly the chordal graphs Journal of Combinatorial Theory, Series B. ,vol. 16, pp. 47- 56 ,(1974) , 10.1016/0095-8956(74)90094-X
Neil Robertson, P.D Seymour, Graph minors. VI. Disjoint paths across a disc Journal of Combinatorial Theory, Series B. ,vol. 41, pp. 115- 138 ,(1986) , 10.1016/0095-8956(86)90031-6
C E Leiserson, F M Maley, Algorithms for routing and testing routability of planar VLSI layouts Proceedings of the seventeenth annual ACM symposium on Theory of computing - STOC '85. pp. 69- 78 ,(1985) , 10.1145/22145.22153
Michael R. Fellows, Michael A. Langston, Nonconstructive tools for proving polynomial-time decidability Journal of the ACM. ,vol. 35, pp. 727- 739 ,(1988) , 10.1145/44483.44491
John Hopcroft, Robert Tarjan, Efficient Planarity Testing Journal of the ACM. ,vol. 21, pp. 549- 568 ,(1974) , 10.1145/321850.321852
M. R. Fellows, M. A. Langston, On search decision and the efficiency of polynomial-time algorithms Proceedings of the twenty-first annual ACM symposium on Theory of computing - STOC '89. pp. 501- 512 ,(1989) , 10.1145/73007.73055
N. Robertson, P.D. Seymour, Graph minors. XIII: the disjoint paths problem Journal of Combinatorial Theory, Series B. ,vol. 63, pp. 65- 110 ,(1995) , 10.1006/JCTB.1995.1006