Algorithmic aspects of quasi-kernels

07/08/2021
by   Hélène Langlois, et al.
0

In a digraph, a quasi-kernel is a subset of vertices that is independent and such that every vertex can reach some vertex in that set via a directed path of length at most two. Whereas Chvátal and Lovász proved in 1974 that every digraph has a quasi-kernel, very little is known so far about the complexity of finding small quasi-kernels. In 1976 Erdős and Székely conjectured that every sink-free digraph D = (V, A) has a quasi-kernel of size at most |V|/2. Obviously, if D has two disjoint quasi-kernels then it has a quasi-kernel of size at most |V|/2, and in 2001 Gutin, Koh, Tay and Yeo conjectured that every sink-free digraph has two disjoint quasi-kernels. Yet, they constructed in 2004 a counterexample, thereby disproving this stronger conjecture. We shall show that, not only sink-free digraphs occasionally fail to contain two disjoint quasi-kernels, but it is computationally hard to distinguish those that do from those that do not. We also prove that the problem of computing a small quasi-kernel is polynomial time solvable for orientations of trees but is computationally hard in most other cases (and in particular for restricted acyclic digraphs).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/25/2022

Results on the Small Quasi-Kernel Conjecture

A quasi-kernel of a digraph D is an independent set Q⊆ V(D) such that fo...
research
12/22/2019

Two novel results on the existence of 3-kernels in digraphs

Let D be a digraph. We call a subset N of V(D)k-independent if for every...
research
07/26/2021

On Kernels for d-Path Vertex Cover

In this paper we study the kernelization of d-Path Vertex Cover (d-PVC) ...
research
07/09/2023

On the Small Quasi-kernel conjecture

The Chvátal-Lovász theorem from 1974 establishes in every finite digraph...
research
11/13/2017

Smaller parameters for vertex cover kernelization

We revisit the topic of polynomial kernels for Vertex Cover relative to ...
research
12/07/2018

Kernelization of Packing Problems

Kernelization algorithms are polynomial-time reductions from a problem t...
research
06/19/2019

Arc-disjoint in- and out-branchings rooted at the same vertex in compositions of digraphs

A digraph D=(V, A) has a good pair at a vertex r if D has a pair of arc-...

Please sign up or login with your details

Forgot password? Click here to reset