Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes

A conjecture in algorithmic model theory predicts that the model-checking problem for first-order logic is fixed-parameter tractable on a hereditary graph class if and only if the class is monadically dependent. Originating in model theory, this notion is defined in terms of logic, and encompasses n...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-03
Hauptverfasser:	Dreier, Jan, Mählmann, Nikolas, Toruńczyk, Szymon
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Combinatorial analysis Graph theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!