Determining the consistency of partial tree descriptions

9 years 8 months ago
Determining the consistency of partial tree descriptions
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in computational linguistics; the constraints specify for pairs of nodes sets of admissible relative positions in an ordered tree. Cornell asked for an algorithm to find a tree structure satisfying these constraints. This computational problem generalizes the common-supertree problem studied in phylogenetic analysis. We present the first polynomial time algorithm for Cornell’s problem, which runs in time O(mn), where m is the number of constraints and n the number of variables in the constraint.
Manuel Bodirsky, Martin Kutz
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2007
Where AI
Authors Manuel Bodirsky, Martin Kutz
Comments (0)