所有的P类问题都可以多项式地规约到NP类问题所有的NP类问题都可以多项式地规约到NP难问题