How to Use
Select graph:
- c(G): Circumference
- Dirac: δ≥n/2?
- Hamiltonian: c=n?
Dirac's Theorem
If δ(G) ≥ n/2 (n≥3), then G is Hamiltonian. Simple, powerful sufficient condition. Ore generalizes: if d(u)+d(v)≥n for all non-adjacent pairs, then Hamiltonian. Both are best-possible degree conditions.
Computational Complexity
Determining if c=n (Hamiltonian cycle) is NP-complete. One of Karp's 21. No known polynomial algorithm. But many sufficient conditions (Dirac, Ore, Chvátal) give polynomial tests for special cases.
Step-by-Step Instructions
- 1Select graph.
- 2Compute circumference.
- 3Check Dirac.
- 4Check Ore.
- 5Hamiltonian?