×

Twin-width and permutations. (English) Zbl 07906366

Summary: Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomassé, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been further extended to binary structures, in several (basically equivalent) ways. We prove that a class of binary relational structures (that is: edge-colored partially directed graphs) has bounded twin-width if and only if it is a first-order transduction of a proper permutation class. As a by-product, we show that every class with bounded twin-width contains at most \(2^{O(n)}\) pairwise non-isomorphic \(n\)-vertex graphs.

MSC:

03B70 Logic in computer science
68-XX Computer science

References:

[1] Michael Albert, Mathilde Bouvel, and Valentin Féray. Two first-order logics of permutations. Jour-nal of Combinatorial Theory, Series A, 171:105158, 2020. doi:10.1016/j.jcta.2019.105158. [BGK + 21a] Édouard Bonnet, Colin Geniet, Eun Jung Kim, Stéphan Thomassé, and Rémi Watrigant. Twin-width II: small classes. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1977-1996, 2021. doi:10.1137/1.9781611976465.118. · Zbl 1433.05004 · doi:10.1137/1.9781611976465.118
[2] Vol. 20:3 TWIN-WIDTH AND PERMUTATIONS 4:25 [BGK + 21b] Édouard Bonnet, Colin Geniet, Eun Jung Kim, Stéphan Thomassé, and Rémi Watrigant. Twin-width III: Max Independent Set, Min Dominating Set, and Coloring. In Nikhil Bansal, Emanuela Merelli, and James Worrell, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference), volume 198 of LIPIcs, pages 35:1-35:20. Schloss Dagstuhl -Leibniz-Zentrum für Informatik, 2021. doi:10.4230/LIPIcs.ICALP.2021.35. · doi:10.4230/LIPIcs.ICALP.2021.35
[3] BGO + 24] Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Pierre Simon, Stéphan Thomassé, and Szymon Toruńczyk. Twin-width IV: ordered graphs and matrices. Journal of the ACM, 2024. Just. · doi:10.1145/3651151
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.