Supertree Construction with Constraint Programming

  • Ian P. Gent
  • Patrick Prosser
  • Barbara M. Smith
  • Wu Wei
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2833)


A central goal of systematics is the construction of a tree of life, where the tree represents the relationship between all living things. The leaf nodes of the tree correspond to species and the internal nodes to hypothesized species, assumed to be extinct, where species have diverged. One problem that biologists face is to assemble a supertree from many smaller trees that have overlapping leaf sets. Polytime algorithms have been proposed for this problem [3,5]. We present a simple constraint encoding of this problem. This is based on the observation that any rooted tree can be considered as being min-ultrametric when we label interior nodes with their depth in that tree. That is, any path from the root to a leaf corresponds to a strictly increasing sequence. Our encoding takes a radically different approach to solving these problems, and represents a new perspective.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bryant, D., Steel, M.: Extension Operations on Sets of Leaf-labeled Trees. Advances in Applied Mathematics 16, 425–453 (1995)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Gusfield, D.: Algorithms on Strings, Trees, and Sequences. Cambridge University Press, Cambridge (1997)MATHCrossRefGoogle Scholar
  3. 3.
    Ng, M.P., Wormald, N.C.: Reconstruction of rooted trees from subtrees. Discrete Applied Mathematics 69, 19–31 (1996)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Schröder, E.: Vier combinatorische probleme. Zeit. für Math. Phys. 15, 361–376 (1870)Google Scholar
  5. 5.
    Semple, C., Steel, M.: A supertree method for rooted trees. Discrete Applied Mathematics 105, 147–158 (2000)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Thorley, J.L.: Cladistic information, leaf stability and supertree construction. PhD Thesis, University of Bristol, Department of Biological Sciences (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Ian P. Gent
    • 1
  • Patrick Prosser
    • 2
  • Barbara M. Smith
    • 3
  • Wu Wei
    • 2
  1. 1.School of Computer ScienceUniversity of St. AndrewsScotland
  2. 2.Department of Computing ScienceUniversity of GlasgowScotland
  3. 3.School of Computing and EngineeringUniversity of HuddersfieldEngland

Personalised recommendations