arXiv++ Combinatorics

A digraph $D=(V(D)$, $A(D))$ of order $n\geq 3$ is pancyclic, whenever $D$ contains a directed cycle of length $k$ for each $k\in \{3,\ldots,n\}$; and $D$ is vertex-pancyclic iff, for each vertex $v\in V(D)$ and each $k\in \{3,\ldots,n\}$, $D$ contains a directed cycle of length $k$ passing through $v$. Let $D_1, D_2, \ldots, D_k$ be a collection of pairwise vertex disjoint digraphs. The generalized sum (g.s.) of $D_1, D_2, \ldots, D_k$, denoted by $\oplus_{i=1}^k D_i$ or $D_1\oplus D_2 \oplus \cdots \oplus D_k$, is the set of all digraphs $D$ satisfying: (i) $V(D)=\bigcup_{i=1}^k V(D_i)$, (ii) $D\langle V(D_i) \rangle \cong D_i$ for $i=1,2,\ldots, k$, and (iii) for each pair of vertices belonging to different summands of $D$, there is exactly one arc between them, with an arbitrary but fixed direction. A digraph $D$ in $\oplus_{i=1}^k D_i$ will be called a generalized sum (g.s.) of $D_1, D_2, \ldots, D_k$. Let $D_1, D_2, \ldots, D_k$ be a collection of $k$ pairwise vertex disjoint Hamiltonian digraphs, in this paper we give simple sufficient conditions for a digraph $D\in \oplus_{i=1}^k D_i$ be vertex-pancyclic. This result extends a result obtained by Cordero-Michel, Galeana-Sánchez and Goldfeder in 2016.

A digraph such that every proper induced subdigraph has a kernel is said to be \emph{kernel perfect} (KP for short) (\emph{critical kernel imperfect} (CKI for short) resp.) if the digraph has a kernel (does not have a kernel resp.). The unique CKI-tournament is $\overrightarrow{C}_3$ and the unique KP-tournaments are the transitive tournaments, however bipartite tournaments are KP. In this paper we characterize the CKI- and KP-digraphs for the following families of digraphs: locally in-/out-semicomplete, asymmetric arc-locally in-/out-semicomplete, asymmetric $3$-quasi-transitive and asymmetric $3$-anti-quasi-transitive $TT_3$-free and we state that the problem of determining whether a digraph of one of these families is CKI is polynomial, giving a solution to a problem closely related to the following conjecture posted by Bang-Jensen in 1998: the kernel problem is polynomially solvable for locally in-semicomplete digraphs.