Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: Definability equals recognizability for graphs of bounded treewidth
(Submitted on 10 May 2016)
Abstract: We prove a conjecture of Courcelle, which states that a graph property is definable in MSO with modular counting predicates on graphs of constant treewidth if, and only if it is recognizable in the following sense: constant-width tree decompositions of graphs satisfying the property can be recognized by tree automata. While the forward implication is a classic fact known as Courcelle's theorem, the converse direction remained open
Submission history
From: Michał Pilipczuk [view email][v1] Tue, 10 May 2016 15:03:07 GMT (6813kb,D)
Link back to: arXiv, form interface, contact.