English

On the logical complexity of convex polygon dissections

Combinatorics 2007-05-23 v1 Logic

Abstract

The logical depth of a graph GG is the minimum quantifier depth of a first order sentence defining GG up to isomorphism in the language of the adjacency and the equality relations. We consider the case that GG is a dissection of a convex polygon or, equivalently, a biconnected outerplanar graph. We bound the logical depth of a such GG from above by a function of combinatorial parameters of the dual tree of GG.

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

R2 v1 2026-07-22T17:39:22.370Z