形式（「请问"N"是否有一个比"M"小的因数?」）是在NP与反NP之中。<br>因为不管是答案为是或不是，我们都可以用一个质因数以及该质因数的质数证明来验证这个答案。<br>由秀尔演算法可知，这个问题在BQP中。<br>大部份的人则怀疑这个问题不在P、NP、以及反NP这三个复杂性类别中。<br>如果这个问题可以被证明为NP完全或反NP完全，则我们便可推得NP=反NP。<br>这将会是个很震撼的结果，也因此大多数人猜想整数分解这个问题不在上述的复杂性类别中。<br>也有许多人尝试去找出多项式时间的