On Group Feedback Vertex Set Parameterized by the Size of the Cutset

被引:7
作者
Cygan, Marek [1 ]
Pilipczuk, Marcin [2 ]
Pilipczuk, Michal [1 ]
机构
[1] Univ Warsaw, Inst Informat, Banacha 2, PL-02097 Warsaw, Poland
[2] Univ Warwick, Dept Comp Sci, Coventry CV4 7AL, W Midlands, England
基金
欧洲研究理事会;
关键词
Fixed-parameter tractability; Group feedback vertex set; Graph-separation problems; ALGORITHMS; CYCLES;
D O I
10.1007/s00453-014-9966-5
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We study parameterized complexity of a generalization of the classical Feedback Vertex Set problem, namely the Group Feedback Vertex Set problem: we are given a graph with edges labeled with group elements, and the goal is to compute the smallest set of vertices that hits all cycles of that evaluate to a non-null element of the group. This problem generalizes not only Feedback Vertex Set, but also Subset Feedback Vertex Set, Multiway Cut and Odd Cycle Transversal . Completing the results of Guillemot (Discrete Optim 8(1):61-71, 2011), we provide a fixed-parameter algorithm for the parameterization by the size of the cutset only. Our algorithm works even if the group is given as a blackbox performing group operations.
引用
收藏
页码:630 / 642
页数:13
相关论文
共 28 条
[1]   Randomized algorithms for the loop cutset problem [J].
Becker, A ;
Bar-Yehuda, R ;
Geiger, D .
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2000, 12 :219-234
[2]  
Bodlaender H. L., 1994, International Journal of Foundations of Computer Science, V5, P59, DOI 10.1142/S0129054194000049
[3]  
Cao YX, 2010, LECT NOTES COMPUT SC, V6139, P93
[4]   Improved algorithms for feedback vertex set problems [J].
Chen, Jianer ;
Fomin, Fedor V. ;
Liu, Yang ;
Lu, Songjian ;
Villanger, Yngve .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2008, 74 (07) :1188-1198
[5]   A Fixed-Parameter Algorithm for the Directed Feedback Vertex Set Problem [J].
Chen, Jianer ;
Liu, Yang ;
Lu, Songjian ;
O'Sullivan, Barry ;
Razgon, Igor .
JOURNAL OF THE ACM, 2008, 55 (05)
[6]   Packing non-zero A-paths in group-labelled graphs [J].
Chudnovsky, Maria ;
Geelen, Jim ;
Gerards, Bert ;
Goddyn, Luis ;
Lohman, Michael ;
Seymour, Paul .
COMBINATORICA, 2006, 26 (05) :521-532
[7]  
Cygan M, 2013, ACM T COMPUT THEORY, V5, DOI [10.1145/2462896.2462899, 10.1145/2594439]
[8]   SUBSET FEEDBACK VERTEX SET IS FIXED-PARAMETER TRACTABLE [J].
Cygan, Marek ;
Pilipczuk, Marcin ;
Pilipczuk, Michal ;
Wojtaszczyk, Jakub Onufry .
SIAM JOURNAL ON DISCRETE MATHEMATICS, 2013, 27 (01) :290-309
[9]  
Cygan M, 2012, LECT NOTES COMPUT SC, V7551, P194, DOI 10.1007/978-3-642-34611-8_21
[10]   Solving connectivity problems parameterized by treewidth in single exponential time (Extended abstract) [J].
Cygan, Marek ;
Nederlof, Jesper ;
Pilipczuk, Marcin ;
Pilipczuk, Michal ;
van Rooij, Johan M. M. ;
Wojtaszczyk, Jakub Onufry .
2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, :150-159