Γ : things to be hit (cycles) Н : a hitting set (vertices) Karp's generic Hitting Set heuristic: Γ ← empty set Repeat: Using the approximation algorithm, construct a hitting set Н for Γ : Using the separation oracle, attempt to find a circuit that H does not hit; If a circuit is found then add that circuit to Γ else Н ← an optimal hitting set for Γ : Using the separation oracle, attempt to find a circuit Н that does not hit; If a circuit is found then add the circuit to Γ : else return Н and halt
{}