Parameterized Complexity of Secluded Connectivity Problemsosebje.famnit.upr.si/~martin.milanic/AGTAC...
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/1.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/2.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/3.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/4.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/5.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/6.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/7.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/8.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/9.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/10.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/11.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/12.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/13.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/14.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/15.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/16.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/17.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/18.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/19.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/20.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/21.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/22.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/23.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/24.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/25.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/26.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/27.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/28.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/29.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/30.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/31.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/32.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/33.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/34.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/35.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/36.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/37.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/38.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/39.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/40.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/41.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/42.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/43.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/44.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/45.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/46.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/47.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/48.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/49.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/50.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/51.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/52.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/53.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/54.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/55.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/56.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/57.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/58.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/59.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/60.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/61.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/62.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/63.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/64.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/65.jpg)
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](https://reader035.fdocuments.net/reader035/viewer/2022070822/5f257df4e3f0423f4837417e/html5/thumbnails/66.jpg)
Introduction Parameterization by the solution size Parameterization above the lower bound Kernelization Secluded Steiner Tree for graphs of bounded treewidth Conclusions
Thank You!