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