Exact and parameterized algorithms for the independent cutset problem

被引:0
|
作者
Rauch, Johannes [1 ]
Rautenbach, Dieter [1 ]
Souza, Ueverton S. [2 ]
机构
[1] Ulm Univ, Inst Optimizat & Operat Res, Ulm, Germany
[2] Univ Fed Fluminense, Inst Computacao, Niteroi, Brazil
关键词
Exact algorithms; Parameterized algorithms; Independent cutset; STABLE CUTSETS; GRAPHS; CLIQUES;
D O I
10.1016/j.jcss.2024.103598
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The INDEPENDENT CUTSET problem asks whether there is a set of vertices in a given graph that is both independent and a cutset. This problem is NP-complete even when the input graph is planar and has maximum degree five. We first present a O & lowast;(1.4423n)time algorithm to compute a minimum independent cutset (if any). Since the property of having an independent cutset is MSO1-expressible, our main results are concerned with structural parameterizations for the problem considering parameters incomparable with clique-width. We present FPT-time algorithms under the following parameters: the dual of the maximum degree, the dual of the solution size, the size of a dominating set (where a dominating set is given as an additional input), the size of an odd cycle transversal, the distance to chordal graphs, and the distance to P5-free graphs. We close by introducing the notion of alpha-domination, which generalizes key ideas of this article. (c) 2024 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/).
引用
收藏
页数:15
相关论文
共 50 条
  • [41] On Group Feedback Vertex Set Parameterized by the Size of the Cutset
    Cygan, Marek
    Pilipczuk, Marcin
    Pilipczuk, Michal
    GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2012, 7551 : 194 - 205
  • [42] On Group Feedback Vertex Set Parameterized by the Size of the Cutset
    Cygan, Marek
    Pilipczuk, Marcin
    Pilipczuk, Michal
    ALGORITHMICA, 2016, 74 (02) : 630 - 642
  • [43] Fixed-Parameter Tractability of Multicut Parameterized by the Size of the Cutset
    Marx, Daniel
    Razgon, Igor
    STOC 11: PROCEEDINGS OF THE 43RD ACM SYMPOSIUM ON THEORY OF COMPUTING, 2011, : 469 - 478
  • [44] Parameterized Algorithms for the Traveling Purchaser Problem with Additional Constraints
    Xiao, Mingyu
    Zhang, Jianan
    Lin, Weibo
    COMPUTING AND COMBINATORICS, COCOON 2019, 2019, 11653 : 567 - 579
  • [45] New Parameterized Algorithms for the Edge Dominating Set Problem
    Xiao, Mingyu
    Kloks, Ton
    Poon, Sheung-Hung
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, 2011, 6907 : 604 - 615
  • [46] New parameterized algorithms for the edge dominating set problem
    Xiao, Mingyu
    Kloks, Ton
    Poon, Sheung-Hung
    THEORETICAL COMPUTER SCIENCE, 2013, 511 : 147 - 158
  • [47] Parameterized and Approximation Algorithms for the Maximum Bimodal Subgraph Problem
    Didimo, Walter
    Fomin, Fedor V.
    Golovach, Petr A.
    Inamdar, Tanmay
    Kobourov, Stephen
    Sieper, Marie Diana
    GRAPH DRAWING AND NETWORK VISUALIZATION, GD 2023, PT II, 2023, 14466 : 189 - 202
  • [48] Parameterized and Approximation Algorithms for the MAF Problem in Multifurcating Trees
    Chen, Jianer
    Fan, Jia-Hao
    Sze, Sing-Hoi
    GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, WG 2013, 2013, 8165 : 152 - 164
  • [49] Exact algorithms for the product configuration problem
    Bogue, Eduardo T.
    Maciel, Lucas
    Noronha, Thiago F.
    INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, 2023, 30 (06) : 3979 - 3992
  • [50] Exact and Heuristic Algorithms for the Domination Problem
    Inza, Ernesto Parra
    Vakhania, Nodari
    Almira, José María Sigarreta
    Mira, Frank Angel Hernández
    arXiv, 2022,