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. [15]
Robertson has won the Fulkerson Prize three times, in 1994 for his work on the Hadwiger conjecture, in 2006 for the Robertson–Seymour theorem, and in 2009 for his proof of the strong perfect graph theorem. [11] He also won the Pólya Prize (SIAM) in 2004, the OSU Distinguished Scholar Award in 1997, and the Waterloo Alumni Achievement Medal ...
Theorem 2. If G is K 5 -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 K 5 -free graphs is determined.
The Robertson–Seymour theorem proves that subcubic graphs (simple or not) are well-founded by homeomorphic embeddability, implying such a sequence cannot be infinite. Then, by applying Kőnig's lemma on the tree of such sequences under extension, for each value of k there is a sequence with maximal length.
Therefore, by the Robertson–Seymour theorem, the linklessly embeddable graphs have a forbidden graph characterization as the graphs that do not contain any of a finite set of minors. [ 3 ] The set of forbidden minors for the linklessly embeddable graphs was identified by Sachs (1983) : the seven graphs of the Petersen family are all minor ...
Robertson, Seymour & Thomas (1993) proved the conjecture for =, also using the four color theorem; their paper with this proof won the 1994 Fulkerson Prize. It follows from their proof that linklessly embeddable graphs, a three-dimensional analogue of planar graphs, have chromatic number at most five. [3]
The Robertson–Seymour theorem implies that every matroid property of graphic matroids characterized by a list of forbidden minors can be characterized by a finite list. Another way of saying the same thing is that the partial order on graphic matroids formed by the minor operation is a well-quasi-ordering .