A Sufficient Condition for Hamiltonian Cycles in Digraphs

Let \(D\) be a strictly disconnected digraph with \(n\) vertices. A common out-neighbor (resp. in-neighbor) of a pair of vertices \(u\) and \(v\) is a vertex \(x\) such that \(ux\) and \(vx\) (resp. \(xu\) and \(xv\)) are arcs of \(D\). It is shown that if

\[d^+(u_1) + d^+(v_1) + d^-(u_2) + d^-(v_2) > 2n-1\]

for any pair \(u_1, v_1\) of nonadjacent vertices with a common out-neighbor and any pair \(u_2, v_2\) of nonadjacent vertices with a common in-neighbor, then \(D\) contains a directed Hamiltonian cycle.