Induced Disjoint Paths in AT-free graphs

Publication date

2022-03

Authors

Golovach, Petr A.
Paulusma, Daniël
van Leeuwen, Erik JanISNI 0000000115525019

Editors

Advisors

Supervisors

Document Type

Article
Open Access logo

License

taverne

Abstract

Paths P1,…,Pk are mutually induced if any two distinct Pi and Pj have neither common vertices nor adjacent vertices (except perhaps their end-vertices). The INDUCED DISJOINT PATHS problem is to decide if a graph G with k pairs of specified vertices (si,ti) contains k mutually induced paths Pi such that each Pi connects si and ti. This problem is NP-complete even for k=2. We prove that it can be solved in polynomial time for AT-free graphs even when k is part of the input. Consequently, the problem of deciding if an AT-free graph contains a fixed graph H as an induced topological minor admits a polynomial-time algorithm. We show that such an algorithm is essentially optimal by proving that the problem is W[1]-hard with parameter |VH|, even for a subclass of AT-free graphs, namely cobipartite graphs. We also show that the problems k-IN-A-PATH and k-IN-A-TREE are polynomial-time solvable on AT-free graphs even if k is part of the input.

Keywords

AT-free graph, Co-bipartite graph, Disjoint paths, Induced topological minor, Polynomial-time algorithm, W[1]-hardness, k-in-a-Path, k-in-a-Tree, Taverne, Theoretical Computer Science, Computer Networks and Communications, Computational Theory and Mathematics, Applied Mathematics

Citation

Golovach, P A, Paulusma, D & Leeuwen, E J V 2022, 'Induced Disjoint Paths in AT-free graphs', Journal of Computer and System Sciences, vol. 124, pp. 170-191. https://doi.org/10.1016/j.jcss.2021.10.003