Další formáty:
BibTeX
LaTeX
RIS
@article{589863,
author = {Hliněný, Petr},
article_location = {Amsterdam},
article_number = {3},
keywords = {matroid representation; branch-width;
monadic second-order logic; tree automaton;
fixed-parameter complexity},
language = {eng},
issn = {0095-8956},
journal = {Journal of Combinatorial Theory, Ser B},
title = {Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids},
url = {http://dx.doi.org/10.1016/j.jctb.2005.08.005},
volume = {96},
year = {2006}
}
TY - JOUR
ID - 589863
AU - Hliněný, Petr
PY - 2006
TI - Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids
JF - Journal of Combinatorial Theory, Ser B
VL - 96
IS - 3
SP - 325-351
EP - 325-351
PB - Elsevier B.V.
SN - 00958956
KW - matroid representation
KW - branch-width
KW - monadic second-order logic
KW - tree automaton
KW - fixed-parameter complexity
UR - http://dx.doi.org/10.1016/j.jctb.2005.08.005
N2 - 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 $\mf 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 $\mf M$. Since the cycle matroids of graphs are representable over any field, our result directly extends the so called ``$MS_2$-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.
ER -
HLINĚNÝ, Petr. Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids. \textit{Journal of Combinatorial Theory, Ser B}. Amsterdam: Elsevier B.V., roč.~96, č.~3, s.~325-351. ISSN~0095-8956. 2006.
|
