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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of combinatorial theory. Series B Jg. 96; H. 3; S. 325 - 351
1. Verfasser:	Hliněný, Petr
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.05.2006
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!