6也一定会找到该分支并停机。因此formula_27。定理2：如果语言L被非确定型图灵机formula_8在多项式时间内接受，则一定存在多项式P使得语言L被时间复杂度为formula_43的确定型图灵机程序所接受。定理2说明了为什么在证明P =NP之前，所有的NPC问题都只有指数时间复杂度算法。