Search results
Results From The WOW.Com Content Network
A similar theorem states that K 4 and K 2,3 are the forbidden minors for the set of outerplanar graphs. Although the Robertson–Seymour theorem extends these results to arbitrary minor-closed graph families, it is not a complete substitute for these results, because it does not provide an explicit description of the obstruction set for any family.
Another result relating the four-color theorem to graph minors is the snark theorem announced by Robertson, Sanders, Seymour, and Thomas, a strengthening of the four-color theorem conjectured by W. T. Tutte and stating that any bridgeless 3-regular graph that requires four colors in an edge coloring must have the Petersen graph as a minor.
A minor of a graph G is any graph H that is isomorphic to a graph that can be obtained from a subgraph of G by contracting 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.
By Robertson–Seymour theorem, any set of finite graphs contains only a finite number of minor-minimal elements. In particular, the set of "yes" instances has a finite number of minor-minimal elements. Given an input graph G, the following "algorithm" solves the above problem: For every minor-minimal element H: If H is a minor of G then return ...
Outerplanar graphs: K 4 and K 2,3: Graph minor Diestel (2000), [1] p. 107: Outer 1-planar graphs: Six forbidden minors Graph minor Auer et al. (2013) [2] Graphs of fixed genus: A finite obstruction set Graph minor Diestel (2000), [1] p. 275: Apex graphs: A finite obstruction set Graph minor [3] Linklessly embeddable graphs: The Petersen family ...
This states that families of graphs closed under the graph minor operation may be characterized by a finite set of forbidden minors. As part of this work, Robertson and Seymour also proved the graph structure theorem describing the graphs in these families. [6] Additional major results in Robertson's research include the following:
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
These graph classes include planar graphs, map graphs, bounded-genus graphs and graphs excluding any fixed minor. In particular, bidimensionality theory builds on the graph minor theory of Robertson and Seymour by extending the mathematical results and building new algorithmic tools.