Um grafo é dito hamiltoniano se e somente se ele possui um ciclo hamiltoniano.

Um ciclo hamiltoniano em um grafo é um ciclo que engloba todos os vértices de .

Uma condição suficiente (porém não necessária) para um grafo ser hamiltoniano é que e que cada vértice tenha grau pelo menos .