有界因子co-NP？

Question

有界因素。

  

给定数字n，确定它是否有任何适当的因子小于k。

这是一个共同的Np问题吗？

Answer 1

这个问题确实是一个共同的NP问题。 为了查看co-NP中是否存在问题，您需要查看是否存在可以否定该问题的多项式验证程序。 在这种情况下，我们可以说明n - 的一个主要因素可以很容易地检查它们是否确实是n的主要因素，以及其中一个因素是否小于k。如果没有，那么没有因素小于k！ 这样做，我们证明问题也在NP中，因为同样的方式，我们有一个批准的验证者。