On the existence and number of (k+1)(k+1)-kings in kk-quasi-transitive digraphs

Let $D=(V(D), A(D))$ be a digraph and $k \ge 2$ an integer. We say that $D$ is $k$-quasi-transitive if for every directed path $(v_0, v_1,..., v_k)$ in $D$, then $(v_0, v_k) \in A(D)$ or $(v_k, v_0) \in A(D)$. Clearly, a 2-quasi-transitive digraph is a quasi-transitive digraph in the usual sense. Bang-Jensen and Gutin proved that a quasi-transitive digraph $D$ has a 3-king if and only if $D$ has a unique initial strong component and, if $D$ has a 3-king and the unique initial strong component of $D$ has at least three vertices, then $D$ has at least three 3-kings. In this paper we prove the following generalization: A $k$-quasi-transitive digraph $D$ has a $(k+1)$-king if and only if $D$ has a unique initial strong component, and if $D$ has a $(k+1)$-king then, either all the vertices of the unique initial strong components are $(k+1)$-kings or the number of $(k+1)$-kings in $D$ is at least $(k+2)$.Comment: 17 page

Parameterized Algorithms for Directed Maximum Leaf Problems

We prove that finding a rooted subtree with at least $k$ leaves in a digraph is a fixed parameter tractable problem. A similar result holds for finding rooted spanning trees with many leaves in digraphs from a wide family $\cal L$ that includes all strong and acyclic digraphs. This settles completely an open question of Fellows and solves another one for digraphs in $\cal L$. Our algorithms are based on the following combinatorial result which can be viewed as a generalization of many results for a `spanning tree with many leaves' in the undirected case, and which is interesting on its own: If a digraph $D\in \cal L$ of order $n$ with minimum in-degree at least 3 contains a rooted spanning tree, then $D$ contains one with at least $(n/2)^{1/5}-1$ leaves

On the Small Quasi-kernel conjecture

The Chv\'atal-Lov\'asz theorem from 1974 establishes in every finite digraph $G$ the existence of a quasi-kernel, i.e., an independent $2$-out-dominating vertex set. In the same spirit, the Small Quasi-kernel Conjecture, proposed by Erd\H{o}s and Sz\'ekely in 1976, asserts the existence of a quasi-kernel of order at most $|V(G)|/2$ if $G$ does not have sources. Despite repeated efforts, the conjecture remains wide open. This work contains a number of new results towards the conjecture. In our main contribution we resolve the conjecture for all directed graphs without sources containing a kernel in the second out-neighborhood of a quasi-kernel. Furthermore, we provide a novel strongly connected example demonstrating the asymptotic sharpness of the conjecture. Additionally, we resolve the conjecture in a strong form for all directed unicyclic graphs.Comment: 12 pages, 1 figur