通常验证一个问题的解是否正确远比找到一个问题的解要容易的多，这就是所谓的“证比求易”（Algorithmofverifyingiseasierthanfindingsolutions）