3 ms·
There are many problems where finding a solution is much harder than verifying a solution.
by azernik 11y ago
There are many problems where finding a solution is much harder than verifying a solution.
- masklinn 11y agoA well known one used all the time in crypto being finding the prime factorisation of a number versus verifying that prime factorisation.
- FeepingCreature 11y agoSo verify the solution you give me!
- azernik 11y agoIf the whole point if verification is that you don't trust your software, then that's not a very good idea. So you use the ultimate slow-but-reliable computer, the trained engineer.