Parameterized algorithm for weighted independent set problem in bull-free graphs

Abstract

The maximum stable set problem is NP-hard, even when restricted to triangle-free graphs. In particular, one cannot expect a polynomial time algorithm deciding if a bull-free graph has a stable set of size $k$, when $k$ is part of the instance. Our main result in this paper is to show the existence of an FPT algorithm when we parameterize the problem by the solution size $k$. A polynomial kernel is unlikely to exist for this problem. We show however that our problem has a polynomial size Turing-kernel. More precisely, the hard cases are instances of size $O(k^5)$. As a byproduct, if we forbid odd holes in addition to the bull, we show the existence of a polynomial time algorithm for the stable set problem. We also prove that the chromatic number of a bull-free graph is bounded by a function of its clique number and the maximum chromatic number of its triangle-free induced subgraphs. All our results rely on a decomposition theorem of bull-free graphs due to Chudnovsky which is modified here, allowing us to provide extreme decompositions, adapted to our computational purpose.

References in corpus (1)

• Combinatorial optimization with 2-joins

Cited by in corpus (7)

• Turing Kernelization for Finding Long Paths and Cycles in Restricted Graph Classes
• Clique-Stable Set separation in perfect graphs with no balanced skew-partitions
• A Hierarchy of Polynomial Kernels
• Reuniting $\chi$-boundedness with polynomial $\chi$-boundedness
• Structure of (bull, diamond)-free graphs and its applications
• Stable sets in {ISK4,wheel}-free graphs
• A counterexample to a conjecture about triangle-free induced subgraphs of graphs with large chromatic number