{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# graph-minors - Computational Topology(Jeff Erickson Graph...

This preview shows pages 1–3. Sign up to view the full content.

Computational Topology (Jeff Erickson) Graph Minors Wagner did indeed discuss this problem in the 1960s with his then students, Halin and Mader, and it is not unthinkable that one of them conjectured a positive solution. Wagner himself always insisted that he did not—even after the graph minor theorem had been proved. — Reinhard Diestel, Graph Theory , 3rd edition (2005) Unfortunately, for any instance G = ( V , E ) that one could fit into the known universe, one would easily prefer | V | 70 to even constant time, if that constant had to be one of Robertson and Seymour’s. — David Johnson, “The NP-completeness Column” (1987) 12 Graph Minors A minor of a graph G is a graph obtained from G by contracting edges, deleting edges, and deleting isolated vertices; a proper minor of G is any minor other than G itself. For example, the complete graph K 5 and the complete bipartite graph K 3,3 are both minors of the infamous Peterson graph: Both K 5 and K 3,3 are minors of the Peterson graph. Doubled edges are contracted; dashed edges are deleted. A classical theorem of Kuratowski [ 21 ] states that a graph is planar if and only if it does not contain a subdivision of K 5 or K 3,3 as a subgraph. Kuratowski’s theorem was refined by Wagner in his 1935 PhD thesis: Theorem 12.1 (Wagner [ 43 ] ). A graph G is planar if and only if K 5 and K 3,3 are not minors of G . Wagner’s thesis continued with a characterization of all graphs that do not have K 5 (but may have K 3,3 ) as a minor [ 42 ] . Wagner’s work led to a more general study of families of graphs with forbidden minors . A graph H is a forbidden minor for a set F of graphs if H is not a minor of any graph in F . A forbidden minor H of F is minimal if no proper minor of H is also a forbidden minor. It’s quite easy to see that any family F of graphs with at least one forbidden minor is minor-closed : Every minor of a graph in F is also in F . Conversely, if a minor-closed family of graphs excludes a graph H , it must also exclude any graph for which H is a minor. Thus, every minor-closed family of graphs, except the family of all graphs, has at least one forbidden minor. In the mid-1980s, Neil Robertson and Paul Seymour announced a proof of one of the deepest theorems in combinatorics [ 25 ] ; the details of their proof were published over the next two decades in a series of 21 papers totalling several hundred pages. According to Robertson and Seymour, this theorem was conjectured by Wagner as early as the 1930s, although his conjecture did not appear in print until many decades later [ 44 ] . 1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Computational Topology (Jeff Erickson) Graph Minors The Graph Minor Theorem (Robertson and Seymour [ 29 ] ). In any infinite set of graphs, at least one graph is a proper minor of another. Even a brief sketch of the proof of the Graph Minor Theorem is far beyond the scope of this class.
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern