Killing a Vortex - Archive ouverte HAL
Article Dans Une Revue Journal of the ACM (JACM) Année : 2024

Killing a Vortex

Résumé

The Graph Minors Structure Theorem of Robertson and Seymour asserts that, for every graph H, every H-minor-free graph can be obtained by clique-sums of "almost embeddable" graphs. Here a graph is "almost embeddable" if it can be obtained from a graph of bounded Eulergenus by pasting graphs of bounded pathwidth in an "orderly fashion" into a bounded number of faces, called the vortices, and then adding a bounded number of additional vertices, called apices, with arbitrary neighborhoods. Our main result is a full classification of all graphs H for which the use of vortices in the theorem above can be avoided. To this end we identify a (parametric) graph $S_t$ and prove that all $S_t$ -minor-free graphs can be obtained by clique-sums of graphs embeddable in a surface of bounded Euler-genus after deleting a bounded number of vertices. We show that this result is tight in the sense that the appearance of vortices cannot be avoided for H-minor-free graphs, whenever H is not a minor of $S_t$ for some t ∈ N. Using our new structure theorem, we design an algorithm that, given an $S_t$-minor-free graph G, computes the generating function of all perfect matchings of G in polynomial time. Our results, combined with known complexity results, imply a complete characterization of minorclosed graph classes where the number of perfect matchings is polynomially computable: They are exactly those graph classes that do not contain every $S_t$ as a minor. This provides a sharp complexity dichotomy for the problem of counting perfect matchings in minor-closed classes.
Fichier principal
Vignette du fichier
killavortex_JACM_rev2.pdf (2.01 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04702086 , version 1 (23-09-2024)

Identifiants

Citer

Dimitrios M. Thilikos, Sebastian Wiederrecht. Killing a Vortex. Journal of the ACM (JACM), 2024, 71 (4), pp.1-56/27. ⟨10.1145/3664648⟩. ⟨hal-04702086⟩
32 Consultations
9 Téléchargements

Altmetric

Partager

More