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] Faster parameterized algorithms for minor containment
    Adler, Isolde
    Dorn, Frederic
    Fomin, Fedor V.
    Sau, Ignasi
    Thilikos, Dimitrios M.
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (50) : 7018 - 7028
  • [42] Parameterized top-K algorithms
    Chen, Jianer
    Kanj, Iyad A.
    Meng, Jie
    Xia, Ge
    Zhang, Fenghui
    THEORETICAL COMPUTER SCIENCE, 2013, 470 : 105 - 119
  • [43] Parameterized Complexity of the Firefighter Problem
    Bazgan, Cristina
    Chopin, Morgan
    Fellows, Michael R.
    ALGORITHMS AND COMPUTATION, 2011, 7074 : 643 - +
  • [44] Exact algorithms for the 0-1 Time-Bomb Knapsack Problem
    Monaci, Michele
    Pike-Burke, Ciara
    Santini, Alberto
    COMPUTERS & OPERATIONS RESEARCH, 2022, 145
  • [45] Bilu-Linial Stability, Certified Algorithms and the Independent Set Problem
    Angelidakis, Haris
    Awasthi, Pranjal
    Blum, Avrim
    Chatziafratis, Vaggos
    Dan, Chen
    27TH ANNUAL EUROPEAN SYMPOSIUM ON ALGORITHMS (ESA 2019), 2019, 144
  • [46] Improved exact algorithms for MAX-SAT
    Chen, J
    Kanj, IA
    LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 341 - 355
  • [47] Improved exact algorithms for MAX-SAT
    Chen, JE
    Kanj, IA
    DISCRETE APPLIED MATHEMATICS, 2004, 142 (1-3) : 17 - 27
  • [48] Exact algorithms for Kayles
    Bodlaender, Hans L.
    Kratsch, Dieter
    Timmer, Sjoerd T.
    THEORETICAL COMPUTER SCIENCE, 2015, 562 : 165 - 176
  • [49] Faster Parameterized Algorithms Using Linear Programming
    Lokshtanov, Daniel
    Narayanaswamy, N. S.
    Raman, Venkatesh
    Ramanujan, M. S.
    Saurabh, Saket
    ACM TRANSACTIONS ON ALGORITHMS, 2014, 11 (02) : 1 - 31
  • [50] Parameterized algorithms for locating-dominating sets
    Cappelle, Marcia R.
    Gomes, Guilherme C. M.
    dos Santos, Vinicius F.
    PROCEEDINGS OF THE XI LATIN AND AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION SYMPOSIUM, 2021, 195 : 68 - 76