Hamiltonian circuits and path coverings of vertices in graphs