問題タブ [cnf]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
63 問題
0
投票する
1
に答える
183
参照
python - 解決方法を使用して、2-CNF ブール関数が充足可能かどうかを確認しますか?
入力は、2-CNF のブール式で、記号の文字列として与えられます。
例: p /\ (p -> q) /\ (p -> ~r) /\ (~r / ~s) /\ (s / ~q)
この 2 cnf sat 問題を解決するために Resolution メソッドを使用していますが、別の句で変数とその否定をチェックする必要があるため、Python で 2 つの句のリテラルを比較する方法に行き詰まっています。