On the Descriptive Complexity of Color Coding

Max Bannach, Till Tantau


Color coding is an algorithmic technique used in parameterized complexity theory to detect “small” structures inside graphs. The idea is to derandomize algorithms that first randomly color a graph and then search for an easily-detectable, small color pattern. We transfer color coding to the world of descriptive complexity theory by characterizing – purely in terms of the syntactic structure of describing formulas – when the powerful second-order quantifiers representing a random coloring can be replaced by equivalent, simple first-order formulas. Building on this result, we identify syntactic properties of first-order quantifiers that can be eliminated from formulas describing parameterized problems. The result applies to many packing and embedding problems, but also to the long path problem. Together with a new result on the parameterized complexity of formula families involving only a fixed number of variables, we get that many problems lie in fpt just because of the way they are commonly described using logical formulas.

Titel36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)
Redakteure/-innenRolf Niedermeier, Christophe Paul
Herausgeber (Verlag)Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ISBN (Print)978-3-95977-100-9
PublikationsstatusVeröffentlicht - 01.03.2019
Veranstaltung36th International Symposium on Theoretical Aspects of Computer Science - Berlin, Deutschland
Dauer: 13.03.201916.03.2019
Konferenznummer: 153790


  • 409-01 Theoretische Informatik


Untersuchen Sie die Forschungsthemen von „On the Descriptive Complexity of Color Coding“. Zusammen bilden sie einen einzigartigen Fingerprint.