On the logical complexity of convex polygon dissections
Combinatorics
2007-05-23 v1 Logic
Abstract
The logical depth of a graph is the minimum quantifier depth of a first order sentence defining up to isomorphism in the language of the adjacency and the equality relations. We consider the case that is a dissection of a convex polygon or, equivalently, a biconnected outerplanar graph. We bound the logical depth of a such from above by a function of combinatorial parameters of the dual tree of .
Keywords
Cite
@article{arxiv.math/0607531,
title = {On the logical complexity of convex polygon dissections},
author = {Manuel Bodirsky and Mihyun Kang and Oleg Verbitsky},
journal= {arXiv preprint arXiv:math/0607531},
year = {2007}
}
Comments
26 pages