摘要：本文证明了逻辑公式中所含有的辑门的总个数是否可转化为多项式的等价于逻辑公式中所含有的自由变元总次数是否可转化为多项式的。从而利用逻辑公式中所含有的自由变元总次数，来判断P类与NP类问题。针对NP中的类（试读）...