Dirac 1952: n ≥ 3, min degree ≥ n/2 ⟹ Hamiltonian. Ore generalization min deg sum ≥ n. Hamiltonicity NP-complete (Karp).