5th course: phylogeny and chordal graphs - irifhabib/documents/phylogeny.pdf · 2011. 10. 11. ·...
TRANSCRIPT
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
5th Course:Phylogeny and chordal graphs
Michel [email protected]
http://www.liafa.jussieu.fr/~habib
Chevaleret, october 2011
1/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habibhttp://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Schedule
1 Introduction
2 An example of 4-State Full Characters
3 Chordal Sandwich Graph
2/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Schedule
1 Introduction
2 An example of 4-State Full Characters
3 Chordal Sandwich Graph
2/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Schedule
1 Introduction
2 An example of 4-State Full Characters
3 Chordal Sandwich Graph
2/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Phylogenetics
Objective: reconstruct evolutionary history of species frombiological data of present-day species.Models: phylogenetic trees, networks (rooted or unrooted)
x
u
z
t
y
v
An unrooted phylogenetic tree on the set of speciesL = {x , y , z , t, u, v}
3/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Perfect Phylogeny and chordal graphs
The data is an incidence matrix from a set of species S1, . . . ,Sn toa set of attributes F1, . . . ,Fm.Attributes can have different values (integers or colors).These species are modern species and we aim at reconstructing aplausible historical evolution tree T , finding ancestral species.In T vertices are species, and its leaves correspond to S1, . . . ,Snand every value of an attribute must define a connected subtree.
4/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
We define a graph G whose vertices are the value of the attributes.Two values are joined by an edge if they are both present in somespecie.Then a specie corresponds to a clique in G .When G is chordal, then T is a maximal clique tree of G havingS1, . . . ,Sn as set of leaves.Such a situation is called a Perfect phylogeny.
5/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Many researches in this field to cope with uncertainity, bad data orpartial data.One model is using partial partitions of the species such as triplets,quadruplets . . . .
One major problem:
For which data there exists a unique phylogenetic tree ?
6/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
An example
7/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
8/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Discussion
1 X ,Y the new maximal cliques of G + β2γ3 are plausibleancestral species.
2 G could have been also completed as a chordal graph, byadding the edge α1β1, but then this would imply that F1 isnot properly defined since α1, β1 are values of F1.
3 Therefore attributes must correspond to independent sets ofG (or colors).
9/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Discussion
1 X ,Y the new maximal cliques of G + β2γ3 are plausibleancestral species.
2 G could have been also completed as a chordal graph, byadding the edge α1β1, but then this would imply that F1 isnot properly defined since α1, β1 are values of F1.
3 Therefore attributes must correspond to independent sets ofG (or colors).
9/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Discussion
1 X ,Y the new maximal cliques of G + β2γ3 are plausibleancestral species.
2 G could have been also completed as a chordal graph, byadding the edge α1β1, but then this would imply that F1 isnot properly defined since α1, β1 are values of F1.
3 Therefore attributes must correspond to independent sets ofG (or colors).
9/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
More precisely
Input:A species set LA character set C on L
x
u
y
z
tv
x
u
y
z
t
x y
z
tv
x
u
y
z
tv
x
u
y
z
tv
L A B C DA: a 3-state characterC : a 4-state full character.
Output:A phylogenetic tree
(ternary) on L on which allcharacters of C are convex
x
u
z
t
y
v
T
10/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
More precisely
Input:A species set LA character set C on L
x
u
y
z
tv
x
u
y
z
t
x y
z
tv
x
u
y
z
tv
x
u
y
z
tv
L A B C DA: a 3-state characterC : a 4-state full character.
Output:A phylogenetic tree
(ternary) on L on which allcharacters of C are convex
x
u
z
y
t
v
A is convex on T
10/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
More precisely
Input:A species set LA character set C on L
x
u
y
z
tv
x
u
y
z
t
x y
z
tv
x
u
y
z
tv
x
u
y
z
tv
L A B C DA: a 3-state characterC : a 4-state full character.
Output:A phylogenetic tree
(ternary) on L on which allcharacters of C are convex
x
u
z
y
t
v
B is convex on T
10/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
More precisely
Input:A species set LA character set C on L
x
u
y
z
tv
x
u
y
z
t
x y
z
tv
x
u
y
z
tv
x
u
y
z
tv
L A B C DA: a 3-state characterC : a 4-state full character.
Output:A phylogenetic tree
(ternary) on L on which allcharacters of C are convex
x
u
z
y
t
v
C is convex on T
10/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
More precisely
Input:A species set LA character set C on L
x
u
y
z
tv
x
u
y
z
t
x y
z
tv
x
u
y
z
tv
x
u
y
z
tv
L A B C DA: a 3-state characterC : a 4-state full character.
Output:A phylogenetic tree
(ternary) on L on which allcharacters of C are convex
x
u
z
y
t
v
D is convex on T
10/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
More precisely
Input:A species set LA character set C on L
x
u
y
z
tv
x
u
y
z
t
x y
z
tv
x
u
y
z
tv
x
u
y
z
tv
L A B C DA: a 3-state characterC : a 4-state full character.
Output:A phylogenetic tree
(ternary) on L on which allcharacters of C are convex
⇒ A,B,C ,D are compatible
10/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
More precisely
Input:A species set LA character set C on L
x
u
y
z
tv
x
u
y
z
t
x y
z
tv
x
u
y
z
tv
x
u
y
z
tv
L A B C DA: a 3-state characterC : a 4-state full character.
Output:A phylogenetic tree
(ternary) on L on which allcharacters of C are convex
x
u
z
y
t
v
A character not convex on T
10/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Previous work
Theorem (Fitch 75, Meacham 83)
For any r ≥ 2, there exists a set of r -state full characters in whichevery r − 1 characters are compatible but the whole set is notcompatible.
Theorem (Meacham 83, Lam and Gusfield 09)
For r = 2, 3, a set of r -state full characters is compatible iff every rcharacters are compatible.
Question: ∀r ≥ 2, a set of r -state full characters is compatible iffevery r characters are compatible? [Lam and Gusfield 09]
11/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Intersection partition graph
x
u
y
z
tv
x
u
y
z
t
x y
z
tv
x
u
y
z
tv
x
u
y
z
tv
L A B C D
C = {A,B,C ,D}A = {x , u}|{z , t}|{y} = A0|A1|A2B = {x , y}|{t, v}|{z} = B0|B1|B2C = {y , z}|{u, v}|{t}|{v} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3
A
A
B B
B
A
D
D
D
D
C
C
C
0
12
3
0 1
2
0
1
2
3
0
1
2
C
Intersection partition graph
of C
12/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Proper chordal completion
A graph is chordal iff every chordless cycle is a triangle, i.e. haslength 3.A chordal completion of a graph G = (V ,E ) is a chordal graphG ′ = (V ,E ′) such that E ⊆ E ′.A proper chordal completion of a vertex-coloured graph G is achordal completion of G without connecting any pair of vertices ofthe same colour.
Theorem (Meacham 83, Steel 92)
C is compatible ⇔ the intersectionpartition graph of C has a properchordal completion
13/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
A
A
B B
B
A
D
D
D
D
C
C
C
0
12
3
0 1
2
0
1
2
3
0
1
2
C
Intersection partition graph
14/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
AD
D
D
DC
C
C
0
1
2 3
0 1
2
0
1
2
3
0
1
2
C
B3
A3
E3
E2
E1
E0
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
AD
D
D
DC
C
C
0
1
2 3
0 1
2
0
1
2
3
0
1
2
C
B3
A3
E3
E2
E1
E0
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
AD
D
D
DC
C
C
0
1
2 3
0 1
2
0
1
2
3
0
1
2
C
B3
A3
E3
E2
E1
E0
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
AD
D
D
DC
C
C
0
1
2 3
0 1
2
0
1
2
3
0
1
2
C
B3
A3
E3
E2
E1
E0
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
AD
D
D
DC
C
C
0
1
2 3
0 1
2
0
1
2
3
0
1
2
C
B3
A3
E3
E2
E1
E0
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
AD
D
D
DC
C
C
0
1
2 3
0 1
2
0
1
2
3
0
1
2
C
B3
A3
E3
E2
E1
E0
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
AD
D
D
DC
C
C
0
1
2 3
0 1
2
0
1
2
3
0
1
2
C
B3
A3
E3
E2
E1
E0
A,B,C ,D,E are notcompatible
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
AD
D
D
DC
C
C
0
1
2 3
0
1
2
3
0
1
2
C
A3
E3
E2
E1
E0
A,C ,D,E are compati-ble
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
AD
D
D
DC
C
C
0
1
2 3
0 1
2
0
1
2
3
0
1
2
C
B3
A3
A,B,C ,D are compati-ble
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
A
C
C
C
0
1
2 3
0 1
2
0
1
2
C
B3
A3
E3
E2
E1
E0
A,B,C ,E are compati-ble
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
A
A
B B
B
AD
D
D
D
0
1
2
0 1
2
0
1
2
3
B3
A3
E3
E2
E1
E0
A,B,D,E are compati-ble
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
B B
B
D
D
D
DC
C
C3
0 1
2
0
1
2
3
0
1
2
C
B3
E3
E2
E1
E0
B,C ,D,E are compati-ble
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
4-State Full Characters
A = {x , u}|{z , t}|{y}|{v} = A0|A1|A2|A3B = {x , y}|{t, v}|{z}|{u} = B0|B1|B2|B3C = {y , z}|{u, v}|{x}|{t} = C0|C1|C2|C3D = {x , u}|{y , z}|{t}|{v} = D0|D1|D2|D3E = {z , t}|{u, v}|{x}|{y} = E0|E1|E2|E3
To determine the compatibility of set of a 4-statecharacters, it is not sufficient to test thecompatibility of every 4 characters
15/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Notations
P = [V ,E ,F ] is a sandwichproblem of the graphG = (V ,E ), whereF ⊆ V × V \ E .
a bc
d
e
f
GS = (V ,ES) is called aΠ-sandwich graph of P ifE ⊆ ES ⊆ V × V \ F and GSsatisfies property Π.
a bc
d
e
f
16/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Notations
P = [V ,E ,F ] is a sandwichproblem of the graphG = (V ,E ), whereF ⊆ V × V \ E .
a bc
d
e
f
GS = (V ,ES) is called aΠ-sandwich graph of P ifE ⊆ ES ⊆ V × V \ F and GSsatisfies property Π.
a bc
d
e
f
16/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Chordal Sandwich Graph
By taking F = {(u, v)|u, v have the same colour}, the problem ofchordal completion of vertex-coloured graph is transformed tochordal sandwich graph.
A
A
B B
C0
1
0 1
1 A
A
B B
C0
1
0 1
1
17/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Consequences
Perfect phylogeny is NP-complete [Bodlaender et al. 92, Steel92], since chordal sandwich problem is NP-hard.
Unique Perfect phylogeny is NP-hard [Habib, Stacho 11] alsounique minimal chordal sandwich problem is NP-hard.
18/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
-
Introduction An example of 4-State Full Characters Chordal Sandwich Graph
Consequences
Perfect phylogeny is NP-complete [Bodlaender et al. 92, Steel92], since chordal sandwich problem is NP-hard.
Unique Perfect phylogeny is NP-hard [Habib, Stacho 11] alsounique minimal chordal sandwich problem is NP-hard.
18/18
Michel Habib [email protected] http://www.liafa.jussieu.fr/~habib 5th Course: Phylogeny and chordal graphs
http://www.liafa.jussieu.fr/~habib
IntroductionAn example of 4-State Full CharactersChordal Sandwich Graph