We present an efficient algorithm that checks the satisfiability of pure dominance constraints, which is a tree description language contained in several constraint languages studied in computational linguistics. Pure dominance constraints partially describe unlabeled rooted trees. For arbitrary pairs of nodes they specify sets of admissible relative positions in a tree. The task is to find a tree structure satisfying these constraints. Our algorithm constructs such a solution in time O(m2) where m is the number of constraints. This solves an essential part of an open problem posed by Cornell.
CITATION STYLE
Bodirsky, M., & Kutz, M. (2002). Pure dominance constraints. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2285, pp. 287–298). Springer Verlag. https://doi.org/10.1007/3-540-45841-7_23
Mendeley helps you to discover research relevant for your work.