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 条
  • [21] On the unified dispersion problem: Efficient formulations and exact algorithms
    Lei, Ting L.
    Church, Richard L.
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2015, 241 (03) : 622 - 630
  • [22] Exact algorithms for a joint order acceptance and scheduling problem
    Li, Xin
    Ventura, Jose A.
    INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, 2020, 223
  • [23] Exact and approximation algorithms for the DNA sequence assembly problem
    Elloumi, M
    Kaâbi, S
    WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 8, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS, 1999, : 152 - 157
  • [24] Two exact algorithms for the vehicle routing problem on trees
    Mbaraga, P
    Langevin, A
    Laporte, G
    NAVAL RESEARCH LOGISTICS, 1999, 46 (01) : 75 - 89
  • [25] On Exact Algorithms for Treewidth
    Bodlaender, Hans L.
    Fomin, Fedor V.
    Koster, Arie M. C. A.
    Kratsch, Dieter
    Thilikos, Dimitrios M.
    ACM TRANSACTIONS ON ALGORITHMS, 2012, 9 (01)
  • [26] Faster Parameterized Algorithms for Minimum Fill-in
    Bodlaender, Hans L.
    Heggernes, Pinar
    Villanger, Yngve
    ALGORITHMICA, 2011, 61 (04) : 817 - 838
  • [27] Formulations and exact algorithms for the vehicle routing problem with time windows
    Kallehauge, Brian
    COMPUTERS & OPERATIONS RESEARCH, 2008, 35 (07) : 2307 - 2330
  • [28] The maximum independent union of cliques problem: complexity and exact approaches
    Ertem, Zeynep
    Lykhovyd, Eugene
    Wang, Yiming
    Butenko, Sergiy
    JOURNAL OF GLOBAL OPTIMIZATION, 2020, 76 (03) : 545 - 562
  • [29] Fast exact algorithms for the SAT problem with bounded occurrences of variables
    Peng, Junqiang
    Xiao, Mingyu
    THEORETICAL COMPUTER SCIENCE, 2025, 1029
  • [30] Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Tournaments
    Kumar, Mithilesh
    Lokshtanov, Daniel
    33RD SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2016), 2016, 47