Algorithmic aspects of quasi-kernels

by   Hélène Langlois, et al.

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).


page 1

page 2

page 3

page 4


Results on the Small Quasi-Kernel Conjecture

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

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...

On Kernels for d-Path Vertex Cover

In this paper we study the kernelization of d-Path Vertex Cover (d-PVC) ...

Smaller parameters for vertex cover kernelization

We revisit the topic of polynomial kernels for Vertex Cover relative to ...

Counting Kernels in Directed Graphs with Arbitrary Orientations

A kernel of a directed graph is a subset of vertices that is both indepe...

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-...

Quasi-Mandelbrot sets for perturbed complex analytic maps: visual patterns

We consider perturbations of the complex quadratic map z → z^2 +c and c...