問題タブ [sat]

質問する

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.

255 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
554 参照

algorithm - DPLL アルゴリズム手順

実際にコーディングする前に、DPLL手順を理解しようとしています。

たとえば、次の句があります。

ここで、決定変数を d = 0、b = 0 とします。節は次のようになります。

ここで、ユニットの伝播と純粋なリテラル規則がどのように役割を果たすのでしょうか?

また、C3 : {1, !a}- を とるa = 1と、これは になり{1, 0}ます。この句の最終的な値は何ですか? {1} にする必要がありますか?

そして、決定変数を適用した後、いずれかの節に value {!b}、つまりリテラルの否定がある場合、どのように処理を進めればよいでしょうか?


12345678910