此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。 此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。 2015-11-07 48 判定算法