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 条
  • [1] Exact and Parameterized Algorithms for the Independent Cutset Problem
    Rauch, Johannes
    Rautenbach, Dieter
    Souza, Ueverton S.
    FUNDAMENTALS OF COMPUTATION THEORY, FCT 2023, 2023, 14292 : 378 - 391
  • [2] Randomized algorithms for the loop cutset problem
    Becker, A
    Bar-Yehuda, R
    Geiger, D
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2000, 12 : 219 - 234
  • [3] Random algorithms for the loop cutset problem
    Becker, A
    Bar-Yehuda, R
    Geiger, D
    UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1999, : 49 - 56
  • [4] Randomized Algorithms for the Loop Cutset Problem
    Becker, Ann
    Bar-Yehuda, Reuven
    Geiger, Dan
    1600, Morgan Kaufmann Publishers (12):
  • [5] Exact and Parameterized Algorithms for Choosability
    Bliznets, Ivan
    Nederlof, Jesper
    SOFSEM 2024: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2024, 14519 : 111 - 124
  • [6] Parameterized Algorithms for the Independent Set Problem in Some Hereditary Graph Classes
    Dabrowski, Konrad
    Lozin, Vadim
    Mueller, Haiko
    Rautenbach, Dieter
    COMBINATORIAL ALGORITHMS, 2011, 6460 : 1 - +
  • [7] Waring Rank, Parameterized and Exact Algorithms
    Pratt, Kevin
    2019 IEEE 60TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2019), 2019, : 806 - 823
  • [8] Geometric separation and exact solutions for the parameterized independent set problem on disk graphs
    Alber, Jochen
    Fiala, Jirí
    IFIP Advances in Information and Communication Technology, 2002, 96 : 26 - 37
  • [9] Geometric separation and exact solutions for the parameterized independent set problem on disk graphs
    Alber, J
    Fiala, J
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2004, 52 (02): : 134 - 151
  • [10] Geometric separation and exact solutions for the parameterized independent set problem on disk graphs
    Alber, J
    Fiala, J
    FOUNDATIONS OF INFORMATION TECHNOLOGY IN THE ERA OF NETWORK AND MOBILE COMPUTING, 2002, 96 : 26 - 37