Directed Hamiltonian cycle problem