# Characterizing compatibility and agreement of unrooted trees via cuts in graphs

- Sudheer Vakati
^{1}and - David Fernández-Baca
^{1}Email author

**9**:13

https://doi.org/10.1186/1748-7188-9-13

© Vakati and Fernández-Baca; licensee BioMed Central Ltd. 2014

**Received: **2 December 2013

**Accepted: **11 April 2014

**Published: **17 April 2014

## Abstract

### Background

Deciding whether there is a single tree —a supertree— that summarizes the evolutionary information in a collection of unrooted trees is a fundamental problem in phylogenetics. We consider two versions of this question: agreement and compatibility. In the first, the supertree is required to reflect precisely the relationships among the species exhibited by the input trees. In the second, the supertree can be more refined than the input trees.

Testing for compatibility is an NP-complete problem; however, the problem is solvable in polynomial time when the number of input trees is fixed. Testing for agreement is also NP-complete, but it is not known whether it is fixed-parameter tractable. Compatibility can be characterized in terms of the existence of a specific kind of triangulation in a structure known as the display graph. Alternatively, it can be characterized as a chordal graph sandwich problem in a structure known as the edge label intersection graph. No characterization of agreement was known.

### Results

We present a simple and natural characterization of compatibility in terms of minimal cuts in the display graph, which is closely related to compatibility of splits. We then derive a characterization for agreement.

### Conclusions

Explicit characterizations of tree compatibility and agreement are essential to finding practical algorithms for these problems. The simplicity of the characterizations presented here could help to achieve this goal.

## Keywords

## Background

A *phylogenetic tree* *T* is an unrooted tree whose leaves are bijectively mapped to a label set $\mathcal{\mathcal{L}}\left(T\right)$. Labels represent species and *T* represents the evolutionary history of these species. Let
be a collection of phylogenetic trees. We call
a *profile*, refer to the trees in
as *input trees*, and denote the combined label set of the input trees, $\bigcup _{T\in \mathcal{P}}\mathcal{\mathcal{L}}\left(T\right)$, by $\mathcal{\mathcal{L}}\left(\mathcal{P}\right)$. A *supertree* of
is a phylogenetic tree whose label set is $\mathcal{\mathcal{L}}\left(\mathcal{P}\right)$. The goal of constructing a supertree for a profile is to synthesize the information in the input trees in a larger, more comprehensive, phylogeny [1]. Ideally, a supertree should faithfully reflect the relationships among the species implied by the input trees. In reality, this is rarely achievable, because of conflicts among the input trees due to errors in constructing them or to biological processes such as lateral gene transfer and gene duplication.

We consider two classic versions of the supertree problem, based on the closely related notions of compatibility and agreement. Let *S* and *T* be two phylogenetic trees where $\mathcal{\mathcal{L}}\left(T\right)\subseteq \mathcal{\mathcal{L}}\left(S\right)$ —for our purposes, *T* would be an input tree and *S* a supertree. Let *S*^{′} be the tree obtained by suppressing any degree-two vertices in the minimal subtree of *S* connecting the labels in $\mathcal{\mathcal{L}}\left(T\right)$. We say that *S* *displays* *T*, or that *T* and *S* are *compatible*, if *T* can be derived from *S*^{′} by contracting edges. We say that tree *T* is an *induced subtree* of *S*, or that *T* and *S* *agree*, if *S*^{′} is isomorphic to *T*.

Let
be a profile. The *tree compatibility problem* asks if there exists a supertree for
that displays all the trees in
. If such a supertree *S* exists, we say that
is *compatible* and *S* is a *compatible supertree* for
. The *agreement supertree problem* asks if there exists a supertree for
that agrees with all the trees in
. If such a supertree *S* exists, we say that *S* is an *agreement supertree* (AST) for
.

Compatibility and agreement embody different philosophies about conflict. An agreement supertree must reflect precisely the evolutionary relationships exhibited by the input trees. In contrast, a compatible supertree is allowed to exhibit more fine-grained relationships among certain labels than those exhibited by an input tree. From a biological viewpoint, the differences between compatibility and agreement reflect different ways to treat *polytomies* —i.e., nodes of degree greater than three. Compatibility treats polytomies as *soft* facts: if an input tree node has degree four or more, it is not because there were multiple simultaneous speciation events, but because there is not enough information to resolve the sequence of speciation. Thus, if another input tree provides more refined information about speciation order, we can use it, provided the information is not contradicted by the remaining input trees. Agreement, in contrast, treats polytomies as *hard* facts. Note that compatibility and agreement are equivalent when the input trees are binary.

If all the input trees share a common label (which can be viewed as a root node), both tree compatibility and agreement are solvable in polynomial time [2, 3]. In general, however, the two problems are NP-complete, and remain so even when the trees are quartets; i.e., binary trees with exactly four leaves [4]. Nevertheless, Bryant and Lagergren showed that the tree compatibility problem is fixed-parameter tractable when parametrized by number of trees [5]. It is unknown whether or not the agreement supertree problem has the same property.

To prove the fixed-parameter tractability of tree compatibility, Bryant and Lagergren first showed that a necessary (but not sufficient) condition for a profile to be compatible is that the tree-width of a certain graph —the *display graph* of the profile (see Section ‘Display graphs and edge label intersection graphs’)— be bounded by the number of trees. They then showed how to express compatibility as a bounded-size monadic second-order formula on the display graph. By Courcelle’s Theorem [6, 7], these two facts imply that compatibility can be decided in time linear in the size of the display graph. Unfortunately, Bryant and Lagergren’s argument amounts essentially to only an existential proof, as it is not clear how to obtain an explicit algorithm for unrooted compatibility from it.

A necessary step towards finding a practical algorithm for compatibility —and indeed for agreement— is to develop an explicit characterization of the problem. In earlier work [8], we made some progress in this direction, characterizing tree compatibility in terms of the existence of a legal triangulation of the display graph of the profile. Gysel et al. [9] provided an alternative characterization, based on a structure they call the edge label intersection graph (ELIG) (see Section ‘Display graphs and edge label intersection graphs’). Their formulation is in some ways simpler than that of [8], allowing Gysel et al. to express tree compatibility as a chordal sandwich problem. Neither [8] nor [9] deal with agreement.

Here, we show that the connection between separators in the ELIG and cuts in the display graph (explored in Section ‘Display graphs and edge label intersection graphs’) leads to a new, and natural, characterization of compatibility in terms of minimal cuts in the display graph (Section ‘Characterizing compatibility via cuts’). We then show how such cuts are closely related to the splits of the compatible supertree (Section ‘Splits and cuts’). Next, we give a characterization of the agreement in terms of minimal cuts of the display graph (Section ‘Characterizing agreement via cuts’). To our knowledge, there was no previous characterization of the agreement supertree problem for unrooted trees. Lastly, we examine the connection between the triangulation-based and the cut-based perspectives on compatibility (Section ‘Relationship to legal triangulations’).

## Preliminaries

### Splits, compatibility, and agreement

A *split* of a label set *L* is a bipartition of *L* consisting of non-empty sets. We denote a split {*X*,*Y*} by *X*|*Y*. A split is *non-trivial* if neither of its sets is a singleton; otherwise, it is *trivial*. Let *T* be a phylogenetic tree. Let *e* be an edge of *T*. Deletion of *e* disconnects *T* into two subtrees *T*_{1} and *T*_{2}. If *L*_{1} and *L*_{2} denote the set of all labels in *T*_{1} and *T*_{2}, respectively, then *L*_{1}|*L*_{2} is a split of $\mathcal{\mathcal{L}}\left(T\right)$. We denote by *σ*_{
e
}(*T*) the split corresponding to edge *e* of *T*; if *e* is a leaf edge, then *σ*_{
e
}(*T*) is a trivial split. Let Σ(*T*) denote the set of all splits corresponding to internal edges of *T* and Σ_{
t
r
i
v
}(*T*) denote the set of all (trivial) splits corresponding to leaf edges of *T*.

A tree *T* *displays* a split *X*|*Y* if there exists an internal edge *e* of *T* where *σ*_{
e
}(*T*)=*X*|*Y*. A set of splits of a label set *L* is *compatible* if there exists a tree that displays all the splits in the set. It is well-known that two splits *A*_{1}|*A*_{2} and *B*_{1}|*B*_{2} are compatible if and only if at least one of *A*_{1}∩*B*_{1}, *A*_{1}∩*B*_{2}, *A*_{2}∩*B*_{1} and *A*_{2}∩*B*_{2} is empty [10]. Note that a trivial split of *L* is compatible with every split of *L*.

**Theorem** **1** (Splits-Equivalence Theorem [10, 11]).

Let Σ be a collection of splits of a label set *X* that includes all trivial splits. Then, Σ=Σ(*T*)∪Σ_{
t
r
i
v
}(*T*) for some phylogenetic tree *T* with label set *X* if and only if the splits in Σ are pairwise compatible. Tree *T* is unique up to isomorphism.

Let *S* be a phylogenetic tree and let *Y* be a subset of $\mathcal{\mathcal{L}}\left(S\right)$. Then, *S*_{|Y} denotes the tree obtained by suppressing any degree-two vertices in the minimal subtree of *S* connecting the labels in *Y*. Now, let *T* be a phylogenetic tree such that $\mathcal{\mathcal{L}}\left(T\right)\subseteq \mathcal{\mathcal{L}}\left(S\right)$. Then, *S* *displays* *T* if and only if $\mathrm{\Sigma}\left(T\right)\subseteq \mathrm{\Sigma}\left({S}_{\left|\mathcal{\mathcal{L}}\right(T)}\right)$; *T* and *S* *agree* if and only if $\mathrm{\Sigma}\left(T\right)=\mathrm{\Sigma}\left({S}_{\left|\mathcal{\mathcal{L}}\right(T)}\right)$.

### Cliques, separators, cuts, and triangulations

Let *G* be a graph. We represent the vertices and edges of *G* by *V*(*G*) and *E*(*G*) respectively. A *clique* of *G* is a complete subgraph of *G*. A clique *H* of *G* is *maximal* if there is no other clique *H*^{′} of *G* where *V*(*H*)⊂*V*(*H*^{′}). For any *U*⊆*V*(*G*), *G*−*U* is the graph derived by removing vertices of *U* and their incident edges from *G*. For any *F*⊆*E*(*G*), *G*−*F* is the graph with vertex set *V*(*G*) and edge set *E*(*G*) ∖ *F*.

For any two nonadjacent vertices *a* and *b* of *G*, an *a*-*b* *separator* of *G* is a set *U* of vertices where *U*⊂*V*(*G*) and *a* and *b* are in different connected components of *G*−*U*. An *a*-*b* separator *U* is *minimal* if for every *U*^{′}⊂*U*, *U*^{′} is not an *a*-*b* separator. A set *U*⊆*V*(*G*) is a *minimal separator* if *U* is a minimal *a*-*b* separator for some nonadjacent vertices *a* and *b* of *G*. We represent the set of all minimal separators of graph *G* by △_{
G
}. Two minimal separators *U* and *U*^{′} are *parallel* if *G*−*U* contains at most one component *H* where *V*(*H*)∩*U*^{′}≠∅.

A connected component *H* of *G*−*U* is *full* if for every *u*∈*U* there exists some vertex *v*∈*H* where {*u*,*v*}∈*E*(*G*).

**Lemma** **1** ([12]).

For a graph *G* and any *U*⊂*V*(*G*), *U* is a minimal separator of *G* if and only if *G*−*U* has at least two full components.

A *chord* is an edge between two nonadjacent vertices of a cycle. A graph *H* is *chordal* if and only if every cycle of length four or greater in *H* has a chord. A chordal graph *H* is a *triangulation* of graph *G* if *V*(*G*)=*V*(*H*) and *E*(*G*)⊆*E*(*H*). The edges in *E*(*H*) ∖ *E*(*G*) are called *fill-in* edges of *G*. A triangulation is *minimal* if removing any fill-in edge yields a non-chordal graph.

A *clique tree* of a chordal graph *H* is a pair (*T*,*B*) where (i) *T* is a tree, (ii) *B* is a bijective function from vertices of *T* to maximal cliques of *H*, and (iii) for every vertex *v*∈*H*, the set of all vertices *x* of *T* where *v*∈*B*(*x*) induces a subtree in *T*. Property (iii) is called *coherence*.

Let
be a collection of subsets of *V*(*G*). We represent by ${G}_{\mathcal{F}}$ the graph derived from *G* by making the set of vertices of *X* a clique for every $X\in \mathcal{F}$. The next result summarizes basic facts about separators and triangulations (see [12–14]).

**Theorem** **2**.

*G*and

*H*be a minimal triangulation of

*G*. Then, the following statements hold.

- 1.
${G}_{\mathcal{F}}$ is a minimal triangulation of

*G*. - 2.
Let (

*T*,*B*) be a clique tree of ${G}_{\mathcal{F}}$. There exists a minimal separator $F\in \mathcal{F}$ if and only if there exist two adjacent vertices*x*and*y*in*T*where*B*(*x*)∩*B*(*y*)=*F*. - 3.
△

_{ H }is a maximal set of pairwise parallel minimal separators of*G*and ${G}_{{\u25b3}_{H}}=H$.

A *cut* in a connected graph *G* is a subset *F* of edges of *G* such that *G*−*F* is disconnected. A cut *F* is *minimal* if there does not exist *F*^{′}⊂*F* where *G*−*F*^{′} is disconnected. Note that if *F* is minimal, *G*−*F* has exactly be two connected components. Two minimal cuts *F* and *F*^{′} are *parallel* if *G*−*F* has at most one connected component *H* where *E*(*H*)∩*F*^{′}≠∅.

## Display graphs and edge label intersection graphs

We now introduce the two main notions that we use to characterize compatibility and agreement: the display graph and the edge label intersection graph. We then present some known results about these graphs, along with new results on the relationships between them. Here and in the rest of the paper, [*m*] denotes the set {1,…,*m*}, where *m* is a positive integer. Since for any phylogenetic tree *T* there is a bijection between the leaves of *T* and $\mathcal{\mathcal{L}}\left(T\right)$, we refer to the leaves of *T* by their labels.

*i*,

*j*∈[

*k*] such that

*i*≠

*j*, the sets of internal vertices of input trees

*T*

_{ i }and

*T*

_{ j }are disjoint. The

*display graph*of , denoted by $G\left(\mathcal{P}\right)$, is a graph whose vertex set is $\bigcup _{i\in \left[k\right]}V\left({T}_{i}\right)$ and edge set is $\bigcup _{j\in \left[k\right]}E\left({T}_{j}\right)$ (see Figure 1). A vertex

*v*of $G\left(\mathcal{P}\right)$ is a

*leaf*if $v\in \mathcal{\mathcal{L}}\left(\mathcal{P}\right)$. Every other vertex of $G\left(\mathcal{P}\right)$ is an

*internal*. An edge of $G\left(\mathcal{P}\right)$ is

*internal*if its endpoints are both internal.

*G*

^{′}of $G\left(\mathcal{P}\right)$ is

*legal*if it satisfies the following conditions.

- 1.
For every clique

*C*of*G*^{′}, if*C*contains an internal edge, then it contains no other edge of $G\left(\mathcal{P}\right)$. - 2.
No fill-in edge in

*G*^{′}has a leaf as an endpoint.

**Theorem** **3** (Vakati, Fernández-Baca [8]).

A profile of unrooted phylogenetic trees is compatible if and only if $G\left(\mathcal{P}\right)$ has a legal triangulation.

In what follows, we assume that $G\left(\mathcal{P}\right)$ is connected. If it is not, the connected components of $G\left(\mathcal{P}\right)$ induce a partition of into sub-profiles such that for each sub-profile ${\mathcal{P}}^{\prime}$, $G\left({\mathcal{P}}^{\prime}\right)$ is a connected component of $G\left(\mathcal{P}\right)$. It is easy to see that is compatible if and only if each sub-profile is compatible.

The *edge label intersection graph of*
, denoted $\text{LG}\left(\mathcal{P}\right)$, is the line graph of $G\left(\mathcal{P}\right)$[9]. That is, the vertex set of LG(*G*) is $E\left(G\right(\mathcal{P}\left)\right)$ and two vertices of $\text{LG}\left(\mathcal{P}\right)$ are adjacent if the corresponding edges in $G\left(\mathcal{P}\right)$ share an endpoint. (We should note that Gysel et al. [9] refer to $\text{LG}\left(\mathcal{P}\right)$ as the modified edge label intersection graph.) For an unrooted tree *T*, LG(*T*) denotes LG({*T*}).

**Observation** **1**.

Let *F* be a set of edges of $G\left(\mathcal{P}\right)$ and let $\{{v}_{1},{v}_{2},\dots ,{v}_{m}\}\subseteq V\left(G\right(\mathcal{P}\left)\right)$ where *m*≥2. Then, *v*_{1},*v*_{2},…,*v*_{
m
} is a path in $G\left(\mathcal{P}\right)-F$ if and only if {*v*_{1},*v*_{2}},…,{*v*_{m−1},*v*_{
m
}} is a path in in $\text{LG}\left(\mathcal{P}\right)-F$.

Thus, if $G\left(\mathcal{P}\right)$ is connected, so is $\text{LG}\left(\mathcal{P}\right)$. Hence, in what follows, we assume that $\text{LG}\left(\mathcal{P}\right)$ is connected.

A fill-in edge for $\text{LG}\left(\mathcal{P}\right)$ is *valid* if for every $T\in \mathcal{P}$, at least one of the endpoints of the edge is not in LG(*T*). A triangulation *H* of $\text{LG}\left(\mathcal{P}\right)$ is *restricted* if every fill-in edge of *H* is valid.

**Theorem** **4** (Gysel et al. [9]).

A profile of unrooted phylogenetic trees is compatible if and only if $\text{LG}\left(\mathcal{P}\right)$ has a restricted triangulation.

A minimal separator *F* of $\text{LG}\left(\mathcal{P}\right)$ is *legal* if for every $T\in \mathcal{P}$, all the edges of *T* in *F* share a common endpoint; i.e., *F*∩*E*(*T*) is a clique in LG(*T*). The following theorem was mentioned in [9]. For future reference, we formally state it and prove it here.

**Theorem** **5**.

A profile is compatible if and only if there exists a maximal set of pairwise parallel minimal separators in $\text{LG}\left(\mathcal{P}\right)$ where every separator in is legal.

*Proof*.

Our approach is similar to the one used by Gusfield in [15]. Assume that
is compatible. From Theorem 4, there exists a restricted triangulation *H* of $\text{LG}\left(\mathcal{P}\right)$. We can assume that *H* is minimal (if it is not, simply delete fill-in edges repeatedly from *H* until it is minimal). Let $\mathcal{F}={\u25b3}_{H}$. From Theorem 2,
is a maximal set of pairwise parallel minimal separators of $\text{LG}\left(\mathcal{P}\right)$ and $\text{LG}{\left(\mathcal{P}\right)}_{\mathcal{F}}=H$. Suppose
contains a separator *F* that is not legal. Let {*e*,*e*^{′}}⊆*F* where {*e*,*e*^{′}}⊆*E*(*T*) for some input tree *T* and *e*∩*e*^{′}=∅. The vertices of *F* form a clique in *H*. Thus, *H* contains the edge {*e*,*e*^{′}}. Since {*e*,*e*^{′}} is not a valid edge, *H* is not a restricted triangulation, a contradiction. Hence, every separator in
is legal.

Let
be a maximal set of pairwise parallel minimal separators of $\text{LG}\left(\mathcal{P}\right)$ where every separator in
is legal. From Theorem 2, $\text{LG}{\left(\mathcal{P}\right)}_{\mathcal{F}}$ is a minimal triangulation of $\text{LG}\left(\mathcal{F}\right)$. If $\{e,{e}^{\prime}\}\in E\left(\text{LG}{\left(\mathcal{P}\right)}_{\mathcal{F}}\right)$ is a fill-in edge, then *e*∩*e*^{′}=∅ and there exists a minimal separator $F\in \mathcal{F}$ where {*e*,*e*^{′}}⊆*F*. Since *F* is legal, if {*e*,*e*^{′}}⊆*E*(*T*) for some input tree *T* then *e*∩*e*^{′}≠∅. Thus, *e* and *e*^{′} are not both from LG(*T*) for any input tree *T*. Hence, every fill-in edge in $\text{LG}{\left(\mathcal{P}\right)}_{\mathcal{F}}$ is valid, and $\text{LG}{\left(\mathcal{P}\right)}_{\mathcal{F}}$ is a restricted triangulation.

Let *u* of be a vertex of some input tree, We write Inc(*u*) to denote the set of all edges of $G\left(\mathcal{P}\right)$ incident on *u*. Equivalently, Inc(*u*) is the set of all vertices *e* of $\text{LG}\left(\mathcal{P}\right)$ such that *u*∈*e*.

Let *F* be a cut of the display graph $G\left(\mathcal{P}\right)$. *F* is *legal* if for every tree $T\in \mathcal{P}$, the edges of *T* in *F* are incident on a common vertex; i.e., if *F*∩*E*(*T*)⊆Inc(*u*) for some *u*∈*V*(*T*). *F* is *nice* if *F* is legal and each connected component of $G\left(\mathcal{P}\right)-F$ has at least one edge.

**Lemma** **2**.

Let *F* be a subset of $E\left(G\right(\mathcal{P}\left)\right)$. Then, *F* is a legal minimal separator of $\text{LG}\left(\mathcal{P}\right)$ if and only if *F* is a nice minimal cut of $G\left(\mathcal{P}\right)$.

To prove the Lemma 2, we need two auxiliary lemmas and a corollary.

**Lemma** **3**.

Let *F* be any minimal separator of $\text{LG}\left(\mathcal{P}\right)$ and *u* be any vertex of any input tree. Then, Inc(*u*)⫅̸*F*.

*Proof*.

Suppose *F* is a minimal *a*-*b* separator of $\text{LG}\left(\mathcal{P}\right)$ and *u* is a vertex of some input tree such that Inc(*u*)⊆*F*. Consider any vertex *e*∈Inc(*u*). Then, there exists a path *π* from *a* to *b* in $\text{LG}\left(\mathcal{P}\right)$ where *e* is the only vertex of *F* in *π*. If such a path *π* did not exist, then *F*−*e* would still be an *a*-*b* separator, and *F* would not be minimal, a contradiction. Let *e*_{1} and *e*_{2} be the neighbors of *e* in *π* and let *e*={*u*,*v*}. Since Inc(*u*)⊆*F*, *π* does not contain any other vertex *e*^{′} where *u*∈*e*^{′}. Thus, *e*∩*e*_{1}={*v*} and *e*∩*e*_{2}={*v*}. Let *π*=*a*,…,*e*_{1},*e*,*e*_{2},…,*b*. Then *π*^{′}=*a*,…,*e*_{1},*e*_{2},…,*b* is also a path from *a* to *b*. But *π*^{′} does not contain any vertex of *F*, contradicting the assumption that *F* is a separator of $\text{LG}\left(\mathcal{P}\right)$. Hence, neither such a minimal separator *F* nor such a vertex *u* exist.

**Lemma** **4**.

If *F* is a minimal separator of $\text{LG}\left(\mathcal{P}\right)$, then $\text{LG}\left(\mathcal{P}\right)-F$ has exactly two connected components.

*Proof*.

Assume that $\text{LG}\left(\mathcal{P}\right)-F$ has more than two connected components. By Lemma 1, $\text{LG}\left(\mathcal{P}\right)-F$ has at least two full components. Let *H*_{1} and *H*_{2} be two full components of $\text{LG}\left(\mathcal{P}\right)-F$. Let *H*_{3} be a connected component of $\text{LG}\left(\mathcal{P}\right)-F$ different from *H*_{1} and *H*_{2}. By assumption $\text{LG}\left(\mathcal{P}\right)$ is connected. Thus, there exists an edge {*e*,*e*_{3}} in $\text{LG}\left(\mathcal{P}\right)$ where *e*∈*F* and *e*_{3}∈*H*_{3}. Since *H*_{1} and *H*_{2} are full components, there exist edges {*e*,*e*_{1}} and {*e*,*e*_{2}} in $\text{LG}\left(\mathcal{P}\right)$ where *e*_{1}∈*V*(*H*_{1}) and *e*_{2}∈*V*(*H*_{2}).

Let *e*={*u*,*v*}, and assume without loss of generality that *u*∈*e*∩*e*_{3}. Then, there is no vertex *f*∈*V*(*H*_{1}) where *u*∈*e*∩*f*. Thus, *v*∈*e*∩*e*_{1}. Similarly, there is no vertex *f*∈*V*(*H*_{2}) such that *u*∈*f*∩*e* or *v*∈*f*∩*e*. But then *H*_{2} does not contain a vertex adjacent to *e*, so *H*_{2} is not a full component, a contradiction.

**Corollary** **1**.

If *F* is a minimal separator of $\text{LG}\left(\mathcal{P}\right)$, then $\text{LG}\left(\mathcal{P}\right)-{F}^{\prime}$ is connected for any *F*^{′}⊂*F*.

*Proof of Lemma 2*.

We prove that if *F* is a legal minimal separator of $\text{LG}\left(\mathcal{P}\right)$ then *F* is a nice minimal cut of $G\left(\mathcal{P}\right)$. The proof for the other direction is similar and is omitted.

First, we show that *F* is a cut of $G\left(\mathcal{P}\right)$. Assume the contrary. Let {*u*,*v*} and {*p*,*q*} be vertices in different components of $\text{LG}\left(\mathcal{P}\right)-F$. Since $G\left(\mathcal{P}\right)-F$ is connected, there is a path between vertices *u* and *q* in this graph. Also, {*u*,*v*}∉*F* and {*p*,*q*}∉*F*. Thus, by Observation 1 there is also a path between vertices {*u*,*v*} and {*p*,*q*} of $\text{LG}\left(\mathcal{P}\right)-F$. This implies that {*u*,*v*} and {*p*,*q*} are in the same connected component of $\text{LG}\left(\mathcal{P}\right)-F$, a contradiction. Thus *F* is a cut.

Next we show that *F* is a nice cut of $G\left(\mathcal{P}\right)$. For every $T\in \mathcal{P}$ all the vertices of LG(*T*) in *F* form a clique in LG(*T*). Thus, all the edges of *T* in *F* are incident on a common vertex, so *F* is legal. To complete the proof, assume that $G\left(\mathcal{P}\right)-F$ has a connected component with no edge and let *u* be the vertex in one such component. Then, Inc(*u*)⊆*F*. But *F* is a minimal separator of $\text{LG}\left(\mathcal{P}\right)$, and by Lemma 3, Inc(*u*) ⊈ *F*, a contradiction. Thus, *F* is a nice cut.

Lastly, we show that *F* is a minimal cut of $G\left(\mathcal{P}\right)$. Assume, on the contrary, that there exists *F*^{′}⊂*F* where $G\left(\mathcal{P}\right)-{F}^{\prime}$ is disconnected. Since *F*^{′}⊂*F* and every connected component of $G\left(\mathcal{P}\right)-F$ has at least one edge, every connected component of $G\left(\mathcal{P}\right)-{F}^{\prime}$ also has at least one edge. Let {*u*,*v*} and {*p*,*q*} be the edges in different components of $G\left(\mathcal{P}\right)-{F}^{\prime}$. By Corollary 1, $\text{LG}\left(\mathcal{P}\right)-{F}^{\prime}$ is connected and thus, there is a path between {*u*,*v*} and {*p*,*q*} in $\text{LG}\left(\mathcal{P}\right)-{F}^{\prime}$. By Observation 1 there must also be a path between vertices *u* and *p* in $G\left(\mathcal{P}\right)-{F}^{\prime}$. Hence, edges {*u*,*v*} and {*p*,*q*} are in the same connected component of *G*−*F*^{′}, a contradiction. Thus, *F* is a minimal cut.

**Lemma** **5**.

Two legal minimal separators *F* and *F*^{′} of $\text{LG}\left(\mathcal{P}\right)$ are parallel if and only if the nice minimal cuts *F* and *F*^{′} are parallel in $G\left(\mathcal{P}\right)$.

*Proof*.

Assume that separators *F* and *F*^{′} of $\text{LG}\left(\mathcal{P}\right)$ are parallel, but cuts *F* and *F*^{′} of $G\left(\mathcal{P}\right)$ are not. Then, there exists a set {{*u*,*v*},{*p*,*q*}}⊆*F*^{′} where {*u*,*v*} and {*p*,*q*} are in different components of $G\left(\mathcal{P}\right)-F$. Since *F* and *F*^{′} are parallel separators in $\text{LG}\left(\mathcal{P}\right)$, and *F* does not contain {*u*,*v*} and {*p*,*q*}, there exists a path between vertices {*u*,*v*} and {*p*,*q*} in $\text{LG}\left(\mathcal{P}\right)-F$. Then, by Observation 1 there also exists a path between vertices *u* and *q* in $G\left(\mathcal{P}\right)-F$. Thus, {*u*,*v*} and {*p*,*q*} are in the same connected component of $G\left(\mathcal{P}\right)-F$, a contradiction.

The other direction can be proved similarly, using Observation 1.

The next lemma, from [9], follows from the definition of restricted triangulation.

### Lemma 6

Let *H* be a restricted triangulation of $\text{LG}\left(\mathcal{P}\right)$ and let (*T*,*B*) be a clique tree of *H*. Let *e*={*u*,*v*} be any vertex in $\text{LG}\left(\mathcal{P}\right)$. Then, there does not exist a node *x*∈*V*(*T*) where *B*(*x*) contains vertices from both Inc(*u*) ∖ *e* and Inc(*v*) ∖ *e*.

**Lemma** **7**.

Let *T* be a tree in
and suppose *F* is a minimal cut of $G\left(\mathcal{P}\right)$ that contains precisely one edge *e* of *T*. Then, the edges of the two subtrees of *T*−*e* are in different connected components of $G\left(\mathcal{P}\right)-F$.

*Proof*.

Let *e*={*u*,*v*}. For each *x*∈*e*, let *T*_{
x
} denote the subtree containing vertex *x* in *T*−*e*. For each vertex *x*∈*e*, all the edges of *T*_{
x
} are in the same connected component of $G\left(\mathcal{P}\right)-F$ as *x*, because *e* is the only edge of *T* in *F*. Since *F* is a minimal cut of $G\left(\mathcal{P}\right)$, the endpoints of *e* are in different connected components of $G\left(\mathcal{P}\right)-F$. Hence, the edges of *T*_{
u
} and *T*_{
v
} are also in different connected components of $G\left(\mathcal{P}\right)-F$.

## Characterizing compatibility via cuts

A set
of cuts of $G\left(\mathcal{P}\right)$ is *complete* if, for every input tree $T\in \mathcal{P}$ and every internal edge *e* of *T*, there is a cut $F\in \mathcal{F}$ where *e* is the only edge of *T* in *F*.

**Lemma** **8**.

$G\left(\mathcal{P}\right)$ has a complete set of pairwise parallel nice minimal cuts if and only if it has a complete set of pairwise parallel legal minimal cuts.

*Proof*.

The “only if part” follows from the definition of a nice cut. Let
be a complete set of pairwise parallel legal minimal cuts. Consider any minimal subset ${\mathcal{F}}^{\prime}$ of
that is also complete. Let *F* be a legal minimal cut of ${\mathcal{F}}^{\prime}$. Since ${\mathcal{F}}^{\prime}$ is minimal, there exists an edge *e*∈*F* of some input tree *T* such that *e* is the only edge of *T* in *F*. Also, since *e* is an internal edge, both subtrees of *T*−*e* have at least one edge each. Thus by Lemma 7, both connected components of $G\left(\mathcal{P}\right)-F$ have at least one edge each. Hence, *F* is a nice minimal cut of $G\left(\mathcal{P}\right)$. It follows that ${\mathcal{F}}^{\prime}$ is a complete set of pairwise parallel nice minimal cuts of $G\left(\mathcal{P}\right)$.

We now characterize the compatibility of a profile in terms of minimal cuts in the display graph of the profile.

**Theorem** **6**.

A profile of unrooted phylogenetic trees is compatible if and only if there exists a complete set of pairwise parallel legal minimal cuts for $G\left(\mathcal{P}\right)$.

**Example** **1**.

For the display graph of Figure 1, let $\mathcal{F}=\{{F}_{1},{F}_{2},{F}_{3},{F}_{4}\}$, where *F*_{1}={{1,2},{5,6}}, *F*_{2}={{2,3},{6,7},{5,6}}, *F*_{3}={{4,5},{1,2},{1,*c*}} and *F*_{4}={{6,7},{2,*f*}}. Then,
is a complete set of pairwise parallel nice minimal cuts.

Theorem 6 has an analog in terms of $\text{LG}\left(\mathcal{P}\right)$. Let us say that a set
of legal minimal separators of $\text{LG}\left(\mathcal{P}\right)$ is *complete* if for every internal edge *e* of an input tree *T*, there exists a separator $F\in \mathcal{F}$ where *e* is the only vertex of LG(*T*) in *F*.

**Theorem** **7**.

A profile of unrooted phylogenetic trees is compatible if and only if there exists a complete set of pairwise parallel legal minimal separators for $\text{LG}\left(\mathcal{P}\right)$.

This result is a direct consequence of Theorem 6 and Lemmas 2, 5, and 8, so we omit its proof. Instead, we focus on the proof of Theorem 6, for which we need the next fact.

**Lemma** **9**.

*Proof*.

*(i) ⇒ (ii):* We show that for every internal edge *e*={*u*,*v*} of an input tree *T* there exists a minimal separator in
that contains only vertex *e* from LG(*T*). Then it follows from Lemmas 2 and 5 that
is a complete set of pairwise parallel nice minimal cuts for $G\left(\mathcal{P}\right)$.

As shown in the proof of Theorem 5, $\text{LG}{\left(\mathcal{P}\right)}_{\mathcal{F}}$ is a restricted minimal triangulation of $\text{LG}\left(\mathcal{P}\right)$. Let (*S*,*B*) be a clique tree of $\text{LG}{\left(\mathcal{P}\right)}_{\mathcal{F}}$. By definition, the vertices in each of the sets Inc(*u*) and Inc(*v*) form a clique in $\text{LG}\left(\mathcal{P}\right)$. Consider any vertex *p* of *S* where Inc(*u*)⊆*B*(*p*) and any vertex *q* of *S* where Inc(*v*)⊆*B*(*q*). (Since (*S*,*B*) is a clique tree of $\text{LG}{\left(\mathcal{P}\right)}_{\mathcal{F}}$, such vertices *p* and *q* must exist.) Also, by Lemma 6, *p*≠*q*, *B*(*p*)∩(Inc(*v*) ∖ {*e*})=∅ and *B*(*q*)∩(Inc(*u*) ∖ {*e*})=∅.

Let *π*=*p*,*x*_{1},*x*_{2},…,*x*_{
m
},*q* be the path from *p* to *q* in *S* where *m*≥0. Let *x*_{0}=*p* and *x*_{m+1}=*q*. Let *x*_{
i
} be the vertex nearest to *p* in path *π* where *i*∈[*m*+1] and *B*(*x*_{
i
})∩(Inc(*u*) ∖ {*e*})=∅. Let *F*=*B*(*x*_{i−1})∩*B*(*x*_{
i
}). Then by Theorem 2, $F\in \mathcal{F}$. Since Inc(*u*)∩Inc(*v*)={*e*}, by the coherence property, *e*∈*B*(*x*_{
j
}) for every *j*∈[*m*]. Thus, *e*∈*F*. By Lemma 6, *B*(*x*_{i−1})∩(Inc(*v*) ∖ {*e*})=∅. Since *B*(*x*_{
i
})∩(Inc(*u*) ∖ {*e*})=∅, *F*∩Inc(*u*)={*e*} and *F*∩Inc(*v*)={*e*}. Thus, for every vertex *e*^{′}∈LG(*T*) where *e*≠*e*^{′} and *e*∩*e*^{′}≠∅, *e*^{′}∉*F*. Also, since every separator in
is legal, we have *f*∉*F* for every vertex *f*∈LG(*T*) where *f*∩*e*=∅. Thus, *e* is the only vertex of LG(*T*) in *F*.

*(i) ⇐ (ii):* Consider any complete set of pairwise parallel nice minimal cuts ${\mathcal{F}}^{\prime}$ of $G\left(\mathcal{P}\right)$. By Lemmas 2 and 5, ${\mathcal{F}}^{\prime}$ is a set of pairwise parallel legal minimal separators of $\text{LG}\left(\mathcal{P}\right)$. There exists a maximal set
of pairwise parallel minimal separators where ${\mathcal{F}}^{\prime}\subseteq \mathcal{F}$.

Assume that $\mathcal{F}\phantom{\rule{0.3em}{0ex}}\setminus \phantom{\rule{0.3em}{0ex}}{\mathcal{F}}^{\prime}$ contains a minimal separator *F* that is not legal. Then, there must exist a tree $T\in \mathcal{P}$ where at least two nonincident edges *e*_{1}={*x*,*y*} and *e*_{2}={*x*^{′},*y*^{′}} of *T* are in *F*. Consider any internal edge *e*_{3} in *T* where *e*_{1} and *e*_{2} are in different components of *T*−*e*_{3}. Such an edge exists because *e*_{1} and *e*_{2} are nonincident. Since ${\mathcal{F}}^{\prime}$ is complete, there exists a cut ${F}^{\prime}\in {\mathcal{F}}^{\prime}$ where *e*_{3} is the only edge of *T* in *F*^{′}. Since *F* and *F*^{′} are in
, they are parallel to each other and vertices *e*_{1} and *e*_{2} are in the same connected component of $\text{LG}\left(\mathcal{P}\right)-{F}^{\prime}$. Thus, by Observation 1, there exists a path between vertices *x* and *x*^{′} in $G\left(\mathcal{P}\right)-{F}^{\prime}$ and edges *e*_{1} and *e*_{2} are also in the same connected component of $G\left(\mathcal{P}\right)-{F}^{\prime}$. But by Lemma 7 that is impossible.

Thus, every separator of $\mathcal{F}\phantom{\rule{0.3em}{0ex}}\setminus \phantom{\rule{0.3em}{0ex}}{\mathcal{F}}^{\prime}$ is legal and is a maximal set of pairwise minimal separators of $\text{LG}\left(\mathcal{P}\right)$ where every separator in is legal.

*Proof of Theorem 6*.

By Theorem 5 and Lemma 9, profile is compatible if and only if there exists a complete set of pairwise parallel nice minimal cuts for $G\left(\mathcal{P}\right)$. The rest follows from Lemma 8.

## Splits and cuts

We first argue that for every nice minimal cut of $G\left(\mathcal{P}\right)$ we can derive a split of $\mathcal{\mathcal{L}}\left(\mathcal{P}\right)$. We use the following notation: if *H* is a subgraph of $G\left(\mathcal{P}\right)$, then $\mathcal{\mathcal{L}}\left(H\right)$ represents the set of all leaves of *H*

**Lemma** **10**.

Let *F* be a nice minimal cut of $G\left(\mathcal{P}\right)$ and let *G*_{1} and *G*_{2} be the two connected components of $G\left(\mathcal{P}\right)-F$. Then, *L*(*G*_{
i
})≠∅ for *i*∈{1,2}. In particular, $\mathcal{\mathcal{L}}\left({G}_{1}\right)\left|\mathcal{\mathcal{L}}\right({G}_{2})$ is a split of $\mathcal{\mathcal{L}}\left(\mathcal{P}\right)$.

*Proof*.

Consider *G*_{
i
} for each *i*∈{1,2}. We show that $\mathcal{\mathcal{L}}\left({G}_{i}\right)$ is non-empty. Since *F* is nice, *G*_{
i
} contains at least one edge *e* of $G\left(\mathcal{P}\right)$. If *e* is a non-internal edge, then $\mathcal{\mathcal{L}}\left({G}_{i}\right)$ is non-empty. Assume that *e*={*u*,*v*} is an internal edge of some input tree *T*. If *F* does not contain an edge of *T*, then $\mathcal{\mathcal{L}}\left(T\right)\subseteq \mathcal{\mathcal{L}}\left({G}_{i}\right)$ and thus $\mathcal{\mathcal{L}}\left({G}_{i}\right)$ is non-empty. Assume that *F* contains one or more edges of *T*. Let *T*_{
u
}, *T*_{
v
} be the two subtrees of *T*−*e*. Since *F* is a nice minimal cut, *F* contains edges from either *T*_{
u
} or *T*_{
v
} but not both. Without loss of generality assume that *F* does not contain edges from *T*_{
u
}. Then, every edge of *T*_{
u
} is in the same component as *e*. Since *T*_{
u
} contains at least one leaf, $\mathcal{\mathcal{L}}\left({G}_{i}\right)$ is non-empty. Thus, $\mathcal{\mathcal{L}}\left({G}_{1}\right)\left|\mathcal{\mathcal{L}}\right({G}_{2})$ is a split of $\mathcal{\mathcal{L}}\left(\mathcal{P}\right)$.

Let *σ*(*F*) denote the split of $\mathcal{\mathcal{L}}\left(\mathcal{P}\right)$ induced by a nice minimal cut *F*. If
is a set of nice minimal cuts of $G\left(\mathcal{P}\right)$, $\mathrm{\Sigma}\left(\mathcal{F}\right)$ denotes the set of all the non-trivial splits in $\bigcup _{F\in \mathcal{F}}\sigma \left(F\right)$. The following result expresses the relationship between complete sets of nice minimal cuts and the compatibility of splits.

**Theorem** **8**.

If $G\left(\mathcal{P}\right)$ has a complete set of pairwise parallel nice minimal cuts , then $\mathrm{\Sigma}\left(\mathcal{F}\right)$ is compatible and any compatible tree for $\mathrm{\Sigma}\left(\mathcal{F}\right)$ is also a compatible tree for .

**Example** **2**.

For the complete set of pairwise parallel nice minimal cuts $\mathcal{F}=\{{F}_{1},{F}_{2},{F}_{3},{F}_{4}\}$ for the display graph of Example 1, we have *σ*(*F*_{1})=*a* *b* *c*|*d* *e* *f* *g*, *σ*(*F*_{2})=*a* *b* *c* *f* *g*|*d* *e*, *σ*(*F*_{3})=*a* *b*|*c* *d* *e* *f* *g*, and *σ*(*F*_{4})=*a* *b* *c* *d* *e*|*f* *g*. Note that these splits are pairwise compatible.

The proof of Theorem 8 uses the following lemma.

**Lemma** **11**.

Let *F*_{1} and *F*_{2} be two parallel nice minimal cuts of $G\left(\mathcal{P}\right)$. Then, *σ*(*F*_{1}) and *σ*(*F*_{2}) are compatible.

*Proof*.

Let *σ*(*F*_{1})=*U*_{1}|*U*_{2} and *σ*(*F*_{2})=*V*_{1}|*V*_{2}. Assume that *σ*(*F*_{1}) and *σ*(*F*_{2}) are incompatible. Thus, *U*_{
i
}∩*V*_{
j
}≠∅ for every *i*,*j*∈{1,2}. Let *a*∈*U*_{1}∩*V*_{1}, *b*∈*U*_{1}∩*V*_{2}, *c*∈*U*_{2}∩*V*_{1} and *d*∈*U*_{2}∩*V*_{2}. Since {*a*,*b*}⊆*U*_{1}, there exists a path *π*_{1} between leaves *a* and *b* in $G\left(\mathcal{P}\right)-{F}_{1}$. But *a* and *b* are in different components of $G\left(\mathcal{P}\right)-{F}_{2}$. Thus, an edge *e*_{1} of path *π*_{1} is in the cut *F*_{2}. Similarly, {*c*,*d*}⊆*U*_{2} and there exists a path *π*_{2} between labels *c* and *d* in $G\left(\mathcal{P}\right)-{F}_{1}$. Since *c* and *d* are in different components of $G\left(\mathcal{P}\right)-{F}_{2}$, cut *F*_{2} contains an edge *e*_{2} of path *π*_{2}. But *π*_{1} and *π*_{2} are in different components of $G\left(\mathcal{P}\right)-{F}_{1}$, so edges *e*_{1} and *e*_{2} are in different components of $G\left(\mathcal{P}\right)-{F}_{1}$. Since {*e*_{1},*e*_{2}}⊆*F*_{2}, the cuts *F*_{1} and *F*_{2} are not parallel, a contradiction.

*Proof of Theorem 8*.

The compatibility of $\mathrm{\Sigma}\left(\mathcal{F}\right)$ follows from Lemma 11 and Theorem 1. Let *S* be a compatible tree for Σ(*F*), let *T* be an input tree of
, let ${S}^{\prime}={S}_{\left|\mathcal{\mathcal{L}}\right(T)}$, and let *e* be any internal edge of *T*. We show that *S*^{′} displays *σ*(*e*)

Let *σ*(*e*)=*A*|*B*. There exists a cut $F\in \mathcal{F}$ where *e* is the only edge of *T* in *F*. By Lemma 7, since *F* is minimal, the leaves of sets *A* and *B* are in different components of $G\left(\mathcal{P}\right)-F$. Thus, if *σ*(*F*)=*A*^{′}|*B*^{′} then, up to renaming of sets, we have *A*⊆*A*^{′} and *B*⊆*B*^{′}. Because *S* displays *σ*(*F*), *S*^{′} also displays *σ*(*e*). Since *S*^{′} displays all the splits of *T*, *T* can be obtained from *S*^{′} by contracting zero or more edges [10]. Thus, *S* displays *T*. Since *S* displays every tree in
, *S* is a compatible tree for
.

## Characterizing agreement via cuts

The following characterization of agreement is similar to the one for tree compatibility given by Theorem 6, except for an additional restriction on the minimal cuts.

**Theorem** **9**.

A profile
has an agreement supertree if and only if $G\left(\mathcal{P}\right)$ has a complete set
of pairwise parallel legal minimal cuts where, for every cut $F\in \mathcal{F}$ and for every $T\in \mathcal{P}$, there is at most one edge of *T* in *F*.

**Example** **3**.

*F*

_{1}={{1,2},{4,5}},

*F*

_{2}={{1,2},{5,6}} and

*F*

_{3}={{2,3},{6,

*d*}}. For any given input tree

*T*, every cut in has at most one edge of

*T*. Also, is a complete set of pairwise parallel legal minimal cuts. Thus, by Theorem 9, the input trees of Figure 2 have an AST

The analogue of Theorem 9 for $\text{LG}\left(\mathcal{P}\right)$ stated next follows from Theorem 9 and Lemmas 2, 5, and 8.

**Theorem** **10**.

A profile
has an agreement supertree if and only if $\text{LG}\left(\mathcal{P}\right)$ has a complete set
of pairwise parallel legal minimal separators where, for every $F\in \mathcal{F}$ and every $T\in \mathcal{P}$, there is at most one vertex of LG(*T*) in *F*.

Theorem 9 follows from Lemma 8 and the next result.

**Lemma** **12**.

A profile
has an agreement supertree if and only if $G\left(\mathcal{P}\right)$ has a complete set
of pairwise parallel nice minimal cuts where, for every cut $F\in \mathcal{F}$ and every $T\in \mathcal{P}$, there is at most one edge of *T* in *F*.

The rest of the section is devoted to the proof of Lemma 12

Let *S* be an AST of
and let *e*={*u*,*v*} be an edge of *S*. Let *S*_{
u
} and *S*_{
v
} be the subtrees of *S*−*e* containing *u* and *v*, respectively. Let ${L}_{u}=\mathcal{\mathcal{L}}\left({S}_{u}\right)$ and ${L}_{v}=\mathcal{\mathcal{L}}\left({S}_{v}\right)$. Thus, *σ*_{
e
}(*S*)=*L*_{
u
}|*L*_{
v
}. Assume that there exists an input tree *T* where $\mathcal{\mathcal{L}}\left(T\right)\cap {L}_{x}\ne \varnothing $ for each *x*∈{*u*,*v*}. Then there exists an edge *f*∈*E*(*T*) where, if *σ*_{
f
}(*T*)=*A*_{1}|*A*_{2}, then *A*_{1}⊆*L*_{
u
} and *A*_{2}⊆*L*_{
v
}. (If there were no such edge, ${S}_{\left|\mathcal{\mathcal{L}}\right(T)}$ would contain a split that is not in *T* and would thus not be isomorphic to *T*.) We call *e* an *agreement edge* of *S* corresponding to edge *f* of *T*. Note that there does not exist any other edge *f*^{′} of *T* where *e* is also an agreement edge of *S* with respect to edge *f*^{′} of *T*.

The *cut function* of an AST *S* of
is the mapping *Ψ* from *E*(*S*) to subsets of edges of $G\left(\mathcal{P}\right)$ defined as follows. For every *e*∈*E*(*S*), an edge *f* of an input tree *T* is in *Ψ*(*e*) if and only if *e* is an agreement edge of *S* corresponding to edge *f* of *T*. Observe that *Ψ* is uniquely defined. Given an edge *e*∈*E*(*S*), we define a set *V*_{
x
} for each *x*∈*e* as follows. For every $T\in \mathcal{P}$, let *V*_{x,T} consist of all the vertices of the minimal subtree of *T* connecting the labels in $\mathcal{\mathcal{L}}\left(T\right)\cap {L}_{x}$. Then, ${V}_{x}=\bigcup _{T\in \mathcal{P}}{V}_{x,T}$. Note that if *e*={*u*,*v*} then {*V*_{
u
},*V*_{
v
}} is a partition of $V\left(G\right(\mathcal{P}\left)\right)$.

**Lemma** **13**.

*Proof*.

*(i)* Let *e*={*u*,*v*}. We show that $G\left(\mathcal{P}\right)-\Psi \left(e\right)$ does not contain an edge whose endpoints are in distinct sets of {*V*_{
u
},*V*_{
v
}}. Assume the contrary. Let *f*={*x*,*y*} be an edge of $G\left(\mathcal{P}\right)-\Psi \left(e\right)$ where *x*∈*V*_{
u
} and *y*∈*V*_{
v
}.

*f*∉

*Ψ*(

*e*). Suppose

*f*is an edge of input tree

*T*. There are two cases.

- 1.
*Ψ*(*e**) does not contain an edge of T.*Then, there exists an endpoint*p*of*e*where $\mathcal{\mathcal{L}}\left(T\right)\subseteq {L}_{p}$. Without loss of generality, let*u*=*p*. Then,*V*(*T*)⊆*V*_{ u }and thus*y*∈*V*_{ u }, a contradiction. - 2.
*Ψ*(*e**) contains an edge**f*^{′}≠*f**of T.*Let*f*^{′}={*r*,*s*} and let*L*_{ r }⊆*L*_{ u }and*L*_{ s }⊆*L*_{ v }. Let*x*,*r*be the vertices of*f*and*f*^{′}where*L*_{ x }⊂*L*_{ r }. Since*T*is a phylogenetic tree, such vertices*x*and*r*exist. Since*L*_{ r }⊆*L*_{ u }, both the endpoints of*f*are in*V*_{ u }, a contradiction.

Thus, $G\left(\mathcal{P}\right)-\Psi \left(e\right)$ does not contain an edge whose endpoints are in different sets of {*V*_{
u
},*V*_{
v
}}. Since *V*_{
u
} and *V*_{
v
} are non-empty, *Ψ*(*e*) is a cut of $G\left(\mathcal{P}\right)$.

*(ii)* The “only if” part follows from the definition of a minimal cut. We now prove the “if” part. Let *e*={*u*,*v*}. Assume that $G\left(\mathcal{P}\right)-\Psi \left(e\right)$ has exactly two connected components. From the proof of (*i*), *V*_{
u
} and *V*_{
v
} are the vertex sets of those two connected components. Consider any edge *f*∈*Ψ*(*e*). The endpoints of *f* are in different sets of {*V*_{
u
},*V*_{
v
}} and thus are in different connected components of $G\left(\mathcal{P}\right)-\Psi \left(e\right)$. Hence, $G\left(\mathcal{P}\right)-\left(\Psi \right(e)\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\setminus \phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\{f\left\}\right)$ is connected. Thus, if $G\left(\mathcal{P}\right)-\Psi \left(e\right)$ has exactly two connected components, *Ψ*(*e*) is a minimal cut of $G\left(\mathcal{P}\right)$.

The next observation summarizes two basic facts about cut functions.

**Observation** **2**.

*S*be an AST of . Then, the cut function

*Ψ*of

*S*has the following properties.

- 1.
For any two distinct edges

*e*_{1}and*e*_{2}in*E*(*S*),*Ψ*(*e*_{1})≠*Ψ*(*e*_{2}). - 2.
Let

*e*={*u*,*v*} be an edge of*S*. For any input tree*T*where $\mathcal{\mathcal{L}}\left(T\right)\cap {L}_{v}\ne \varnothing $, all the labels of $\mathcal{\mathcal{L}}\left(T\right)\cap {L}_{v}$ are in the same connected component of $G\left(\mathcal{P}\right)-\Psi \left(e\right)$.

Let *S* be an AST of
and let *e* be an edge of *S*. Although Lemma 13 shows that *Ψ*(*e*) is a cut of $G\left(\mathcal{P}\right)$, *Ψ*(*e*) may not be minimal. We now argue that we can always construct an agreement supertree whose cut function gives minimal cuts

**Lemma** **14**.

If
has an AST, then it has an AST *S* of
whose cut function *Ψ* satisfies the following: For every edge *e*∈*S*, *Ψ*(*e*) is a minimal cut of $G\left(\mathcal{P}\right)$.

We prove Lemma 14 by arguing that any AST that fails to satisfy the required cut minimality property can be transformed into one that does, through repeated application of the “splitting” operation, defined next.

Suppose *e*=(*u*,*v*) is a an edge of *S* where *Ψ*(*e*) is not minimal. Let {*L*_{1},…,*L*_{
m
}} be the partition of *L*_{
v
} where for every *i*∈[*m*], ${L}_{i}=\mathcal{\mathcal{L}}\left(C\right)\cap {L}_{v}$ for some connected component *C* in $G\left(\mathcal{P}\right)-\Psi \left(e\right)$. We assume without loss of generality that *m*>1 (if not, we can just exchange the roles of *u* and *v*). Let *R*_{
v
} be the rooted tree derived from *S*_{
v
} by distinguishing vertex *v* as the root. Let *R*_{v,i} be the (rooted) tree obtained from the minimal subtree of *R*_{
v
} connecting the labels in *L*_{
i
} by distinguishing the vertex closest to *v* as the root and suppressing every other vertex that has degree two. To *split edge e at u* is to construct a new tree *S*^{′} from *S* in two steps: (i) delete the vertices of *R*_{
v
} from *S* and (ii) for every *i*∈[*m*], add an edge from *u* to the root of *R*_{v,i}.

**Observation** **3**.

Let *S* be an AST of
and let *Ψ* be the cut function of *S*. Let *S*^{′} be the tree derived by splitting edge *e*={*u*,*v*} at *u*. Consider any connected component *C* of $G\left(\mathcal{P}\right)-\Psi \left(e\right)$ where $\mathcal{\mathcal{L}}\left(C\right)\cap {L}_{v}\ne \varnothing $. Then, for every $X\subseteq \left(\mathcal{\mathcal{L}}\right(C)\cap {L}_{v})$, *S*_{|X} and ${S}_{|X}^{\prime}$ are isomorphic.

The next observation follows from the definition of AST.

**Observation** **4**.

Let *S* and *T* be two phylogenetic trees where $\mathcal{\mathcal{L}}\left(T\right)\subseteq \mathcal{\mathcal{L}}\left(S\right)$ and *T* agrees with *S*. Then, *T* and *S*_{|U} agree for every *U* such that $\mathcal{\mathcal{L}}\left(T\right)\subseteq U\subseteq \mathcal{\mathcal{L}}\left(S\right)$.

**Lemma** **15**.

Let *S* be an AST of
and let *e*={*u*,*v*} be an edge of *S*. Let *S*^{′} be the tree derived by splitting edge *e* at *u*. Then, *S*^{′} is an AST of
.

*Proof*.

By construction, *S*^{′} is a phylogenetic tree over $\mathcal{\mathcal{L}}\left(\mathcal{P}\right)$. As before, let {*L*_{1},…,*L*_{
m
}} be the partition of *L*_{
v
} where for every *i*∈[*m*], ${L}_{i}=\mathcal{\mathcal{L}}\left(C\right)\cap {L}_{v}$ for some connected component *C* in $G\left(\mathcal{P}\right)-\Psi \left(e\right)$. Consider any input tree *T* of profile
. We prove that *T* and *S*^{′} agree. There are three cases. *Case 1:*$\mathcal{\mathcal{L}}\left(T\right)\subseteq {L}_{u}$*.* Since $\mathcal{\mathcal{L}}\left(T\right)\subseteq {L}_{u}$, by Observation 4, *T* and ${S}_{|{L}_{u}}$ agree. By the definition of the split operation, trees ${S}_{|{L}_{u}}$ and ${S}_{|{L}_{u}}^{\prime}$ are isomorphic. Thus, *T* and *S*^{′} agree. *Case 2:*$\mathcal{\mathcal{L}}\left(T\right)\subseteq {L}_{v}$*.* By Observation 2(ii), $\mathcal{\mathcal{L}}\left(T\right)\subseteq {L}_{i}$ for some *i*∈[*m*]. Since *T* and *S* agree and $\mathcal{\mathcal{L}}\left(T\right)\subseteq {L}_{i}$, by Observation 4, *T* and ${S}_{|{L}_{i}}$ agree. By construction, trees ${S}_{|{L}_{i}}$ and ${S}_{|{L}_{i}}^{\prime}$ are isomorphic. Thus, *T* and *S*^{′} agree. *Case 3:*$\left(\mathcal{\mathcal{L}}\right(T)\cap {L}_{u}\ne \varnothing )$ and $\left(\mathcal{\mathcal{L}}\right(T)\cap {L}_{v}\ne \varnothing )$*.* By Observation 2(ii), $\mathcal{\mathcal{L}}\left(T\right)\cap {L}_{v}\subseteq {L}_{i}$ for some *i*∈[*m*]. Since *T* and *S* agree and $\mathcal{\mathcal{L}}\left(T\right)\subseteq ({L}_{u}\cup {L}_{i})$, by Observation 4, *T* also agrees with ${S}_{\left|\right({L}_{u}\cup {L}_{i})}$. By construction, trees ${S}_{\left|\right({L}_{u}\cup {L}_{i})}$ and ${S}_{\left|\right({L}_{u}\cup {L}_{i})}^{\prime}$ are isomorphic. Thus, *T* and ${S}_{\left|\right({L}_{u}\cup {L}_{i})}^{\prime}$ agree. It follows that *T* and *S*^{′} agree

Observe that if *S*^{′} is the tree obtained by splitting edge *e*={*u*,*v*} of *S* at *u*, then the edges of *E*(*S*_{
u
}) are in both *S* and *S*^{′}.

Therefore, *E*(*S*)∖*E*(*S*_{
u
})=*E*(*S*)∖*E*(*S*^{′}) and *E*(*S*^{′})∖*E*(*S*_{
u
})=*E*(*S*^{′}) ∖ *E*(*S*).

**Lemma** **16**.

Let *S* be an AST of
and let *e*={*u*,*v*} be an edge of *S*. Let *S*^{′} be the tree obtained by splitting *e* at *u*. Let *Ψ*, *Ψ*^{′} be the cut functions of *S* and *S*^{′} respectively. Consider any edge *f*∈*E*(*S*^{′})∖*E*(*S*). There exists an edge *e*^{′}∈*E*(*S*)∖*E*(*S*^{′}) where *Ψ*^{′}(*f*)⊆*Ψ*(*e*^{′}). Furthermore, if *Ψ*(*e*^{′}) is a minimal cut of $G\left(\mathcal{P}\right)$ then *Ψ*^{′}(*f*)=*Ψ*(*e*^{′}) and *Ψ*^{′}(*f*) is a minimal cut of $G\left(\mathcal{P}\right)$.

*Proof*.

Let *f*={*x*,*y*} and let *x* be the vertex of *f* where *L*_{
x
}⊆*L*_{
v
}. Let *S*_{
p
} be the minimal subtree of *S* connecting the labels in *L*_{
x
}. Let *p* be the vertex of *S*_{
p
} closest to *u* in *S*. Let *q* be the vertex adjacent to *p* in the path from *p* to *u*. Let *e*^{′}={*p*,*q*}. Note that, *L*_{
x
}⊆*L*_{
p
}. Since *L*_{
x
}⊆*L*_{
v
}, *e*^{′} is an edge of *E*(*S*)∖*E*(*S*^{′}). Consider any tree *T* that has an edge *f*_{1} in *Ψ*^{′}(*f*). We show that $\mathcal{\mathcal{L}}\left(T\right)\cap {L}_{x}=\mathcal{\mathcal{L}}\left(T\right)\cap {L}_{p}$. It then follows that *f*_{1}∈*Ψ*(*e*^{′}) and thus, *Ψ*^{′}(*f*)⊆*Ψ*(*e*^{′}).

Since *L*_{
x
}⊆*L*_{
p
}, $({L}_{x}\cap \mathcal{\mathcal{L}}(T\left)\right)\subseteq \left(\mathcal{\mathcal{L}}\right(T)\cap {L}_{p})$. By Observation 2(ii), all the labels in $\mathcal{\mathcal{L}}\left(T\right)\cap {L}_{v}$ are in the same connected component of $G\left(\mathcal{P}\right)-\Psi \left(e\right)$. Thus, all the labels in ${L}_{x}\cup ({L}_{p}\cap \mathcal{\mathcal{L}}(T\left)\right)$ are in the same connected of $G\left(\mathcal{P}\right)-\Psi \left(e\right)$. If $({L}_{p}\cap \mathcal{\mathcal{L}}(T\left)\right)\u2ac5\u0338({L}_{x}\cap \mathcal{\mathcal{L}}(T\left)\right)$, then ${S}_{\left|\right({L}_{x}\cup ({L}_{p}\cap \mathcal{\mathcal{L}}(T\left)\right)}$ and ${S}_{\left|\right({L}_{x}\cup ({L}_{p}\cap \mathcal{\mathcal{L}}(T\left)\right)}^{\prime}$ are not isomorphic, contradicting Observation 3. Thus, $({L}_{p}\cap \mathcal{\mathcal{L}}(T\left)\right)\subseteq ({L}_{x}\cap \mathcal{\mathcal{L}}(T\left)\right)$

Assume that *Ψ*(*e*^{′}) is a minimal cut of $G\left(\mathcal{P}\right)$. Then, all the labels in *L*_{
p
} are in the same connected component of $G\left(\mathcal{P}\right)-\Psi \left({e}^{\prime}\right)$. By Observation 3, *L*_{
p
}=*L*_{
x
}. Thus, *Ψ*^{′}(*f*) is also a minimal cut of $G\left(\mathcal{P}\right)$.

**Lemma** **17**.

*S*be an AST of and

*Ψ*be the cut function of

*S*. Let

*E*

_{0}be the set of all edges

*e*of

*S*such that

*Ψ*(

*e*) is not a minimal cut of $G\left(\mathcal{P}\right)$. Choose any edge

*e*

^{∗}={

*u*,

*v*}∈

*E*

_{0}such that $\left|\Psi \right({e}^{\ast}\left)\right|=\underset{e\in {E}_{0}}{max}\left|\Psi \right(e\left)\right|$. Let

*S*

^{′}be the tree obtained from

*S*by splitting

*e*

^{∗}at

*u*and let

*Ψ*

^{′}be the cut function of

*S*

^{′}. We have the following.

- 1.
For any edge

*f*∈*E*(*S*^{′}), if |*Ψ*^{′}(*f*)|>|*Ψ*(*e*^{∗})| then*Ψ*^{′}(*f*) is a minimal cut of $G\left(\mathcal{P}\right)$. - 2.
Let

*P*be the set of all edges*x*in*S*such that |*Ψ*(*e*^{∗})|=|*Ψ*(*x*)| and*Ψ*(*x*) is not a minimal cut. Let*P*^{′}be the set of all edges*x*in*S*^{′}such that |*Ψ*(*e*^{∗})|=|*Ψ*(*x*)| and*Ψ*^{′}(*x*) is not a minimal cut. Then, |*P*^{′}|<|*P*|.

*Proof*.

*(i)* Consider any edge *f*∈*E*(*S*^{′}) where |*Ψ*^{′}(*f*)|>|*Ψ*(*e*^{∗})|. If *f*∈*E*(*S*)∩*E*(*S*^{′}), then *Ψ*(*f*)=*Ψ*^{′}(*f*). Since |*Ψ*(*f*)|>|*Ψ*(*e*^{∗})|, by assumption *Ψ*(*f*) is a minimal cut of $G\left(\mathcal{P}\right)$. Thus, *Ψ*^{′}(*f*) is also a minimal cut of $G\left(\mathcal{P}\right)$. Assume that *f*∈*E*(*S*^{′})∖*E*(*S*). By Lemma 16, there exists an edge *e*^{′}∈*E*(*S*) where *Ψ*^{′}(*f*)⊆*Ψ*(*e*^{′}). Since |*Ψ*^{′}(*f*)|>|*Ψ*(*e*^{∗})|, |*Ψ*(*e*^{′})|>|*Ψ*(*e*^{∗})|. Thus, by assumption *Ψ*(*e*^{′}) is a minimal cut of $G\left(\mathcal{P}\right)$. From Lemma 16, it follows that *Ψ*(*e*^{′})=*Ψ*^{′}(*f*) and *Ψ*^{′}(*f*) is a minimal cut of $G\left(\mathcal{P}\right)$.

*(ii)* Let *Q*=*P*∩(*E*(*S*)∖*E*(*S*^{′})) and *Q*^{′}=*P*^{′}∩(*E*(*S*^{′})∖*E*(*S*)). It suffices to show that |*Q*^{′}|<|*Q*|. Consider any edge *f*∈*Q*^{′}. By Lemma 16, there exists an edge *e*^{′}∈*E*(*S*)∖*E*(*S*^{′}) where *Ψ*^{′}(*f*)⊆*Ψ*(*e*^{′}). Thus, |*Ψ*(*e*^{′})|≥|*Ψ*^{′}(*f*)|. If |*Ψ*(*e*^{′})|>|*Ψ*^{′}(*f*)|, then by assumption *Ψ*(*e*^{′}) is a minimal cut and thus by Lemma 16 |*Ψ*(*e*^{′})|=|*Ψ*^{′}(*f*)|, a contradiction.

Thus, *Ψ*(*e*^{′})=*Ψ*^{′}(*f*). Also, since *Ψ*^{′}(*f*) is not a minimal cut, by Lemma 16, neither is *Ψ*(*e*^{′}). If *e*^{′}=*e*^{∗}, then all vertices of *V*_{
v
} are in the same connected component of $G\left(\mathcal{P}\right)-\Psi \left(e\right)$, contradicting the assumption that it is possible to split *e*^{∗} at *u*. Thus, *e*^{′}≠*e*^{∗}. Hence, we can conclude that for every edge *f*∈*Q*^{′}, there exists an edge *e*^{′}∈(*Q*∖{*e*^{∗}}), where *Ψ*^{′}(*f*)=*Ψ*(*e*^{′}).

Let *f*_{1} and *f*_{2} be any two distinct edges in *Q*^{′}. Let *e*_{1} and *e*_{2} be the edges of *Q*∖{*e*^{∗}} where *Ψ*^{′}(*f*_{1})=*Ψ*(*e*_{1}) and *Ψ*^{′}(*f*_{2})=*Ψ*(*e*_{2}). If *e*_{1}=*e*_{2}, then *Ψ*^{′}(*f*_{1})=*Ψ*^{′}(*f*_{2}), contradicting Observation 2(i). Thus, *e*_{1}≠*e*_{2}. Since *e*∈*Q* and *e*∉*Q*^{′}, it follows that |*Q*^{′}|≤|*Q*|−1, and thus |*Q*^{′}|<|*Q*|.

*Proof of Lemma 14*.

Let *S* be an AST of
and *Ψ* be the cut function of *S*. Do the following while *S* contains an edge *e* such that *Ψ*(*f*) is not a minimal cut of $G\left(\mathcal{P}\right)$: Pick an edge *e*^{∗} satisfying the conditions of Lemma 17, and apply a split operation at *e*^{∗}; let *S*^{′} be the resulting tree. By Lemma 15, *S*^{′} is also an AST of
. Let *Ψ*^{′} be the cut function of *S*^{′}. Set *S* to *S*^{′} and *Ψ* to *Ψ*^{′}

We only need to prove that the total number of iterations, *s*, is finite. An AST of
has at most $2\left|\mathcal{\mathcal{L}}\right(\mathcal{P}\left)\right|$ vertices. Also, |*Ψ*(*e*)|≥1 for any edge *e* of *S*. It thus follows from Lemma 17 that *s* is finite.

### Proof of Lemma 12

(⇐) Assume that
has an AST. Then, by Lemma 14,
has an AST *S* whose cut function *Ψ* has the property that, for every edge *e*∈*E*(*S*), *Ψ*(*e*) is a minimal cut of $G\left(\mathcal{P}\right)$. Let
be the set of all *Ψ*(*e*) such that *e* is an internal edge of *S*. Then,
is a set of minimal cuts of $G\left(\mathcal{P}\right)$. Further, by definition of *Ψ*, for every $F\in \mathcal{F}$ and for every $T\in \mathcal{P}$, *F* contains at most one edge of *T*. Thus every cut in
is legal. We now prove that
is a complete set of pairwise parallel nice minimal cuts of $G\left(\mathcal{P}\right)$.

We first argue that every cut in
is nice. Consider any $F\in \mathcal{F}$. Let *e*={*u*,*v*} be the internal edge of *S* where *Ψ*(*e*)=*F*. Let *T* be an input tree that has an internal edge *f* in *Ψ*(*e*). Since *e* is an internal edge at least one such input tree exists; otherwise *Ψ*(*e*) is not a minimal cut. Now, by definition, *f* is the only edge of *T* in *Ψ*(*e*), so, by Lemma 7, each of the two connected components of $G\left(\mathcal{P}\right)-\Psi \left(e\right)$ has at least one non-internal edge of *T*. Hence, *F* is a nice minimal cut of $G\left(\mathcal{P}\right)$.

To prove that the cuts in
are pairwise parallel, we argue that for any two distinct internal edges *e*_{1} and *e*_{2} of *S*, *Ψ*(*e*_{1}) and *Ψ*(*e*_{2}) are parallel. There exist vertices *x*∈*e*_{1} and *y*∈*e*_{2} where *L*_{
x
}⊆*L*_{
y
}. For every edge *f*∈*Ψ*(*e*_{1}), we show that *f*∈*Ψ*(*e*_{2}) or *f*⊆*V*_{
y
}. It then follows that *Ψ*(*e*_{1}) and *Ψ*(*e*_{2}) are parallel. Let *f* be an edge of input tree *T*. Then there exists *z*∈*f* where *L*_{
z
}⊆*L*_{
x
}. Thus, *L*_{
z
}⊆*L*_{
y
} and *z*∈*V*_{
y
}. By Lemma 13, all the vertices of *V*_{
y
} are in the same connected component of $G\left(\mathcal{P}\right)-\Psi \left({e}_{2}\right)$. Thus, *f*∈*Ψ*(*e*_{2}) or *f*⊆*V*_{
y
}.

Lastly, we show that
is complete. Consider any internal edge *f*={*p*,*q*} of some input tree *T*. Since *S* is an AST of
, there exists an edge *e*={*u*,*v*} where, up to relabeling of sets, *L*_{
p
}⊆*L*_{
u
} and *L*_{
q
}⊆*L*_{
v
}. Thus, *e* is an agreement edge of *S* corresponding to *f*, so *f*∈*Ψ*(*e*). Since *f* is an internal edge, *e* is also an internal edge of *S* and thus $\Psi \left(e\right)\in \mathcal{F}$. Hence, for every internal edge *f* of an input tree there is a cut $F\in \mathcal{F}$ where *f*∈*F*. Thus, *§* is complete.

(⇒) Assume that there exists a complete set
of pairwise parallel nice minimal cuts of $G\left(\mathcal{P}\right)$ where, for every $F\in \mathcal{F}$ and every $T\in \mathcal{P}$, *F* contains at most one edge of *T*. By Theorem 18, $\mathrm{\Sigma}\left(\mathcal{F}\right)$ is compatible and, by Theorem 1, there exists an unrooted tree *S* where $\mathrm{\Sigma}\left(\mathcal{F}\right)=\mathrm{\Sigma}\left(S\right)$. We prove that *S* is an AST of
by showing that $\mathrm{\Sigma}\left({S}_{\left|\mathcal{\mathcal{L}}\right(T)}\right)=\mathrm{\Sigma}\left(T\right)$ for every input tree $T\in \mathcal{P}$.

Consider an input tree *T* of
. Let *X*_{1}|*X*_{2} be the non-trivial split of *T* corresponding to edge *f*∈*E*(*T*). Since
is complete, there exists a cut $F\in \mathcal{F}$ where $F\in \mathcal{F}$. If *σ*(*F*)=*Y*_{1}|*Y*_{2}, by Lemma 7, up to relabeling of sets, *X*_{
i
}⊆*Y*_{
i
} for every *i*∈{1,2}. Since *σ*(*F*) is a split of *S*, this implies that $\mathrm{\Sigma}\left(T\right)\subseteq \mathrm{\Sigma}\left({S}_{\left|\mathcal{\mathcal{L}}\right(T)}\right)$.

Consider any non-trivial split *P*_{1}|*P*_{2} of Σ(*S*) where ${P}_{i}\cap \mathcal{\mathcal{L}}\left(T\right)\ne \varnothing $ for each *i*∈{1,2}. Let ${Q}_{i}={P}_{i}\cap \mathcal{\mathcal{L}}\left(T\right)$ for each *i*∈{1,2}. Since $\mathrm{\Sigma}\left(S\right)=\mathrm{\Sigma}\left(\mathcal{F}\right)$, there exists a cut $F\in \mathcal{F}$ where *σ*(*F*)=*P*_{1}|*P*_{2}. Since *P*_{1} and *P*_{2} are in different connected components of $G\left(\mathcal{P}\right)-F$, *Q*_{1} and *Q*_{2} are also in different connected components of $G\left(\mathcal{P}\right)-F$. Thus, *F* contains an edge *f*^{′} of *T*. Since *F* does not contain any other edge of *T*, *σ*(*f*^{′})=*Q*_{1}|*Q*_{2}. Thus, $\mathrm{\Sigma}\left({S}_{\left|\mathcal{\mathcal{L}}\right(T)}\right)\subseteq \mathrm{\Sigma}\left(T\right)$.

## Relationship to legal triangulations

Taken together, Theorems 3 and 6 say that $G\left(\mathcal{P}\right)$ has a complete set of pairwise parallel legal minimal cuts if and only if it has a legal triangulation. The connection between legal triangulations and complete sets of pairwise parallel legal minimal cuts is through the existence (or nonexistence) of a compatible tree. Here we make the connection explicit, showing how, from a set of pairwise parallel legal minimal cuts, one can construct a legal triangulation of $G\left(\mathcal{P}\right)$ without going through a compatible tree. We leave the other direction —going from a triangulation to a set of cuts— to the reader.

Let
be a complete set of pairwise parallel legal minimal cuts of $G\left(\mathcal{P}\right)$. We assume that the elements of
are ordered in some arbitrary, but fixed, manner, and that no proper subset of
is also complete. For each $F\in \mathcal{F}$, we build a pair (*X*_{
F
},*Y*_{
F
}) where *X*_{
F
} and *Y*_{
F
} are vertex separators of $G\left(\mathcal{P}\right)$, and *X*_{
F
},*Y*_{
F
}⊆{*u*:*u* is the endpoint of some edge in*F*}. The collection of pairs $\left\{\right({X}_{F},{Y}_{F}):F\in \mathcal{F}\}$ is not unique, as it depends on the order in which
is arranged. We say that a cut $F\in \mathcal{F}$*differentiates* an internal edge *e*={*x*,*y*} if *x*∈*X*_{
F
} and *y*∈*Y*_{
F
}.

For each $F\in \mathcal{F}$, let *F*_{
i
}=*E*(*T*_{
i
})∩*F* for each *i*∈[*k*], and let $\widehat{F}\subseteq F$ denote the set of all edges *e* such that *e*∈*F*_{
i
} for some *i*∈[*k*] with |*F*_{
i
}|=1. Note that if |*F*_{
i
}|>1, all edges in *F*_{
i
} must share a common endpoint. Let *A*_{
F
} and *B*_{
F
} denote the two connected components of $G\left(\mathcal{P}\right)-F$.

*F*in , we build (

*X*

_{ F },

*Y*

_{ F }) as follows.

- 1.For each internal edge $e\in \widehat{F}$:
- (a)
If no cut preceding

*F*differentiates*e*, add*e*∩*V*(*A*_{ F }) to*X*_{ F }and*e*∩*V*(*B*_{ F }) to*Y*_{ F }. - (b)
Otherwise, suppose cut $I\in \mathcal{F}$, which precedes

*F*, differentiates*e*. Let*Q*be the connected component of $G\left(\mathcal{P}\right)-I$ where*E*(*Q*)∩*F*≠∅. (Note that*Q*is unique, since*I*and*F*are parallel.) Let*v*be the unique endpoint of*e*in*Q*. Add*v*to*X*_{ F }and*Y*_{ F }.

- (a)
- 2.
For each non-internal edge $e\in \widehat{F}$, add the non-leaf endpoint of

*e*to both*X*_{ F }and*Y*_{ F }. - 3.
For each

*i*∈[*k*] such that |*F*_{ i }|>1, add the common endpoint of the edges of*F*_{ i }to both*X*_{ F }and*Y*_{ F }.

*X*

_{ F }and

*Y*

_{ F }have the form

*X*

_{ F }={

*x*

_{1},…,

*x*

_{ m },

*z*

_{1},…,

*z*

_{ p }} and

*Y*

_{ F }={

*y*

_{1},…,

*y*

_{ m },

*z*

_{1},…,

*z*

_{ p }}, where

*m*>0,

*p*≥0, and for every

*i*∈[

*m*], {

*x*

_{ i },

*y*

_{ i }} is an internal edge of $G\left(\mathcal{P}\right)$ that is differentiated by

*F*. Let

We now state how to go from a complete set of pairwise parallel legal cuts to a legal triangulation. As in Section ‘Preliminaries’, given a graph *G* and a collection Δ of subsets of *V*(*G*), *G*_{Δ} denotes the graph derived from *G* by making the set of vertices of *X* a clique for every *X*∈Δ.

**Theorem** **11**.

Then, $G{\left(\mathcal{P}\right)}_{\mathrm{\Delta}}$ is a legal triangulation of $G\left(\mathcal{P}\right)$.

The proof of Theorem 11 relies on a series of auxiliary lemmas, for which we introduce some new notation. For each $F\in \mathcal{F}$, *F*_{∪} denotes *X*_{
F
}∪*Y*_{
F
} and *F*_{∩} denotes *X*_{
F
}∩*Y*_{
F
}. Also, we abbreviate $G{\left(\mathcal{P}\right)}_{\mathrm{\Delta}}$ to *G*_{Δ}, where Δ is the set defined in Equation (1)

**Lemma** **18**.

Let *F* and *I* be two distinct cuts of
, and let *x* be a vertex of *F*_{∪}. Suppose *x* lies in the connected component of $G\left(\mathcal{P}\right)-I$ that does not contain edges of *F*. Then, *x*∈*I*_{∩}.

*Proof*.

Let *E*_{F,x} be the set of all edges of *F* that contain *x* and let *E*_{I,x} be the set of all edges of *I* that contain *x*. We must have *E*_{F,x}⊆*E*_{I,x}⊆*I*. If |*E*_{I,x}|>1, then *x*∈*I*_{∩}. Thus, assume that |*E*_{I,x}|=1. Let *E*_{I,x}={*e*}, where *e*={*x*,*y*}. Since *E*_{F,x}⊆*E*_{I,x} and |*E*_{F,x}|≥1, *E*_{F,x}={*e*}. We can assume that *y* is not a leaf (since, otherwise, *x*∈*I*_{∩}). Let *E*_{I,y} be the set of edges of *I* with *y* as an endpoint. Vertex *y* lies in the component of *G*−*F* that does not contain *I*. Thus, every edge in *E*_{I,y} is also present in *F*. If |*E*_{I,y}|>1, then there is more than one edge in *F* with *y* as an endpoint and by construction, *x*∉*F*_{∪}. Hence, |*E*_{I,y}|=1, and so *E*_{I,y}={*e*}.

Let *J* be the cut that differentiates *e*. If *F*=*J* then by construction, *x*∈*I*_{∩}. Thus, assume that *F*≠*J*. If *J* is in the same connected component of $G\left(\mathcal{P}\right)-F$ as *I*, then, by construction *x*∉*F*_{∪}, which is a contradiction. Thus, *J* is in the connected component of $G\left(\mathcal{P}\right)-F$ that does not contain *I* and, by construction, *x*∈*I*_{∩}.

**Lemma** **19**.

Let $F\in \mathcal{F}$. For every edge {*u*,*v*} in *G*_{Δ}, (i) if *u*∈*V*(*A*_{
F
})∖*F*_{∩}, then *v*∉*V*(*B*_{
F
})∖*Y*_{
F
}, and (ii) if *u*∈*V*(*B*_{
F
})∖*F*_{∩}, then *v*∉*V*(*A*_{
F
})∖*X*_{
F
}.

*Proof*.

Without loss of generality, we consider only the case where *u*∈*V*(*A*_{
F
})∖*F*_{∩}. Suppose that *v*∈*V*(*B*_{
F
})∖*Y*_{
F
}. If $e\in E\left(G\right(\mathcal{P}\left)\right)$, then *e*∈*F* and hence, by construction, at least one of *u* and *v* is in *F*_{∪}. But *v*∉*Y*_{
F
}, so *u*∈*F*_{∩}, a contradiction.

Thus, *e* must be a fill-in edge. Since *e* ⊈ *F*_{∪}, there must be a cut $I\in \mathcal{F}$, *I*≠*F*, such that *e*⊆*I*_{∪}. If *E*(*A*_{
F
})∩*I*≠∅, then by Lemma 18, *v*∈*F*_{∩}, a contradiction. Thus, assume that *E*(*B*_{
F
})∩*I*≠∅. Then, by Lemma 18, *u*∈*F*_{∩}, another contradiction

A clique of *G*_{Δ} is *illegal* if it contains a fill-in edge with a leaf as an endpoint or it contains an internal edge along with any another edge of $G\left(\mathcal{P}\right)$. An illegal clique violates one of the legal triangulation conditions (LT1) or (LT2) stated in Section ‘Display graphs and edge label intersection graphs’.

**Lemma** **20**.

Let *F* be a cut of
and let *H* be the subgraph of *G*_{Δ} induced by vertices of *F*_{∪}. Then, *H* is triangulated and contains no illegal clique.

*Proof*.

Let *X*_{
F
}={*x*_{1},…,*x*_{
m
},*z*_{1},…,*z*_{
p
}} and *Y*_{
F
}={*y*_{1},…,*y*_{
m
},*z*_{1},…,*z*_{
p
}}, where for every *i*∈[*m*], *x*_{
i
}∈*V*(*A*_{
F
}), *y*_{
i
}∈*V*(*B*_{
F
}) and {*x*_{
i
},*y*_{
i
}} is an internal edge of $G\left(\mathcal{P}\right)$. Note that *F*_{∩}={*z*_{1},…,*z*_{
p
}}.

**Claim.** *For every* *i*,*j*∈[*m*] where *i*>*j*, *e*={*x*_{
i
},*y*_{
j
}}∉*E*(*H* *).*

*Proof*.

Assume that *e*∈*E*(*H*). By construction of (*X*_{
F
},*Y*_{
F
}), *e* is a fill-in edge. Since no set in *O*_{
F
} contains both *x*_{
i
} and *y*_{
j
}, there is a cut $I\in \mathcal{F}$ where *e*⊆*I*_{∪}. Since *F* and *I* are parallel, only one of the two sets *I*∩*E*(*A*_{
F
}) or *I*∩*E*(*B*_{
F
}) is non-empty. Assume that *I*∩*E*(*A*_{
F
})≠∅. Then by Lemma 18, *y*_{
j
}∈*F*_{∩}, a contradiction. Similarly, if *I*∩*E*(*B*_{
F
})≠∅, then by Lemma 18, *x*_{
i
}∈*F*_{∩}, a contradiction.

Let *C* be a chordless cycle of length at least four in *H*. Since *X*_{
F
} and *Y*_{
F
} are cliques in *G*_{Δ}, if *C* contains more than two vertices from one of *X*_{
F
} or *Y*_{
F
}, then *C* must contain a chord. Hence, *C* has exactly four vertices, with exactly two vertices each from *X*_{
F
} and *Y*_{
F
}. We will first show that *z*_{
i
}∉*C* for any *i*∈*p*. Assume that *z*_{
i
}∈*C* for some *i*∈[*p*]. Then, of the remaining three vertices of *C*, at least two of them belong to one of *X*_{
F
} and *Y*_{
F
}. Let *a*, *b* be those two vertices. Without loss of generality assume that {*a*,*b*}⊆*X*_{
F
}. Since, *F*_{∩}⊆*X*_{
F
}, vertices *z*_{
i
}, *a*, *b* form a clique in *H*. Thus, *C* is not chordless, a contradiction.

Let *x*_{
i
},*x*_{
j
} be the vertices of *X*_{
F
} in *C* where 1≤*i*<*j*≤*m*. Similarly, let ${y}_{{i}^{\prime}},{y}_{{j}^{\prime}}$ be the vertices of *Y*_{
F
} in *C* where 1≤*i*^{′}<*j*^{′}≤*m*. Now, either *i*≤*i*^{′} or *i*>*i*^{′}. If *i*≤*i*^{′}, then {*x*_{1},…,*x*_{
i
},*y*_{
i
},…,*y*_{
m
},*z*_{1},…,*z*_{
p
}}∈*O*_{
F
} and thus vertices ${x}_{i},{y}_{{i}^{\prime}},{y}_{{j}^{\prime}}$ form a clique. Hence, *C* is not chordless, a contradiction. If *i*>*i*^{′}, then from the above claim neither of the edges $\{{x}_{i},{y}_{{i}^{\prime}}\}$ and $\{{x}_{j},{y}_{{i}^{\prime}}\}$ can exist. Thus, vertex ${y}_{{i}^{\prime}}$ cannot be in *C*, a contradiction. Hence, *H* does not contain a chordless cycle and is triangulated.

Assume that *H* contains an illegal clique *H*^{′}; that is, *H*^{′} contains two internal edges *e* and *e*^{′}. By construction, *F*_{∪} cannot contain a leaf. By the legality of *F* and the construction of *F*_{∪}, edges *e* and *e*^{′} are from different input trees and both are differentiated by *F*. Let *e*={*x*_{
i
},*y*_{
i
}} for some *i*∈[*m*] and let *e*^{′}={*x*_{
j
},*y*_{
j
}} for some *j*∈[*m*]. Without loss of generality, assume that *i*<*j*. By the above claim, there is no edge between *x*_{
j
} and *y*_{
i
} in *H*; thus, *H*^{′} is not a clique, a contradiction. □

**Lemma** **21**.

*G*_{Δ} is chordal.

*Proof*.

Assume the contrary. Let *C* be a chordless cycle of length at least four in *G*_{Δ}. By construction, *C* cannot contain a leaf. There are two cases. *Case 1:* *There are vertices u*,*v*∈*V*(*C*) and a cut $F\in \mathcal{F}$ where *u*∈*X*_{
F
}∖*F*_{∩} and *v*∈*Y*_{
F
}∖*F*_{∩}*.*

*Case 2:*

*There is no cut*$F\in \mathcal{F}$ with vertices

*u*∈

*X*

_{ F }∖

*F*

_{∩}and

*v*∈

*Y*

_{ F }∖

*F*

_{∩}such that

*u*,

*v*∈

*V*(

*C*

*).*Thus, for every cut $F\in \mathcal{F}$ at most two vertices of

*V*(

*C*) are in

*F*

_{∪}. Let

*x*

_{1},

*x*

_{2},

*x*

_{3},

*x*

_{4}be a path of length four in

*C*. For every

*i*∈{1,2,3}, let ${F}^{\left(i\right)}\in \mathcal{F}$ be the cut where $\{{x}_{i},{x}_{i+1}\}\subseteq {F}_{\cup}^{\left(i\right)}$. We will first show that such cuts exist and are distinct.

- (a)
*Suppose C contains a vertex**x*∈*F*_{∩}*.*Then, there exists a path*u*,*x*,*v*in*C*. Because*C*is a cycle, there must exist an edge between a vertex*u*^{′}∈*V*(*A*_{ F })∖*x*and*v*^{′}∈*V*(*B*_{ F })∖*x*. Since*C*is chordless,*u*^{′}∉*F*_{∩}and*v*^{′}∉*F*_{∩}. Thus,*u*^{′}∈*V*(*A*_{ F })∖*F*_{∩}and*v*^{′}∈*V*(*B*_{ F })∖*F*_{∩}. By Lemma 19, if*u*^{′}∈*V*(*A*_{ F })∖*X*_{ F }then there is no edge between*u*^{′}and*v*^{′}. Thus,*u*^{′}∈*X*_{ F }∖*F*_{∩}. Similarly,*v*^{′}∈*Y*_{ F }∖*F*_{∩}. If*u*≠*u*^{′}or*v*≠*v*^{′},*C*cannot be chordless. Thus,*u*=*u*^{′}and*v*=*v*^{′}and*C*has length three, a contradiction - (b)
*Suppose C does not contain a vertex of**F*_{∩}*.*Since*u*∈*V*(*A*_{ F })∖*F*_{∩},*v*∈*V*(*B*_{ F })∖*F*_{∩}and*F*is a cut, there must exist two edges*e*_{1}={*x*_{1},*y*_{1}} and*e*_{2}={*x*_{2},*y*_{2}} in*C*where {*x*_{1},*x*_{2}}⊆*V*(*A*_{ F })∖*F*_{∩}and {*y*_{1},*y*_{2}}⊆*V*(*B*_{ F })∖*F*_{∩}. If*x*_{1}∈*V*(*A*_{ F })∖*X*_{ F }, then by Lemma 19 there cannot exist an edge between*x*_{1}and*y*_{1}. Thus,*x*_{1}∈*X*_{ F }∖*F*_{∩}. Similarly,*x*_{2}∈*X*_{ F }∖*F*_{∩}and {*y*_{1},*y*_{2}}⊆*Y*_{ F }∖*F*_{∩}. Since*X*_{ F }and*Y*_{ F }are cliques in*G*_{Δ}, there exist edges {*x*_{1},*x*_{2}} and {*y*_{1},*y*_{2}}. Thus, there cannot exist any other vertex in*C*and hence*V*(*C*)⊆*F*_{∪}. But, by Lemma 20 subgraph of*G*_{Δ}induced by vertices of*F*_{∪}is triangulated. Thus,*C*is not chordless, a contradiction

Recall that every vertex in *C* is internal. Also, *C* does not contain any edge *e*={*x*,*y*} from *G*; otherwise, there would be a cut *F*^{′} that differentiates *e*, contradicting the assumption for case 2. Since every edge in *C* is in *G*_{Δ}, it must be the case that for every edge *e* in *C* there exists a cut *F* where *e*⊆*F*_{∪}. Also, at most two vertices of *C* are in *F*_{∪}. Thus the cuts *F*^{(1)}, *F*^{(2)} and *F*^{(3)} are distinct.

*i*∈{1,2,3} let ${A}_{i}={A}_{{F}^{\left(i\right)}}$ and ${B}_{i}={B}_{{F}^{\left(i\right)}}$. Without loss of generality, assume that

*E*(

*A*

_{1})∩

*F*

^{(2)}≠∅ and

*E*(

*B*

_{2})∩

*F*

^{(1)}≠∅. There are three possibilities.

- (a)
*Suppose**F*^{(3)}∩*E*(*A*_{2})≠∅*.*If*x*_{1}∈*A*_{2}, then by Lemma 18, ${x}_{1}\in {F}_{\cap}^{\left(2\right)}$ and*C*is not chordless, a contradiction. Thus,*x*_{1}∈*B*_{2}. Similarly, if*x*_{4}∈*B*_{2}, by Lemma 18, ${x}_{4}\in {F}_{\cap}^{\left(2\right)}$ and*C*is not chordless, a contradiction. Thus,*x*_{4}∈*A*_{2}. Since*C*is a cycle,*F*^{(2)}is a minimal cut and $\{{F}_{\cup}^{\left(2\right)}\setminus \{{x}_{2},{x}_{3}\left\}\right\}\cap V\left(C\right)=\varnothing $, there exists an edge {*v*_{1},*v*_{2}} in*C*where ${v}_{1}\in V\left({A}_{2}\right)\setminus {F}_{\cup}^{\left(2\right)}$ and ${v}_{2}\in V\left({B}_{2}\right)\setminus {F}_{\cup}^{\left(2\right)}$. But, by Lemma 19, such an edge cannot exist. - (b)
*Suppose**F*^{(3)}∩*E*(*A*_{1})≠∅ and*F*^{(3)}∩*E*(*B*_{2})≠∅*.*Without loss of generality, assume that*A*_{3},*B*_{3}contain*F*^{(2)}and*F*^{(1)}respectively. Assume that*x*_{2}∈*A*_{3}. Since ${x}_{2}\in {F}_{\cup}^{\left(1\right)}$, by Lemma 18, ${x}_{2}\in {F}_{\cap}^{\left(3\right)}$. Then, there exists an edge {*x*_{2},*x*_{4}} and*C*is not chordless, a contradiction. Thus,*x*_{2}∈*B*_{3}. But ${x}_{2}\in {F}_{\cup}^{\left(2\right)}$ and thus, by Lemma 18, ${x}_{2}\in {F}_{\cap}^{\left(3\right)}$. Hence, there exists a chord {*x*_{2},*x*_{4}} and*C*is not chordless, again a contradiction. - (c)
*Suppose**F*^{(3)}∩*E*(*B*_{1})≠∅*.*Renaming vertices*x*_{1},*x*_{2},*x*_{3}and*x*_{4}as,*x*_{4},*x*_{3},*x*_{2}and*x*_{1}, respectively, brings us back to subcase 2(b).

Thus, *G*_{Δ} does not contain a chordless cycle of length four or greater; hence, *G*_{Δ} is chordal.

*Proof of Theorem 11*.

Lemma 21 states that *G*_{Δ} is triangulated. We now prove that *G*_{Δ} is a legal triangulation; i.e., that it satisfies conditions (LT1) and (LT2) of Section ‘Display graphs and edge label intersection graphs’

Condition (LT2) holds for *G*_{Δ}, because our construction adds no fill-in edge incident on a leaf. Now suppose that *G*_{Δ} violates (LT1); i.e., *G*_{Δ} has a clique *H* with two internal edges *e*={*x*_{1},*y*_{1}} and *e*^{′}={*x*_{2},*y*_{2}}. Let *F* be the cut that differentiates *e*. Assume that *x*_{1}∈*V*(*A*_{
F
}) and *y*_{1}∈*V*(*B*_{
F
}). By Lemma 20, *F*_{∪} does not contain both endpoints of *e*^{′}. Without loss of generality, assume that *x*_{2}∉*F*_{∪} and *x*_{2}∈*A*. Since *x*_{2}∉*F*_{∪} and *y*_{1}∉*F*_{∩}, by Lemma 19, there is no edge between *x*_{2} and *y*_{1} in *G*_{Δ}. Thus, *H* is not a clique of *G*_{Δ}, a contradiction. Hence, *G*_{Δ} satisfies (LT1) and is therefore a legal triangulation of $G\left(\mathcal{P}\right)$.

## Conclusion

We have shown that the characterization of tree compatibility in terms of restricted triangulations of the edge label intersection graph transforms into a characterization in terms of minimal cuts in the display graph. These two characterizations are closely related to the legal triangulation characterization of [8]. We also derived characterizations of the agreement supertree problem in terms of minimal cuts and minimal separators of the display and edge label intersection graphs respectively.

It remains to be seen whether any of our characterizations can lead to explicit fixed-parameter algorithms for the tree compatibility and agreement supertree problems when parametrized by the number of trees. Indeed, as of yet, the fixed-parameter tractability of agreement remains open.

We close with some remarks on characterizations of two problems related to compatibility. A profile
*defines* a tree *S* if *S* is the only compatible supertree for
.
*identifies* a tree *S* if *S* is a compatible supertree for
and every other compatible supertree for
displays *S*. Grunewald et al. [16] use quartet graphs to characterize when a profile consisting of quartet trees defines or identifies a tree. An interesting question is whether similar characterizations can be derived for arbitrary profiles using display graphs or edge label intersection graphs. Along these lines, we note a connection between complete sets of cuts and the question of whether a profile defines a tree, which was pointed out by one of the reviewers. To explain it, we need some definitions ([10], p. 131). Let *T* be a tree and let *q*=*x* *y*|*w* *z* be a quartet tree displayed by *T*. Quartet tree *q* *distinguishes* an interior edge *e* of *T* if *e* is the only interior edge such that {*x*,*y*} and {*w*,*z*} are in different connected components of *T*−*e*. Now, let *S* and *T* be two trees such that *S* displays *T*. An interior edge *e* of *T* *distinguishes* an interior edge *f* of *S* if there exists a quartet *q* such that *e* and *f* are both distinguished by *q*. Suppose
is a profile in which there is at least one taxon in common among all input trees. Then,
defines a tree *S* if and only if
is compatible and every interior edge of *S* is distinguished by an interior edge of at least one tree in
([10], p. 133). Now, recall that if
is a complete set of cuts of $G\left(\mathcal{P}\right)$, then, for every tree ${T}_{i}\in \mathcal{P}$ and every internal edge *e* of *T*_{
i
}, there is some cut $F\in \mathcal{F}$ in which *e* is the only edge of *T*_{
i
}. Thus, if
is compatible, *e* must be a distinguishing edge for some internal edge of a supertree for
. This observation could lead to a cut-based characterization of definability analogous to known triangulation-based characterizations (see [10], p. 79).

## Declarations

### Acknowledgements

We thank Sylvain Guillemot for his valuable comments. We are also grateful to the reviewers for providing constructive criticism. This work was supported in part by the National Science Foundation under grants CCF-1017189 and DEB-0829674.

## Authors’ Affiliations

## References

- Gordon AD: Consensus supertrees: the synthesis of rooted trees containing overlapping sets of labelled leaves. J Classif. 1986, 9: 335-348.View ArticleGoogle Scholar
- Aho A, Sagiv Y, Szymanski T, Ullman J: Inferring a tree from lowest common ancestors with an application to the optimization of relational expressions. SIAM J Comput. 1981, 10 (3): 405-421. 10.1137/0210030.View ArticleGoogle Scholar
- Ng M, Wormald N: Reconstruction of rooted trees from subtrees. Discrete Appl Math. 1996, 69 (1–2): 19-31.View ArticleGoogle Scholar
- Steel MA: The complexity of reconstructing trees from qualitative characters and subtrees. J Classif. 1992, 9: 91-116. 10.1007/BF02618470.View ArticleGoogle Scholar
- Bryant D, Lagergren J: Compatibility of unrooted phylogenetic trees is FPT. Theor Comput Sci. 2006, 351: 296-302. 10.1016/j.tcs.2005.10.033.View ArticleGoogle Scholar
- Courcelle B: The monadic second-order logic of graphs I, Recognizable sets of finite graphs. Inf Comput. 1990, 85: 12-75. 10.1016/0890-5401(90)90043-H.View ArticleGoogle Scholar
- Arnborg S, Lagergren J, Seese D: Easy problems for tree-decomposable graphs. J Algorithms. 1991, 12 (2): 308-340. 10.1016/0196-6774(91)90006-K.View ArticleGoogle Scholar
- Vakati S, Fernández-Baca D: Graph triangulations and the compatibility of unrooted phylogenetic trees. Appl Math Lett. 2011, 24 (5): 719-723. 10.1016/j.aml.2010.12.015.View ArticleGoogle Scholar
- Gysel R, Stevens K, Gusfield D: Reducing problems in unrooted tree compatibility to restricted triangulations of intersection graphs. Algorithms in Bioinformatics – 12th International Workshop, WABI 2012 Ljubljana, Slovenia, September 10–12, 2012. Proceedings, Volume 7534 of Lecture Notes in Computer Science. Edited by: Raphael BJ, Tang J. 2012, 93-105. Heidelberg: SpringerGoogle Scholar
- Semple C, Steel M: Phylogenetics. 2003, Oxford Lecture Series in Mathematics, Oxford: Oxford University PresssGoogle Scholar
- Buneman P: The recovery of trees from measures of dissimilarity. Mathematics in the Archaeological and Historical Sciences. 1971, 387-395. Edinburgh: Edinburgh University PressGoogle Scholar
- Parra A, Scheffler P: Characterizations and algorithmic applications of chordal graph embeddings. Discrete Appl Math. 1997, 79 (1–3): 171-188.View ArticleGoogle Scholar
- Todinca I, : Treewidth and minimum fill-in: grouping the minimal separators. SIAM J Comput. 2001, 31: 212-232. 10.1137/S0097539799359683.View ArticleGoogle Scholar
- Heggernes P: Minimal triangulations of graphs: a survey. Discrete Math. 2006, 306 (3): 297-317. 10.1016/j.disc.2005.12.003.View ArticleGoogle Scholar
- Gusfield D: The multi-state perfect phylogeny problem with missing and removable data: solutions via integer-programming and chordal graph theory. J Comput Biol. 2010, 17 (3): 383-399.View ArticlePubMedGoogle Scholar
- Grunewald S, Humphries PJ, Semple C: Quartet compatibility and the quartet graph. Electron J Comb. 2008, 15: R103.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.