On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic

We discuss the parametrized complexity of counting and evaluation problems on graphs where the range of counting is definable in monadic second-order logic (MSOL). We show that for bounded tree-width these problems are solvable in polynomial time. The same holds for bounded clique width in the cases...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Discrete Applied Mathematics Ročník 108; číslo 1; s. 23 - 52
Hlavní autori:	Courcelle, B., Makowsky, J.A., Rotics, U.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 15.02.2001
Predmet:	Combinatorial enumeration Fixed parameter complexity Combinatorial enumeration Fixed parameter complexity
ISSN:	0166-218X, 1872-6771
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!