Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC...

66
Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree fo Parameterized Complexity of Secluded Connectivity Problems Petr A. Golovach 1 Fedor V. Fomin 1 Nikolay Karpov 2 Alexander S. Kulikov 2 1 University of Bergen 2 Steklov Institute of Mathematics at St.Petersburg Algorithmic Graph Theory on the Adriatic Coast, Koper, 16-18.06.2015

Transcript of Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC...

Page 1: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterized Complexity of SecludedConnectivity Problems

Petr A. Golovach1

Fedor V. Fomin1 Nikolay Karpov2 Alexander S. Kulikov2

1University of Bergen

2Steklov Institute of Mathematics at St.Petersburg

Algorithmic Graph Theory on the Adriatic Coast, Koper,16-18.06.2015

Page 2: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Outline

1 Introduction

2 Parameterization by the solution size

3 Parameterization above the lower bound

4 Kernelization

5 Secluded Steiner Tree for graphs of bounded treewidth

6 Conclusions

Page 3: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterized complexity

Parameterized complexity is a two dimensional framework forstudying the computational complexity of a problem. Onedimension is the input size n and another one is a parameter k .

A problem is fixed parameter tractable (or FPT), if it can besolved in time f (k) · nO(1) for some function f , where n is theinput size and k is a parameter.

The main hierarchy of parameterized complexity classes is

FPT ⊆W [1] ⊆W [2] ⊆ . . . ⊆W [P] ⊆ XP.

A W[1]-hard problem cannot be solved in FPT-time unlessFPT=W[1].

Page 4: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterized complexity

Parameterized complexity is a two dimensional framework forstudying the computational complexity of a problem. Onedimension is the input size n and another one is a parameter k .

A problem is fixed parameter tractable (or FPT), if it can besolved in time f (k) · nO(1) for some function f , where n is theinput size and k is a parameter.

The main hierarchy of parameterized complexity classes is

FPT ⊆W [1] ⊆W [2] ⊆ . . . ⊆W [P] ⊆ XP.

A W[1]-hard problem cannot be solved in FPT-time unlessFPT=W[1].

Page 5: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterized complexity

Parameterized complexity is a two dimensional framework forstudying the computational complexity of a problem. Onedimension is the input size n and another one is a parameter k .

A problem is fixed parameter tractable (or FPT), if it can besolved in time f (k) · nO(1) for some function f , where n is theinput size and k is a parameter.

The main hierarchy of parameterized complexity classes is

FPT ⊆W [1] ⊆W [2] ⊆ . . . ⊆W [P] ⊆ XP.

A W[1]-hard problem cannot be solved in FPT-time unlessFPT=W[1].

Page 6: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterized complexity

Parameterized complexity is a two dimensional framework forstudying the computational complexity of a problem. Onedimension is the input size n and another one is a parameter k .

A problem is fixed parameter tractable (or FPT), if it can besolved in time f (k) · nO(1) for some function f , where n is theinput size and k is a parameter.

The main hierarchy of parameterized complexity classes is

FPT ⊆W [1] ⊆W [2] ⊆ . . . ⊆W [P] ⊆ XP.

A W[1]-hard problem cannot be solved in FPT-time unlessFPT=W[1].

Page 7: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Secluded paths and trees

vu

Page 8: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Secluded paths and trees

Secluded Steiner Tree

Input: A graph G with a cost function w : V (G )→ N, a setS = {s1, . . . , sp} ⊆ V (G ) of terminals, andnon-negative integers k and C .

Question: Is there a connected subgraph T of G withS ⊆ V (T ) such that |NG [V (T )]| ≤ k andw(NG [V (T )]) ≤ C?

If p = 2, then we obtain Secluded Path.

If w(v) = 1 for v ∈ V (G ) and C = k , then we have an instance ofSecluded Steiner Tree without costs.

Page 9: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Secluded paths and trees

Secluded Steiner Tree

Input: A graph G with a cost function w : V (G )→ N, a setS = {s1, . . . , sp} ⊆ V (G ) of terminals, andnon-negative integers k and C .

Question: Is there a connected subgraph T of G withS ⊆ V (T ) such that |NG [V (T )]| ≤ k andw(NG [V (T )]) ≤ C?

If p = 2, then we obtain Secluded Path.

If w(v) = 1 for v ∈ V (G ) and C = k , then we have an instance ofSecluded Steiner Tree without costs.

Page 10: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Secluded paths and trees

Secluded Steiner Tree

Input: A graph G with a cost function w : V (G )→ N, a setS = {s1, . . . , sp} ⊆ V (G ) of terminals, andnon-negative integers k and C .

Question: Is there a connected subgraph T of G withS ⊆ V (T ) such that |NG [V (T )]| ≤ k andw(NG [V (T )]) ≤ C?

If p = 2, then we obtain Secluded Path.

If w(v) = 1 for v ∈ V (G ) and C = k , then we have an instance ofSecluded Steiner Tree without costs.

Page 11: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Previous work

Secluded Path and Secluded Steiner Tree wereintroduced by Chechik, Johnson, Parter and Peleg at ESA 2013.

Secluded Path without costs is NP-complete.

Secluded Path without costs is solvable in time ∆∆ · nO(1),where ∆ is the maximum vertex degree and and thus is FPTbeing parameterized by ∆.

Secluded Steiner Tree problem is solvable in time2O(t log t) · nO(1) · logW for graphs of treewidth at most t,where W is the maximum value of w .

Page 12: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Previous work

Secluded Path and Secluded Steiner Tree wereintroduced by Chechik, Johnson, Parter and Peleg at ESA 2013.

Secluded Path without costs is NP-complete.

Secluded Path without costs is solvable in time ∆∆ · nO(1),where ∆ is the maximum vertex degree and and thus is FPTbeing parameterized by ∆.

Secluded Steiner Tree problem is solvable in time2O(t log t) · nO(1) · logW for graphs of treewidth at most t,where W is the maximum value of w .

Page 13: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Previous work

Secluded Path and Secluded Steiner Tree wereintroduced by Chechik, Johnson, Parter and Peleg at ESA 2013.

Secluded Path without costs is NP-complete.

Secluded Path without costs is solvable in time ∆∆ · nO(1),where ∆ is the maximum vertex degree and and thus is FPTbeing parameterized by ∆.

Secluded Steiner Tree problem is solvable in time2O(t log t) · nO(1) · logW for graphs of treewidth at most t,where W is the maximum value of w .

Page 14: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Previous work

Secluded Path and Secluded Steiner Tree wereintroduced by Chechik, Johnson, Parter and Peleg at ESA 2013.

Secluded Path without costs is NP-complete.

Secluded Path without costs is solvable in time ∆∆ · nO(1),where ∆ is the maximum vertex degree and and thus is FPTbeing parameterized by ∆.

Secluded Steiner Tree problem is solvable in time2O(t log t) · nO(1) · logW for graphs of treewidth at most t,where W is the maximum value of w .

Page 15: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Our results

We show that Secluded Steiner Tree is FPT whenparameterized by k .

We show that Secluded Steiner Tree is FPT beingparameterized by r + p, where p is the number of theterminals, ` the size of an optimum Steiner tree, andr = k − `. We complement this result by showing that theproblem is co-W[1]-hard when parameterized by r only.

We investigate Secluded Steiner Tree from kernelizationperspective and provide several lower and upper bounds whenparameters are the treewidth, the size of a vertex cover,maximum vertex degree and the solution size.

We refine the algorithmic result of Chechik et al. forSecluded Steiner Tree on graphs of bounded treewidthby improving the exponential dependence from the treewidthof the input graph.

Page 16: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Our results

We show that Secluded Steiner Tree is FPT whenparameterized by k .

We show that Secluded Steiner Tree is FPT beingparameterized by r + p, where p is the number of theterminals, ` the size of an optimum Steiner tree, andr = k − `. We complement this result by showing that theproblem is co-W[1]-hard when parameterized by r only.

We investigate Secluded Steiner Tree from kernelizationperspective and provide several lower and upper bounds whenparameters are the treewidth, the size of a vertex cover,maximum vertex degree and the solution size.

We refine the algorithmic result of Chechik et al. forSecluded Steiner Tree on graphs of bounded treewidthby improving the exponential dependence from the treewidthof the input graph.

Page 17: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Our results

We show that Secluded Steiner Tree is FPT whenparameterized by k .

We show that Secluded Steiner Tree is FPT beingparameterized by r + p, where p is the number of theterminals, ` the size of an optimum Steiner tree, andr = k − `. We complement this result by showing that theproblem is co-W[1]-hard when parameterized by r only.

We investigate Secluded Steiner Tree from kernelizationperspective and provide several lower and upper bounds whenparameters are the treewidth, the size of a vertex cover,maximum vertex degree and the solution size.

We refine the algorithmic result of Chechik et al. forSecluded Steiner Tree on graphs of bounded treewidthby improving the exponential dependence from the treewidthof the input graph.

Page 18: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Our results

We show that Secluded Steiner Tree is FPT whenparameterized by k .

We show that Secluded Steiner Tree is FPT beingparameterized by r + p, where p is the number of theterminals, ` the size of an optimum Steiner tree, andr = k − `. We complement this result by showing that theproblem is co-W[1]-hard when parameterized by r only.

We investigate Secluded Steiner Tree from kernelizationperspective and provide several lower and upper bounds whenparameters are the treewidth, the size of a vertex cover,maximum vertex degree and the solution size.

We refine the algorithmic result of Chechik et al. forSecluded Steiner Tree on graphs of bounded treewidthby improving the exponential dependence from the treewidthof the input graph.

Page 19: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization by the solution size

Theorem

Secluded Path is solvable in time O(3k/3 · n logW ) andSecluded Steiner Tree can be solved in timeO(2k · (n + m)k2 logW ), where W is the maximum value of w onthe input graph G .

Corollary

Secluded Path is solvable in time O(1.3896n · logW ), andSecluded Steiner Tree is solvable in time O(1.7088n · logW ),where W is the maximum value of w on the input graph G .

Page 20: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization by the solution size

Theorem

Secluded Path is solvable in time O(3k/3 · n logW ) andSecluded Steiner Tree can be solved in timeO(2k · (n + m)k2 logW ), where W is the maximum value of w onthe input graph G .

Corollary

Secluded Path is solvable in time O(1.3896n · logW ), andSecluded Steiner Tree is solvable in time O(1.7088n · logW ),where W is the maximum value of w on the input graph G .

Page 21: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

We use the color coding/random separation techniques introducedby Alon, Yuster and Zwick (1995) and Cai, Chan and Chan (2006).

We color vertices of the input graph G independently anduniformly at random by two colors red and blue.

We say that a solution for the considered instance, i.e., aconnected subgraph T of G with S ⊆ V (T ) such that|NG [V (T )]| ≤ k and w(NG [V (T )]) ≤ C , is colored correctly if thevertices of T are red and the vertices of NG (V (T )) are blue.

Page 22: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

We use the color coding/random separation techniques introducedby Alon, Yuster and Zwick (1995) and Cai, Chan and Chan (2006).

We color vertices of the input graph G independently anduniformly at random by two colors red and blue.

We say that a solution for the considered instance, i.e., aconnected subgraph T of G with S ⊆ V (T ) such that|NG [V (T )]| ≤ k and w(NG [V (T )]) ≤ C , is colored correctly if thevertices of T are red and the vertices of NG (V (T )) are blue.

Page 23: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

We use the color coding/random separation techniques introducedby Alon, Yuster and Zwick (1995) and Cai, Chan and Chan (2006).

We color vertices of the input graph G independently anduniformly at random by two colors red and blue.

We say that a solution for the considered instance, i.e., aconnected subgraph T of G with S ⊆ V (T ) such that|NG [V (T )]| ≤ k and w(NG [V (T )]) ≤ C , is colored correctly if thevertices of T are red and the vertices of NG (V (T )) are blue.

Page 24: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

s2s1

If there is a correctly colored solution T , then it can be found in astraightforward way: T is the component of the subgraph of Ginduced by the red vertices that contains all the terminals.

Page 25: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

s2s1

If there is a correctly colored solution T , then it can be found in astraightforward way: T is the component of the subgraph of Ginduced by the red vertices that contains all the terminals.

Page 26: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

If there is a solution T , then the probability that it is coloredcorrectly is at least 1

2k.

The probability that the solution is colored incorrectly is at most1− 1

2k.

The probability that for 2k random colorings, the solution iscolored incorrectly for all of them, is at most (1− 1

2k)2k ≤ 1

e .

Page 27: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

If there is a solution T , then the probability that it is coloredcorrectly is at least 1

2k.

The probability that the solution is colored incorrectly is at most1− 1

2k.

The probability that for 2k random colorings, the solution iscolored incorrectly for all of them, is at most (1− 1

2k)2k ≤ 1

e .

Page 28: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

If there is a solution T , then the probability that it is coloredcorrectly is at least 1

2k.

The probability that the solution is colored incorrectly is at most1− 1

2k.

The probability that for 2k random colorings, the solution iscolored incorrectly for all of them, is at most (1− 1

2k)2k ≤ 1

e .

Page 29: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Let (G ,w , S , k ,C ) be an instance of Secluded Steiner Tree.

Suppose that F is a connected induced subgraph of G of minimumsize such that S ⊆ V (F ), i.e., F is a minimum vertex Steiner tree.Then ` = |V (F )| ≤ |V (T )| ≤ |NG [V (T )]| for any solution T forthe considered instance.

If k < `, the answer is “No’’.

We ask whether there is a solution for k = ` + r , where r is theparameter.

Page 30: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Let (G ,w , S , k ,C ) be an instance of Secluded Steiner Tree.

Suppose that F is a connected induced subgraph of G of minimumsize such that S ⊆ V (F ), i.e., F is a minimum vertex Steiner tree.Then ` = |V (F )| ≤ |V (T )| ≤ |NG [V (T )]| for any solution T forthe considered instance.

If k < `, the answer is “No’’.

We ask whether there is a solution for k = ` + r , where r is theparameter.

Page 31: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Let (G ,w , S , k ,C ) be an instance of Secluded Steiner Tree.

Suppose that F is a connected induced subgraph of G of minimumsize such that S ⊆ V (F ), i.e., F is a minimum vertex Steiner tree.Then ` = |V (F )| ≤ |V (T )| ≤ |NG [V (T )]| for any solution T forthe considered instance.

If k < `, the answer is “No’’.

We ask whether there is a solution for k = ` + r , where r is theparameter.

Page 32: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Let (G ,w , S , k ,C ) be an instance of Secluded Steiner Tree.

Suppose that F is a connected induced subgraph of G of minimumsize such that S ⊆ V (F ), i.e., F is a minimum vertex Steiner tree.Then ` = |V (F )| ≤ |V (T )| ≤ |NG [V (T )]| for any solution T forthe considered instance.

If k < `, the answer is “No’’.

We ask whether there is a solution for k = ` + r , where r is theparameter.

Page 33: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Steiner Tree is NP-complete (Karp, 1972).

Dreyfus and Wagner (1971) proved that the problem can be solvedin time O∗(3p), i.e., it is FPT when parameterized by the numberof terminals.

The currently best FPT-algorithms for Steiner Tree running intime O∗(2p) are given by Bjorklund et al. (2007) and Nederlof(2013) (the first algorithm demands exponential in p space and thelatter uses polynomial space).

Page 34: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Steiner Tree is NP-complete (Karp, 1972).

Dreyfus and Wagner (1971) proved that the problem can be solvedin time O∗(3p), i.e., it is FPT when parameterized by the numberof terminals.

The currently best FPT-algorithms for Steiner Tree running intime O∗(2p) are given by Bjorklund et al. (2007) and Nederlof(2013) (the first algorithm demands exponential in p space and thelatter uses polynomial space).

Page 35: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Steiner Tree is NP-complete (Karp, 1972).

Dreyfus and Wagner (1971) proved that the problem can be solvedin time O∗(3p), i.e., it is FPT when parameterized by the numberof terminals.

The currently best FPT-algorithms for Steiner Tree running intime O∗(2p) are given by Bjorklund et al. (2007) and Nederlof(2013) (the first algorithm demands exponential in p space and thelatter uses polynomial space).

Page 36: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Theorem

Secluded Steiner Tree can be solved in time2O(p+r) · nm · logW by a true-biased Monte-Carlo algorithm and intime 2O(p+r) · nm log n · logW by a deterministic algorithm, wherer = k − ` and ` is the size of a Steiner tree for S and W is themaximum value of w on the input graph G .

Page 37: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Auxiliary lemmas

Lemma

Let G be a connected graph and S ⊆ V (G ), p = |S |. Let F be aninclusion minimal induced subgraph of G such that S ⊆ V (F ) andX = {v ∈ V (F )|dF (v) ≥ 3} ∪ S . Then

i) |X | ≤ 4p − 6, and

ii) |NF (X )| ≤ 4p − 6.

Page 38: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Auxiliary lemmas

Lemma

Let G be a connected graph and S ⊆ V (G ), p = |S |. Let F be aninclusion minimal induced subgraph of G such that S ⊆ V (F ) andX = {v ∈ V (F )|dF (v) ≥ 3} ∪ S . Then

i) |X | ≤ 4p − 6, and

ii) |NF (X )| ≤ 4p − 6.

Page 39: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Auxiliary lemmas

Lemma

Let G be a connected graph and S ⊆ V (G ), p = |S |. Let ` be thesize of a Steiner tree for S and r be a positive integer. Supposethat T is an inclusion minimal subgraph of G such that T is a treespanning S and |NG [V (T )]| ≤ ` + r . Then for Y = NG (V (T )),|NG (Y ) ∩ V (T )| ≤ 4p + 2r − 5.

k = 11 > r − 3

Page 40: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Auxiliary lemmas

Lemma

Let G be a connected graph and S ⊆ V (G ), p = |S |. Let ` be thesize of a Steiner tree for S and r be a positive integer. Supposethat T is an inclusion minimal subgraph of G such that T is a treespanning S and |NG [V (T )]| ≤ ` + r . Then for Y = NG (V (T )),|NG (Y ) ∩ V (T )| ≤ 4p + 2r − 5.

k = 11 > r − 3

Page 41: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Auxiliary lemmas

Lemma

Let G be a connected graph and S ⊆ V (G ), p = |S |. Let ` be thesize of a Steiner tree for S and r be a positive integer. Supposethat T is an inclusion minimal subgraph of G such that T is a treespanning S and |NG [V (T )]| ≤ ` + r . Then for Y = NG (V (T )),|NG (Y ) ∩ V (T )| ≤ 4p + 2r − 5.

k = 11 > r − 3

Page 42: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

Page 43: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

We color vertices of the input graph G independently anduniformly at random by two colors red and blue.

We say that a solution for the considered instance, i.e., aconnected subgraph T of G with S ⊆ V (T ) such that|NG [V (T )]| ≤ k and w(NG [V (T )]) ≤ C , is colored correctly, if forF = G [V (T )] the following holds:

the vertices of Y = NG (V (T )) are blue,

the vertices of X = {v ∈ V (T ) | dF (v) ≥ 3} ∪ S are red,

the vertices of NT (X ) are red,

the vertices of Z = NG (Y ) ∩ V (T ) are red,

for any z ∈ Z \ S , at least two neighbors of z in T are red.

Page 44: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

We color vertices of the input graph G independently anduniformly at random by two colors red and blue.

We say that a solution for the considered instance, i.e., aconnected subgraph T of G with S ⊆ V (T ) such that|NG [V (T )]| ≤ k and w(NG [V (T )]) ≤ C , is colored correctly, if forF = G [V (T )] the following holds:

the vertices of Y = NG (V (T )) are blue,

the vertices of X = {v ∈ V (T ) | dF (v) ≥ 3} ∪ S are red,

the vertices of NT (X ) are red,

the vertices of Z = NG (Y ) ∩ V (T ) are red,

for any z ∈ Z \ S , at least two neighbors of z in T are red.

Page 45: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

Page 46: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Theorem

Secluded Steiner Tree can be solved in time2O(p+r) · nm · logW by a true-biased Monte-Carlo algorithm and intime 2O(p+r) · nm log n · logW by a deterministic algorithm, wherer = k − ` and ` is the size of a Steiner tree for S and W is themaximum value of w on the input graph G .

Theorem

Secluded Steiner Tree without costs is co-W[1]-hard whenparameterized by r , where r = k − ` and ` is the size of a Steinertree for S .

Page 47: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Parameterization above the lower bound

Theorem

Secluded Steiner Tree can be solved in time2O(p+r) · nm · logW by a true-biased Monte-Carlo algorithm and intime 2O(p+r) · nm log n · logW by a deterministic algorithm, wherer = k − ` and ` is the size of a Steiner tree for S and W is themaximum value of w on the input graph G .

Theorem

Secluded Steiner Tree without costs is co-W[1]-hard whenparameterized by r , where r = k − ` and ` is the size of a Steinertree for S .

Page 48: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Kernelization

A kernelization for a parameterized problem is a polynomialalgorithm that maps each instance (x , k) with the input x and theparameter k to an instance (x ′, k ′) such that

i) (x , k) is a YES-instance if and only if (x ′, k ′) is aYES-instance of the problem,

ii) the size of x ′ is bounded by f (k) for a computable function f ,and

iii) k ′ is bounded by some g(k).

The output (x ′, k ′) is called a kernel. The function f is said to bea size of a kernel. Respectively, a kernel is polynomial if f ispolynomial.

Page 49: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Kernelization

A parameterized problem is FPT if and only if it has a kernel.

It is widely believed that not all FPT problems have polynomialkernels. In particular, Bodlaender et al. (2009) and Bodlaender,Jansen and Kratsch (2014) introduced techniques that allow toshow that a parameterized problem has no polynomial kernelunless NP⊆co-NP/poly.

Page 50: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Kernelization

A parameterized problem is FPT if and only if it has a kernel.

It is widely believed that not all FPT problems have polynomialkernels. In particular, Bodlaender et al. (2009) and Bodlaender,Jansen and Kratsch (2014) introduced techniques that allow toshow that a parameterized problem has no polynomial kernelunless NP⊆co-NP/poly.

Page 51: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Kernelization lower bounds

Theorem

Secluded Path without costs on graphs of treewidth at most tand maximum degree at most ∆ admits no polynomial kernelunless NP⊆co-NP/poly when parameterized by k + t + ∆ or(k − `) + t + ∆, where ` is the length of the shortest path betweenterminals.

Page 52: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Idea of the proof

v

u

Page 53: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Kernelization for graphs with bounded vertex covernumber

A set of vertices U is a vertex cover of a graph G if for anyuv ∈ E (G ), u ∈ U or v ∈ U. The vertex cover number is the sizeof a minimum vertex cover.

Theorem

Secluded Steiner Tree has a kernel with at most 2t(k + 1)vertices on graphs with the vertex cover number at most t whenparameterized by t + k.

Theorem

Secluded Path without costs on graphs with the vertex covernumber at most t admits no polynomial kernel unlessNP⊆co-NP/poly when parameterized by t.

Page 54: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Kernelization for graphs with bounded vertex covernumber

A set of vertices U is a vertex cover of a graph G if for anyuv ∈ E (G ), u ∈ U or v ∈ U. The vertex cover number is the sizeof a minimum vertex cover.

Theorem

Secluded Steiner Tree has a kernel with at most 2t(k + 1)vertices on graphs with the vertex cover number at most t whenparameterized by t + k.

Theorem

Secluded Path without costs on graphs with the vertex covernumber at most t admits no polynomial kernel unlessNP⊆co-NP/poly when parameterized by t.

Page 55: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Kernelization for graphs with bounded vertex covernumber

A set of vertices U is a vertex cover of a graph G if for anyuv ∈ E (G ), u ∈ U or v ∈ U. The vertex cover number is the sizeof a minimum vertex cover.

Theorem

Secluded Steiner Tree has a kernel with at most 2t(k + 1)vertices on graphs with the vertex cover number at most t whenparameterized by t + k.

Theorem

Secluded Path without costs on graphs with the vertex covernumber at most t admits no polynomial kernel unlessNP⊆co-NP/poly when parameterized by t.

Page 56: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

Page 57: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

d(y) ≤ k − 1d(x) ≥ k

Page 58: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

d(y) ≤ k − 1d(x) ≥ k

Page 59: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

d(y) ≤ k − 1d(x) ≥ k

Page 60: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Sketch of the proof

k

d(x) ≥ k d(y) ≤ k − 1

Page 61: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Secluded Steiner Tree for graphs of boundedtreewidth

Recall that Chechik et al. proved that if the treewidth of the inputgraph does not exceed t, then Secluded Steiner Tree issolvable in time 2O(t log t) · nO(1) · logW , where W is the maximumvalue of w on the input graph G .

Theorem

There is a true-biased Monte Carlo algorithm solving theSecluded Steiner Tree without costs in time 4t · nO(1), givena tree decomposition of width at most t.

It is possible to solve Secluded Steiner Tree deterministicallyin time O((2 + 2ω+1)t · (n + logW )O(1)) (here ω is the matrixmultiplication constant).

Page 62: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Secluded Steiner Tree for graphs of boundedtreewidth

Recall that Chechik et al. proved that if the treewidth of the inputgraph does not exceed t, then Secluded Steiner Tree issolvable in time 2O(t log t) · nO(1) · logW , where W is the maximumvalue of w on the input graph G .

Theorem

There is a true-biased Monte Carlo algorithm solving theSecluded Steiner Tree without costs in time 4t · nO(1), givena tree decomposition of width at most t.

It is possible to solve Secluded Steiner Tree deterministicallyin time O((2 + 2ω+1)t · (n + logW )O(1)) (here ω is the matrixmultiplication constant).

Page 63: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Secluded Steiner Tree for graphs of boundedtreewidth

Recall that Chechik et al. proved that if the treewidth of the inputgraph does not exceed t, then Secluded Steiner Tree issolvable in time 2O(t log t) · nO(1) · logW , where W is the maximumvalue of w on the input graph G .

Theorem

There is a true-biased Monte Carlo algorithm solving theSecluded Steiner Tree without costs in time 4t · nO(1), givena tree decomposition of width at most t.

It is possible to solve Secluded Steiner Tree deterministicallyin time O((2 + 2ω+1)t · (n + logW )O(1)) (here ω is the matrixmultiplication constant).

Page 64: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Open problems

Secluded Path without costs is solvable in time ∆∆ · nO(1),where ∆ is the maximum vertex degree and and thus is FPTbeing parameterized by ∆ by the results of Chechik et al. Isthis result tight?

What can be said about Secluded Path/SecludedSteiner Tree for planar graphs?

Page 65: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Open problems

Secluded Path without costs is solvable in time ∆∆ · nO(1),where ∆ is the maximum vertex degree and and thus is FPTbeing parameterized by ∆ by the results of Chechik et al. Isthis result tight?

What can be said about Secluded Path/SecludedSteiner Tree for planar graphs?

Page 66: Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC 2015 slides... · 2015-06-25 · IntroductionParameterization by the solution

Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions

Thank You!