Courcelle's theorem for triangulations

In graph theory, Courcelle's theorem essentially states that, if an algorithmic problem can be formulated in monadic second-order logic, then it can be solved in linear time for graphs of bounded treewidth. We prove such a metatheorem for a general class of triangulations of arbitrary fixed dim...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of combinatorial theory. Series A Ročník 146; s. 264 - 294
Hlavní autoři:	Burton, Benjamin A., Downey, Rodney G.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.02.2017
Témata:	3-Manifolds Discrete Morse theory Parameterised complexity Triangulations Turaev–Viro invariants 3-Manifolds Turaev–Viro invariants Discrete Morse theory Triangulations Parameterised complexity
ISSN:	0097-3165, 1096-0899
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!