Detecting Fixed Patterns in Chordal Graphs in Polynomial Time
Detecting Fixed Patterns in Chordal Graphs in Polynomial Time
复制标题
DOI:
10.1007/s00453-013-9748-5
复制
发表时间:
2013-01
期刊:
影响因子:
1.1
通讯作者:
R. Belmonte;P. Golovach;P. Heggernes;P. Hof;M. Kaminski;D. Paulusma
中科院分区:
文献类型:
--
作者:
R. Belmonte;P. Golovach;P. Heggernes;P. Hof;M. Kaminski;D. Paulusma
TheContractibilityproblem takes as input two graphsGandH, and the task is to decide whetherHcan be obtained fromGby a sequence of edge contractions. TheInduced MinorandInduced Topological Minorproblems are similar, but the first allows both edge contractions and vertex deletions, whereas the latter allows only vertex deletions and vertex dissolutions. All three problems are NP-complete, even for certainfixedgraphsH. We show that these problems can be solved in polynomial time for every fixedHwhen the input graphGis chordal. Our results can be considered tight, since these problems are known to be W[1]-hard on chordal graphs when parameterized by the size ofH. To solveContractibilityandInduced Minor, we define and use a generalization of the classicDisjoint Pathsproblem, where we require the vertices of each of thekpaths to be chosen from a specified set. We prove that this variant is NP-complete even whenk=2, but that it is polynomial-time solvable on chordal graphs for every fixedk. Our algorithm forInduced Topological Minoris based on another generalization ofDisjoint PathscalledInduced Disjoint Paths, where the vertices from different paths may no longer be adjacent. We show that this problem, which is known to be NP-complete whenk=2, can be solved in polynomial time on chordal graphs even whenkis part of the input. Our results fit into the general framework of graph containment problems, where the aim is to decide whether a graph can be modified into another graph by a sequence of specified graph operations. Allowing combinations of the four well-known operations edge deletion, edge contraction, vertex deletion, and vertex dissolution results in the following ten containment relations: (induced) minor, (induced) topological minor, (induced) subgraph, (induced) spanning subgraph, dissolution, and contraction. Our results, combined with existing results, settle the complexity of each of the ten corresponding containment problems on chordal graphs.