此算法能在多項(xiàng)式時(shí)間里判定任一給定的2CNF公式是否可滿足。是算法中的一個(gè)重要問題。
標(biāo)簽: 2CNF 算法 多項(xiàng)式
上傳時(shí)間: 2015-11-07
上傳用戶:cccole0605
蟲蟲下載站版權(quán)所有 京ICP備2021023401號(hào)-1