通常验证一个问题的解是否正确远比找到一个问题的解要容易的多，这就是所谓的“证比求易”（Algorithm of verifying is easier than finding solutions）。比如，对于求48 770 428 433 377 171的一个真因子的问题，最坏情况下需要计算次数的数量级约为 ；而验证223 092 827是否是真因子只需要1次。这个结论有重要的认知价值，与“评论别人的文章比写文章容易”类似，属于教育学中的元认知。 （）