Skip to content
  1. CLRS-Lean
  2. Chapter 34. NP-Completeness
  3. 34.5. NP-Complete Problems
  4. 34.5. HAM-CYCLE
  5. 34.5. The typed VERTEX-COVER to HAM-CYCLE reduction
  6. 34.5. CLRS Hamiltonian-cycle reduction gadget facade
Browse chapters
Imports
import CLRSLean.Chapter_34.Section_34_5_NP_Complete_Problems.HamiltonianCycle.Reduction.Gadget.Basic

CLRS Hamiltonian-cycle reduction gadget facade

The facade will collect the local construction and its traversal/classification lemmas without forcing downstream modules to import the eventual global reduction implementation.