TY - CHAP
T1 - Efficient Graph Minors Theory and Parameterized Algorithms for (Planar) Disjoint Paths
AU - Lokshtanov, Daniel
AU - Saurabh, Saket
AU - Zehavi, Meirav
N1 - Funding Information:
This project has received funding from the European Research Council (ERC) under the European Union?s Horizon 2020 research and innovation programme (grant agreement no. 819416 and no. 715744). The second author also acknowledges the support of Swarnajayanti Fellowship grant DST/SJF/MSA-01/2017-18. The third author acknowledges the support of ISF grant no. 1176/18. The first and third authors also acknowledge the support of BSF grant no. 2018302.
Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020/1/1
Y1 - 2020/1/1
N2 - In the Disjoint Paths problem, the input consists of an n-vertex graph G and a collection of k vertex pairs, (formula presented), and the objective is to determine whether there exists a collection (formula presented) of k pairwise vertex-disjoint paths in G where the end-vertices of (formula presented) are (formula presented) and (formula presented). This problem was shown to admit an (formula presented)-time algorithm by Robertson and Seymour Graph Minors XIII, The Disjoint Paths Problem, JCTB. In modern terminology, this means that Disjoint Paths is fixed parameter tractable (FPT) with respect to k. Remarkably, the above algorithm for Disjoint Paths is a cornerstone of the entire Graph Minors Theory, and conceptually vital to the (formula presented)-time algorithm for Minor Testing (given two undirected graphs, G and H on n and k vertices, respectively, determine whether G contains H as a minor). In this semi-survey, we will first give an exposition of the Graph Minors Theory with emphasis on efficiency from the viewpoint of Parameterized Complexity. Secondly, we will review the state of the art with respect to the Disjoint Paths and Planar Disjoint Paths problems. Lastly, we will discuss the main ideas behind a new algorithm that combines treewidth reduction and an algebraic approach to solve Planar Disjoint Paths in time (formula presented) (for undirected graphs).
AB - In the Disjoint Paths problem, the input consists of an n-vertex graph G and a collection of k vertex pairs, (formula presented), and the objective is to determine whether there exists a collection (formula presented) of k pairwise vertex-disjoint paths in G where the end-vertices of (formula presented) are (formula presented) and (formula presented). This problem was shown to admit an (formula presented)-time algorithm by Robertson and Seymour Graph Minors XIII, The Disjoint Paths Problem, JCTB. In modern terminology, this means that Disjoint Paths is fixed parameter tractable (FPT) with respect to k. Remarkably, the above algorithm for Disjoint Paths is a cornerstone of the entire Graph Minors Theory, and conceptually vital to the (formula presented)-time algorithm for Minor Testing (given two undirected graphs, G and H on n and k vertices, respectively, determine whether G contains H as a minor). In this semi-survey, we will first give an exposition of the Graph Minors Theory with emphasis on efficiency from the viewpoint of Parameterized Complexity. Secondly, we will review the state of the art with respect to the Disjoint Paths and Planar Disjoint Paths problems. Lastly, we will discuss the main ideas behind a new algorithm that combines treewidth reduction and an algebraic approach to solve Planar Disjoint Paths in time (formula presented) (for undirected graphs).
KW - Disjoint paths
KW - Graph minors
KW - Planar disjoint paths
KW - Treewidth
UR - http://www.scopus.com/inward/record.url?scp=85090015107&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-42071-0_9
DO - 10.1007/978-3-030-42071-0_9
M3 - Chapter
AN - SCOPUS:85090015107
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 112
EP - 128
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer
ER -