Hard to Explain, Easy to Verify

Hard to Explain, Easy to Verify(shubhro.com)

1 points by shbhrsaha 3 years ago | 1 comment

PaulHoule 3 years ago |

‘Easy to verify’ has a special place in computer science and always had.

Like many NP-complete problems it is easy to verify that a solution of SAT is correct but it can be very hard to find one or prove one doesn’t exist unless the problem cooperates with you.

PaulHoule 3 years ago |

‘Easy to verify’ has a special place in computer science and always had.

Like many NP-complete problems it is easy to verify that a solution of SAT is correct but it can be very hard to find one or prove one doesn’t exist unless the problem cooperates with you.