par Dujmović, Vida V.;Joret, Gwenaël ;Micek, Piotr;Morin, Pat;Ueckerdt, Torsten;Wood, David
Référence Annual Symposium on Foundations of Computer Science, FOCS 2019, page (862-875)
Publication Publié, 2019-01-01
Référence Annual Symposium on Foundations of Computer Science, FOCS 2019, page (862-875)
Publication Publié, 2019-01-01
Article révisé par les pairs
Résumé : | We show that planar graphs have bounded queue-number, thus proving a conjecture of Heath, Leighton and Rosenberg from 1992. The key to the proof is a new structural tool called layered partitions, and the result that every planar graph has a vertex-partition and a layering, such that each part has a bounded number of vertices in each layer, and the quotient graph has bounded treewidth. This result generalises for graphs of bounded Euler genus. Moreover, we prove that every graph in a minor-closed class has such a layered partition if and only if the class excludes some apex graph. Building on this work and using the graph minor structure theorem, we prove that every proper minor-closed class of graphs has bounded queue-number. Layered partitions can be interpreted in terms of strong products. We show that every planar graph is a subgraph of the strong product of a path with some graph of bounded treewidth. Similar statements hold for all proper minor-closed classes. |