The complexity of minimum-length path decompositions

被引:3
作者
Dereniowski, Dariusz [1 ]
Kubiak, Wieslaw [2 ]
Zwols, Yori [3 ]
机构
[1] Gdansk Univ Technol, Fac Elect Telecommun & Informat, Gdansk, Poland
[2] Mem Univ Newfoundland, St John, NF, Canada
[3] Google DeepMind, London, England
基金
加拿大自然科学与工程研究理事会;
关键词
Graph searching; Path decomposition; Pathwidth; VERTEX SEPARATION; PATHWIDTH; GRAPHS; TREEWIDTH; NUMBER; EMBEDDINGS;
D O I
10.1016/j.jcss.2015.06.011
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We consider a bicriterion generalization of the pathwidth problem: given integers k, l and a graph G, does there exist a path decomposition of G of width at most k and length (i.e., number of bags) at most l? We provide a complete complexity classification of the problem in terms of k and Il for general graphs. Contrary to the original pathwidth problem, which is fixed-parameter tractable with respect to k, the generalized problem is NP-complete for any fixed k >= 4, and also for any fixed l >= 2. On the other hand, we give a polynomialtime algorithm that constructs a minimum-length path decomposition of width at most k <= 3 for any disconnected input graph. As a by-product, we obtain an almost complete classification for connected graphs: the problem is NP-complete for any fixed k >= 5, and polynomial for any k <= 3. (C) 2015 Elsevier Inc. All rights reserved.
引用
收藏
页码:1715 / 1747
页数:33
相关论文
共 38 条
[1]   COMPLEXITY OF FINDING EMBEDDINGS IN A K-TREE [J].
ARNBORG, S ;
CORNEIL, DG ;
PROSKUROWSKI, A .
SIAM JOURNAL ON ALGEBRAIC AND DISCRETE METHODS, 1987, 8 (02) :277-284
[2]   Structural Decomposition Methods and What They are Good For [J].
Aschinger, Markus ;
Drescher, Conrad ;
Gottlob, Georg ;
Jeavons, Peter ;
Thorstensen, Evgenij .
28TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2011), 2011, 9 :12-28
[3]   MONOTONICITY IN GRAPH SEARCHING [J].
BIENSTOCK, D ;
SEYMOUR, P .
JOURNAL OF ALGORITHMS, 1991, 12 (02) :239-245
[4]  
Bienstock D., 1991, DIMACS SER DISCR MAT, V5, P33, DOI [DOI 10.1090/DIMACS/005/02, 10.1090/dimacs/005/02]
[5]   Fixed-parameter tractability of treewidth and pathwidth [J].
Bodlaender, Hans L. .
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7370 :196-227
[6]  
Bodlaender HL, 2007, LECT NOTES COMPUT SC, V4474, P11
[7]   A partial k-arboretum of graphs with bounded treewidth [J].
Bodlaender, HL .
THEORETICAL COMPUTER SCIENCE, 1998, 209 (1-2) :1-45
[8]  
Bodlaender HL, 1998, LECT NOTES COMPUT SC, V1450, P702, DOI 10.1007/BFb0055821
[9]   THE PATHWIDTH AND TREEWIDTH OF COGRAPHS [J].
BODLAENDER, HL ;
MOHRING, RH .
SIAM JOURNAL ON DISCRETE MATHEMATICS, 1993, 6 (02) :181-188
[10]   A linear-time ie algorithm for finding three-decompositions of small treewidth [J].
Bodlaender, HL .
SIAM JOURNAL ON COMPUTING, 1996, 25 (06) :1305-1317