Upcoming SlideShare
×

# Csr2011 june16 16_30_golovach

294 views

Published on

0 Likes
Statistics
Notes
• Full Name
Comment goes here.

Are you sure you want to Yes No
Your message goes here
• Be the first to comment

• Be the first to like this

Views
Total views
294
On SlideShare
0
From Embeds
0
Number of Embeds
13
Actions
Shares
0
2
0
Likes
0
Embeds 0
No embeds

No notes for slide

### Csr2011 june16 16_30_golovach

1. 1. Introduction Classiﬁcation of computational complexity Open problems Computing vertex-surjective homomorphisms to partially reﬂexive trees Petr A. Golovach, Dani¨l Paulusma and Jian Song e School of Engineering and Computing Sciences, Durham University The 6th International Computer Science Symposium in Russia June 14 – 18, 2011, St. Petersburg, Russia
2. 2. Introduction Classiﬁcation of computational complexity Open problemsOutline 1 Introduction Basic deﬁnitions Our results 2 Classiﬁcation of computational complexity Polynomial cases Hardness 3 Open problems
3. 3. Introduction Classiﬁcation of computational complexity Open problemsHomomorphisms Deﬁnition (Homomorphisms) A homomorphism from a graph G to a graph H is a mapping f : VG → VH that maps adjacent vertices of G to adjacent vertices of H, i.e., f (u)f (v ) ∈ EH whenever uv ∈ EG .
4. 4. Introduction Classiﬁcation of computational complexity Open problemsHomomorphisms Deﬁnition (Homomorphisms) A homomorphism from a graph G to a graph H is a mapping f : VG → VH that maps adjacent vertices of G to adjacent vertices of H, i.e., f (u)f (v ) ∈ EH whenever uv ∈ EG . Problem (H-Coloring) The problem H-Coloring tests whether a given graph G allows a homomorphism to a graph H called the target.
5. 5. Introduction Classiﬁcation of computational complexity Open problemsHomomorphisms Deﬁnition (Homomorphisms) A homomorphism from a graph G to a graph H is a mapping f : VG → VH that maps adjacent vertices of G to adjacent vertices of H, i.e., f (u)f (v ) ∈ EH whenever uv ∈ EG . Problem (H-Coloring) The problem H-Coloring tests whether a given graph G allows a homomorphism to a graph H called the target. Theorem (Hell-Neˇetˇil dichotomy theorem, 1990) s r The H-Coloring problem is solvable in polynomial time if H is bipartite, and NP-complete otherwise.
6. 6. Introduction Classiﬁcation of computational complexity Open problemsSurjective homomorphisms Deﬁnition (Surjective homomorphisms) A homomorphism f from a irreﬂexive graph G to a partially reﬂexive graph H is surjective if for each x ∈ VH there exists at least one vertex u ∈ VG with f (u) = x.
7. 7. Introduction Classiﬁcation of computational complexity Open problemsSurjective homomorphisms Deﬁnition (Surjective homomorphisms) A homomorphism f from a irreﬂexive graph G to a partially reﬂexive graph H is surjective if for each x ∈ VH there exists at least one vertex u ∈ VG with f (u) = x. Deﬁnition (Partially reﬂexive graphs) We say that a vertex incident to a self-loop is reﬂexive, whereas vertices with no self-loop are said to be irreﬂexive. A graph that contains zero or more reﬂexive vertices is called partially reﬂexive. In particular, a graph is reﬂexive if all its vertices are reﬂexive, and a graph is irreﬂexive if all its vertices are irreﬂexive.
8. 8. Introduction Classiﬁcation of computational complexity Open problemsSurjective homomorphisms Deﬁnition (Surjective homomorphisms) A homomorphism f from a irreﬂexive graph G to a partially reﬂexive graph H is surjective if for each x ∈ VH there exists at least one vertex u ∈ VG with f (u) = x. Deﬁnition (Partially reﬂexive graphs) We say that a vertex incident to a self-loop is reﬂexive, whereas vertices with no self-loop are said to be irreﬂexive. A graph that contains zero or more reﬂexive vertices is called partially reﬂexive. In particular, a graph is reﬂexive if all its vertices are reﬂexive, and a graph is irreﬂexive if all its vertices are irreﬂexive. Problem (Surjective H-Coloring) The problem Surjective H-Coloring tests whether a given graph G allows a surjective homomorphism to a graph H.
9. 9. Introduction Classiﬁcation of computational complexity Open problemsRelated problems A homomorphism f from a graph G to a graph H is locally surjective if f becomes surjective when restricted to the neighborhood of every vertex u of G .
10. 10. Introduction Classiﬁcation of computational complexity Open problemsRelated problems A homomorphism f from a graph G to a graph H is locally surjective if f becomes surjective when restricted to the neighborhood of every vertex u of G . Let G and H be two graphs with a list L(u) ⊆ VH associated to each vertex u ∈ VG . Then a homomorphism f from G to H is a list-homomorphism with respect to the lists L if f (u) ∈ L(u) for all u ∈ VG .
11. 11. Introduction Classiﬁcation of computational complexity Open problemsRelated problems A homomorphism f from a graph G to a graph H is locally surjective if f becomes surjective when restricted to the neighborhood of every vertex u of G . Let G and H be two graphs with a list L(u) ⊆ VH associated to each vertex u ∈ VG . Then a homomorphism f from G to H is a list-homomorphism with respect to the lists L if f (u) ∈ L(u) for all u ∈ VG . Let H be an induced subgraph of a graph G . A homomorphism f from a graph G to H is a retraction from G to H if f (h) = h for all h ∈ VH .
12. 12. Introduction Classiﬁcation of computational complexity Open problemsRelated problems A homomorphism f from a graph G to a graph H is locally surjective if f becomes surjective when restricted to the neighborhood of every vertex u of G . Let G and H be two graphs with a list L(u) ⊆ VH associated to each vertex u ∈ VG . Then a homomorphism f from G to H is a list-homomorphism with respect to the lists L if f (u) ∈ L(u) for all u ∈ VG . Let H be an induced subgraph of a graph G . A homomorphism f from a graph G to H is a retraction from G to H if f (h) = h for all h ∈ VH . A homomorphism from a graph G to a graph H is called edge-surjective or a compaction if for any edge xy ∈ EH with x = y there exists an edge uv ∈ EG with f (u) = x and f (v ) = y .
13. 13. Introduction Classiﬁcation of computational complexity Open problemsProblems that can be expressed via surjectivehomomorphisms Stable Cutset H G
14. 14. Introduction Classiﬁcation of computational complexity Open problemsProblems that can be expressed via surjectivehomomorphisms Independent Set 1 k H G
15. 15. Introduction Classiﬁcation of computational complexity Open problemsOur results We give a complete classiﬁcation of the computational complexity of the Surjective H-Coloring problem when H is a partially reﬂexive tree.
16. 16. Introduction Classiﬁcation of computational complexity Open problemsOur results We give a complete classiﬁcation of the computational complexity of the Surjective H-Coloring problem when H is a partially reﬂexive tree. We analyze the running time of the polynomial-time solvable cases and for connected n-vertex graphs, we ﬁnd a running time of nk+O(1) , where k is the number of leaves of H, and observe that this running time is asymptotically optimal.
17. 17. Introduction Classiﬁcation of computational complexity Open problemsOur results We give a complete classiﬁcation of the computational complexity of the Surjective H-Coloring problem when H is a partially reﬂexive tree. We analyze the running time of the polynomial-time solvable cases and for connected n-vertex graphs, we ﬁnd a running time of nk+O(1) , where k is the number of leaves of H, and observe that this running time is asymptotically optimal. But we prove that for these cases, Surjective H-Coloring parameterized by |VH | is FPT on graphs of bounded expansion.
18. 18. Introduction Classiﬁcation of computational complexity Open problemsClassiﬁcation of computational complexity Theorem For any ﬁxed partially reﬂexive tree H, the Surjective H-Coloring problem is polynomial time solvable if the set of reﬂexive vertices induces a connected subgraph (we call such graphs loop-connected), and NP-complete otherwise.
19. 19. Introduction Classiﬁcation of computational complexity Open problemsClassiﬁcation of computational complexity Polynomial and NP-complete cases Polynomial NP-complete
20. 20. Introduction Classiﬁcation of computational complexity Open problemsPolynomial cases Theorem Let H be a loop-connected tree with k leaves. For n-vertex connected graphs, Surjective H-Coloring can be solved in time nk+O(1) .
21. 21. Introduction Classiﬁcation of computational complexity Open problemsSketch of the proof Special homomorphisms u1 u5 x y z r u2 H u3 u4
22. 22. Introduction Classiﬁcation of computational complexity Open problemsSketch of the proof Special homomorphisms u1 u5 x y z r u2 H u3 u4 u1 u5 u4 u2 u3
23. 23. Introduction Classiﬁcation of computational complexity Open problemsSketch of the proof Special homomorphisms u1 u5 x y z r u2 H u3 u4 u1 u5 u4 u2 u3
24. 24. Introduction Classiﬁcation of computational complexity Open problemsSketch of the proof Special homomorphisms u1 u5 x y z r u2 H u3 u4 u1 u5 u4 u2 u3
25. 25. Introduction Classiﬁcation of computational complexity Open problemsSketch of the proof Special homomorphisms u1 u5 x y z r u2 H u3 u4 u1 u5 u4 u2 u3
26. 26. Introduction Classiﬁcation of computational complexity Open problemsParameterized complexity Theorem Let H be a loop-connected tree with k leaves. For n-vertex connected graphs, Surjective H-Coloring can be solved in time nk+O(1) , i.e. this problem is in XP when parameterized by the number of leaves.
27. 27. Introduction Classiﬁcation of computational complexity Open problemsParameterized complexity Independent Set 1 k Sk G
28. 28. Introduction Classiﬁcation of computational complexity Open problemsParameterized complexity Proposition Surjective Sk -Coloring is W[1]-complete when parameterized by k.
29. 29. Introduction Classiﬁcation of computational complexity Open problemsParameterized complexity Proposition Surjective Sk -Coloring is W[1]-complete when parameterized by k. Proposition Surjective Sk -Coloring cannot be solved in f (k) · no(k) time on n-vertex graphs, unless the Exponential Time Hypothesis collapses.
30. 30. Introduction Classiﬁcation of computational complexity Open problemsParameterized complexity Theorem Let H be a loop-connected tree. Then Surjective H-Coloring is FPT for any graphs of bounded expansion when parameterized by |VH |.
31. 31. Introduction Classiﬁcation of computational complexity Open problemsIdea of the proof Special homomorphisms u1 u5 x y z r u2 H u3 u4 u1 u5 u4 u2 u3
32. 32. Introduction Classiﬁcation of computational complexity Open problemsNP-complete cases Theorem For any ﬁxed partially reﬂexive tree H that is not loop-connected, the Surjective H-Coloring problem is NP-complete.
33. 33. Introduction Classiﬁcation of computational complexity Open problemsIdea of the proof Stable Cutset H G
34. 34. Introduction Classiﬁcation of computational complexity Open problemsOpen problems Give a complete complexity classiﬁcation of the Surjective H-Coloring.
35. 35. Introduction Classiﬁcation of computational complexity Open problemsOpen problems Give a complete complexity classiﬁcation of the Surjective H-Coloring. What can be said about special case when H is a partially reﬂexive cycle?
36. 36. Introduction Classiﬁcation of computational complexity Open problemsOpen problems Give a complete complexity classiﬁcation of the Surjective H-Coloring. What can be said about special case when H is a partially reﬂexive cycle? Are H-Compaction, H-Retraction and Surjective H-Coloring polynomially equivalent to each other for each target graph H?
37. 37. Introduction Classiﬁcation of computational complexity Open problems Thank You!