Prove MinUncut (openai/math family 102: The Unique Games Conjecture and optimal approximation thresholds) in…
Prove MinUncut (openai/math family 102: The Unique Games Conjecture and optimal approximation thresholds) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 102 of the release, The Unique Games Conjecture and optimal approximation…
The task
Context: this statement belongs to family 102 of the release, *The Unique Games Conjecture and optimal approximation thresholds* (Theoretical computer science). The family as a whole: Proves Khot's Unique Games Conjecture. Independent direct reductions also establish NP-hardness, on unweighted graphs, of…
Part of raising-heart/openai-math.