“Suppose whatever we can recognize we can find. We can if P=NP.”— Lance Fortnow
“Suppose whatever we can recognize we can find. We can if P=NP.”