P vs NP · Verify vs Solve
unseel.com · The $1M open problem · Cook 1971
Candidates 2ⁿ
Verify cost O(n)
State
Certificate (guess)
Verify — fast (P)
Search space — 2ⁿ
NP-complete core
Unseel.com · P vs NP