<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of lirmm-00194239</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-22T13:44:12+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Maximum Agreement and Compatible Supertrees</title>
            <author role="crp">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>Berry</surname>
              </persName>
              <email type="md5">5ad82615aed5807d8ded1f6796d4fac2</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="string">vincent-berry</idno>
              <idno type="idhal" notation="numeric">4886</idno>
              <idno type="halauthorid" notation="string">17653-4886</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7271-4027</idno>
              <idno type="IDREF">https://www.idref.fr/135401925</idno>
              <affiliation ref="#struct-388224"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">François</forename>
                <surname>Nicolas</surname>
              </persName>
              <email type="md5">f09c159fa52d01a5a72abea9b5895643</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="numeric">938612</idno>
              <idno type="halauthorid" notation="string">416470-938612</idno>
              <affiliation ref="#struct-388224"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Vincent</forename>
                <surname>Berry</surname>
              </persName>
              <email type="md5">5ad82615aed5807d8ded1f6796d4fac2</email>
              <email type="domain">lirmm.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2007-12-06 10:14:13</date>
              <date type="whenModified">2025-08-13 03:11:49</date>
              <date type="whenReleased">2007-12-07 10:12:43</date>
              <date type="whenProduced">2007</date>
              <date type="whenEndEmbargoed">2007-12-06</date>
              <ref type="file" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-00194239v1/document">
                <date notBefore="2007-12-06"/>
              </ref>
              <ref type="file" n="1" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-00194239v1/file/smast2.pdf" id="file-194239-1061732">
                <date notBefore="2007-12-06"/>
              </ref>
              <ref type="externalLink" target="https://doi.org/10.1016/j.jda.2006.08.005"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="115344">
                <persName>
                  <forename>Vincent</forename>
                  <surname>Berry</surname>
                </persName>
                <email type="md5">5ad82615aed5807d8ded1f6796d4fac2</email>
                <email type="domain">lirmm.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">lirmm-00194239</idno>
            <idno type="halUri">https://hal-lirmm.ccsd.cnrs.fr/lirmm-00194239</idno>
            <idno type="halBibtex">berry:lirmm-00194239</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Discrete Algorithms&lt;/i&gt;, 2007, 5 (3), pp.564-591. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.jda.2006.08.005"&gt;&amp;#x27E8;10.1016/j.jda.2006.08.005&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Discrete Algorithms, 2007, 5 (3), pp.564-591. &amp;#x27E8;10.1016/j.jda.2006.08.005&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-194239-1061732"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="MAB" corresp="LIRMM">Méthodes et Algorithmes pour la Bioinformatique</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="MIPS">Mathématiques, Informatique, Physique et Systèmes</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Maximum Agreement and Compatible Supertrees</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>Berry</surname>
                  </persName>
                  <email type="md5">5ad82615aed5807d8ded1f6796d4fac2</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="string">vincent-berry</idno>
                  <idno type="idhal" notation="numeric">4886</idno>
                  <idno type="halauthorid" notation="string">17653-4886</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7271-4027</idno>
                  <idno type="IDREF">https://www.idref.fr/135401925</idno>
                  <affiliation ref="#struct-388224"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Nicolas</surname>
                  </persName>
                  <email type="md5">f09c159fa52d01a5a72abea9b5895643</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="numeric">938612</idno>
                  <idno type="halauthorid" notation="string">416470-938612</idno>
                  <affiliation ref="#struct-388224"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">15351</idno>
                <idno type="issn">1570-8667</idno>
                <title level="j">Journal of Discrete Algorithms</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">5</biblScope>
                  <biblScope unit="issue">3</biblScope>
                  <biblScope unit="pp">564-591</biblScope>
                  <date type="datePub">2007</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.jda.2006.08.005</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Algorithms</term>
                <term xml:lang="en">Trees</term>
                <term xml:lang="en">Isomorphism and refinement relations</term>
                <term xml:lang="en">Supertrees</term>
                <term xml:lang="en">Computational biology</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</classCode>
              <classCode scheme="halDomain" n="sdv.bibs">Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]</classCode>
              <classCode scheme="halDomain" n="info.info-bi">Computer Science [cs]/Bioinformatics [q-bio.QM]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Given a set of leaf-labelled trees with identical leaf sets, the MAST problem, respectively MCT problem, consists of finding a largest subset of leaves such that all input trees restricted to these leaves are isomorphic, respectively compatible. In this paper, we propose extensions of these problems to the context of supertree inference, where input trees have non-identical leaf sets. This situation is of particular interest in phylogenetics. The resulting problems are called SMAST and SMCT. A sufficient condition is given that identifies cases where these problems can be solved by resorting to MAST and MCT as subproblems. This condition is met, for instance, when only two input trees are considered. Then we give algorithms for SMAST and SMCT that benefit from the link with the subtree problems. These algorithms run in time linear to the time needed to solve MAST, respectively MCT, on an instance of the same or smaller size. It is shown that arbitrary instances of SMAST and SMCT can be turned in polynomial time into instances composed of trees with a bounded number of leaves. SMAST is shown to be W[2]-hard when the considered parameter is the number of input leaves that have to be removed to obtain the agreement of the input trees. A similar result holds for SMCT. Moreover, the corresponding optimization problems, that is the complements of SMAST and SMCT, cannot be approximated in polynomial time within any constant factor, unless P = NP. These results also hold when the input trees have a bounded number of leaves. The presented results apply to both collections of rooted and unrooted trees.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-388224" status="OLD">
          <orgName>Méthodes et Algorithmes pour la Bioinformatique</orgName>
          <orgName type="acronym">MAB</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>LIRMM, 161 rue Ada, 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr/equipes/MAB/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-181" type="direct"/>
            <relation name="UMR5506" active="#struct-410122" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-181" status="OLD">
          <idno type="IdRef">139590827</idno>
          <idno type="ISNI">0000000405990488</idno>
          <idno type="RNSR">199111950H</idno>
          <idno type="ROR">https://ror.org/013yean28</idno>
          <orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
          <orgName type="acronym">LIRMM</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>161 rue Ada - 34095 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5506" active="#struct-410122" type="direct"/>
            <relation name="UMR5506" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-410122" status="OLD">
          <idno type="ISNI">0000000120970141</idno>
          <idno type="ROR">https://ror.org/051escj72</idno>
          <orgName>Université de Montpellier</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.umontpellier.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>