A polynomial solution to the k-fixed-endpoint path cover problem on proper interval graphs

被引:12
作者
Asdre, Katerina [1 ]
Nikolopoulos, Stavros D. [1 ]
机构
[1] Univ Ioannina, Dept Comp Sci, GR-45110 Ioannina, Greece
关键词
Perfect graphs; Proper interval graphs; Path cover; Fixed-endpoint path cover; Linear-time algorithms; FINDING HAMILTONIAN CIRCUITS; LINEAR-TIME RECOGNITION; DISJOINT PATHS; ALGORITHM;
D O I
10.1016/j.tcs.2009.11.003
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We study a variant of the path cover problem, namely, the k-fixed-endpoint path cover problem, or kPC for short. Given a graph G and a subset T of k vertices of V(G), a k-fixed-endpoint path cover of G with respect to T is a set of vertex-disjoint paths P that covers the vertices of G such that the k vertices of T are all endpoints of the paths in P. The kPC problem is to find a k-fixed-endpoint path cover of G of minimum cardinality; note that, if T is empty (or, equivalently, k = 0), the stated problem coincides with the classical path cover problem. The kPC problem generalizes some path cover related problems, such as the 1HP and 2HP problems, which have been proved to be NP-complete. Note that the complexity status for both 1HP and 2HP problems on interval graphs remains an open question (Damaschke ( 1993)[9]). In this paper, we show that the kPC problem can be solved in linear time on the class of proper interval graphs, that is, in O(n + m) time on a proper interval graph on n vertices and m edges. The proposed algorithm is simple, requires linear space. and also enables us to solve the 1HP and 2HP problems on proper interval graphs within the same time and space complexity. (C) 2009 Elsevier B.V. All rights reserved.
引用
收藏
页码:967 / 975
页数:9
相关论文
共 31 条
[1]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[2]   LINEAR ALGORITHM FOR OPTIMAL PATH COVER PROBLEM ON INTERVAL-GRAPHS [J].
ARIKATI, SR ;
RANGAN, CP .
INFORMATION PROCESSING LETTERS, 1990, 35 (03) :149-153
[3]   A linear-time algorithm for the k-fixed-endpoint path cover problem on cographs [J].
Asdre, Katerina ;
Nikolopoulos, Stavros D. .
NETWORKS, 2007, 50 (04) :231-240
[4]   Recognizing and representing proper interval graphs in parallel using merging and sorting [J].
Bang-Jensen, Jorgen ;
Huang, Jing ;
Ibarra, Louis .
DISCRETE APPLIED MATHEMATICS, 2007, 155 (04) :442-456
[5]   FINDING HAMILTONIAN CIRCUITS IN PROPER INTERVAL-GRAPHS [J].
BERTOSSI, AA .
INFORMATION PROCESSING LETTERS, 1983, 17 (02) :97-101
[6]   HAMILTONIAN CIRCUITS IN INTERVAL GRAPH GENERALIZATIONS [J].
BERTOSSI, AA ;
BONUCCELLI, MA .
INFORMATION PROCESSING LETTERS, 1986, 23 (04) :195-200
[7]  
Brandstadt A., 1999, SIAM MONOG DISCR MAT
[8]   SIMPLE LINEAR-TIME RECOGNITION OF UNIT INTERVAL-GRAPHS [J].
CORNEIL, DG ;
KIM, HY ;
NATARAJAN, S ;
OLARIU, S ;
SPRAGUE, AP .
INFORMATION PROCESSING LETTERS, 1995, 55 (02) :99-104
[9]   PATHS IN INTERVAL-GRAPHS AND CIRCULAR ARC GRAPHS [J].
DAMASCHKE, P .
DISCRETE MATHEMATICS, 1993, 112 (1-3) :49-64
[10]   THE DIRECTED SUBGRAPH HOMEOMORPHISM PROBLEM [J].
FORTUNE, S ;
HOPCROFT, J ;
WYLLIE, J .
THEORETICAL COMPUTER SCIENCE, 1980, 10 (02) :111-121