Abstract:Let $k$ be an integer with $k\geq 2$. A $k$-king in a digraph $D$ is a vertex which can reach every other vertex by a directed path of length at most $k$ and a non-king is a vertex which is not a 3-king. A subset $K$ is $k$-independent if for every pair of vertices $x,y \in K$, we have $d_D(x, y), d_D(y, x)\geq k$; it is $\ell$-absorbent if for every $x\in V(D)\setminus K$ there exists $y\in K$ such that $d_D(x, y)\leq \ell$. A $k$-kernel of $D$ is a $k$-independent and $(k-1)$-absorbent subset of $V(D)$. A kernel is a 2-kernel. A set $K\subseteq V(D)$ is a quasi-kernel of $D$ if it is independent, and for every vertex $x\in V(D)\setminus K$, there exists $y\in K$ such that $d_D(x, y)\leq 2$. The problem {\sc $k$-Kernel} is determining whether a given digraph has a $k$-kernel. Let $Q=T[H_1, \dots, H_t]$ be the composition of $T$ and $H_i$ ($1\leq i\leq t, t\ge 2$), where $T$ is a digraph with $t$ vertices, and $H_1, \dots, H_t$ are pairwise disjoint digraphs. The composition $Q=T[H_1, \dots, H_t]$ is a semicomplete composition if $T$ is semicomplete. In this paper, we study kings and kernels in semicomplete compositions. For the topic of kings, we characterize digraph compositions with a $k$-king and digraph compositions all of whose vertices are $k$-kings, respectively. We also discuss the existence of 3-kings, and study the minimum number of 4-kings in a strong semicomplete composition. For the topic of kernels, we first study the existence of a pair of disjoint quasi-kernels in semicomplete compositions. We then deduce that the problem {\sc $k$-Kernel} restricted to strong semicomplete compositions is NP-complete when $k\in \{2,3\}$, and is polynomial-time solvable when $k\geq 4$. We also prove that when $k$ is divisible by 2 or 3, the problem {\sc $k$-Kernel} restricted to non-strong semicomplete compositions is NP-complete.

Generalized Quasikernels in Digraphs

On the Small Quasi-kernel conjecture

Quasi-kernels in split graphs

A variable version of the quasi-kernel conjecture

Critical Kernel Imperfectness in $4$-quasi-transitive and $4$-anti-transitive digraphs of small diameter

Kings and Kernels in Semicomplete Compositions

Kernels by properly colored paths in arc-colored digraphs

Kernelization for Orthogonality Dimension

Kernelizing Problems on Planar Graphs in Sublinear Space and Polynomial Time

Kernelization for Counting Problems on Graphs: Preserving the Number of Minimum Solutions

On a Generalization of Nemhauser and Trotter's Local Optimization Theorem

$G$-kernels of Kirchberg algebras

On the treewidth of generalized q-Kneser graphs

On an extremal problem for locally sparse multigraphs

A cubic vertex-kernel for Trivially Perfect Editing

QESK: Quantum-based Entropic Subtree Kernels for Graph Classification

Results on Extremal Graph Theoretic Questions for Q-Ary Vectors

On Convex Geometric Graphs with no $k+1$ Pairwise Disjoint Edges

Counting Kernels in Directed Graphs with Arbitrary Orientations

Extremal graph theoretic questions for q-ary vectors

Bipartite $q$-Kneser graphs and two-generated irreducible linear groups