Sciweavers

Share
JCT
2006

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

9 years 1 months ago
Branch-width, parse trees, and monadic second-order logic for matroids
Abstract. 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 matroids, then there is a finite tree automaton accepting exactly those parse trees which build vector representations of the bounded-branch-width representable members of M. Since the cycle matroids of graphs are representable over any field, our result directly extends the so called "MS2-theorem" for graphs of bounded tree-width by Courcelle, and others. Moreover, applications and relations in areas other than matroid theory can be found, like for rank-width of graphs, or in the coding theory.
Petr Hlinený
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JCT
Authors Petr Hlinený
Comments (0)
books