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 .