Abstract
An order relation on {1,..., n} is called tree-definable if it can be defined as the sequence of leaf numbers in a depth-first traversal of a binary tree, with leaves numbered 1,..., n, from left to right. Several characterisations of this class are given, one of them in terms of avoided patterns. Closure properties and both computational and descriptional complexity of the class are investigated. The complexity seems to depend on the representation: for the representation by a sequence, tree-definability can be described in transitive closure logic, or in monadicΠ 11 , and an algorithm is given which solves the problem in LOGDCFL. For order relations tree-definability can be expressed in first-order logic, and is therefore in A C0.
Similar content being viewed by others
References
Cook, S. A. (1985) A taxonomy of problems with fast parallel algorithms, Inform. and Control 64, 2-22.
Ebbinghaus, H.-D. and Flum, J. (1995) Finite Model Theory, Springer.
Ehrenfeucht, A., Harju, T., ten Pas, P. and Rozenberg, G. (1997) Permutations, parenthesis words, and Schröder numbers, Technical Report 97-04, Rijksuniversiteit te Leiden, Vakgroep Informatica.
Fagin, R. (1974) Generalized first-order spectra and polynomial-time recognizable sets, in R. M. Karp (ed.), Complexity of Computation, SIAM-AMS Proc. 7, pp. 43-73.
Gaifman, H. (1981) On local and non-local properties, in J. Stern (ed.), Logic Colloquium’81, pp. 105-135.
Immerman, N. (1999) Descriptive and Computational Complexity, Springer.
Johnson, D. S. (1990) A catalog of complexity classes, in Jan van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. A, Amsterdam, pp. 67-161.
Lautemann, C. (1988) One pushdown and a small tape, in Klaus Wagner (ed.), Dirk Siefkes zum 50. Geburtstag, Berlin, pp. 42-47.
Lautemann, C., Schwentick, T. and Thérien, D. (1995) Logics for context-free languages, in Proc. CSL’ 94, SLNCS 933, pp. 205-216.
Simion, R. and Schmidt, W. (1985) Restricted permutations, European J. Combin. 6, 383-406.
West, J. (1995) Generating trees and the Catalan and Schröder numbers, Discrete Appl. Math. 146, 247-262.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lautemann, C. Tree-Definable Linear Orders. Order 15, 119–128 (1998). https://doi.org/10.1023/A:1006165114181
Issue Date:
DOI: https://doi.org/10.1023/A:1006165114181