Branch-width, parse trees, and monadic second-order logic for matroids

We introduce “matroid parse trees” which, using only a limited amount of information at each node, can build up the vector representations of matroids of bounded branch-width over a finite field. We prove that if M is a family of matroids described by a sentence in the monadic second-order logic of...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of combinatorial theory. Series B Ročník 96; číslo 3; s. 325 - 351
Hlavní autor:	Hliněný, Petr
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.05.2006
Témata:	Branch-width Fixed-parameter complexity Matroid representation Monadic second-order logic Tree automaton secondary 68R05 Fixed-parameter complexity 03D05 Matroid representation Monadic second-order logic primary 05B35 Tree automaton Branch-width
ISSN:	0095-8956, 1096-0902
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!