rmula_8。以下的证明是不能从以上文字直接看得出：如果一个问题可被证同时为NP与反NP，则通常我们将会视作本问题不是NP完全命题的强力假设（若非如此，则NP相等于反NP）。
应用.一个同时在NP与反NP集合的有名问题是整数分解：给两个正整数m与n，决定m是否有小于n且大于1的因数。第一个问题的方法很清晰：如果m的确存在一个满足条件的因子，则长除法即可验证；另一个问题的方法就困难且精妙多了：你必须将m的所有质数因子列出，并为每个因子提供质数性质的证明。整数因子分解常与