ダイナミックフォーシングチェーンプラス
ダイナミックフォーシングチェーンプラスは、1つの開始仮定によって作成された一時的な状態内で通常の推論を適用します。これらの推論は分岐を拡張できますが、矛盾または網羅的な結論がそれを解消するまで、すべての結果は開始仮定に条件付けられたままです。
ダイナミックフォーシングチェーンプラスとは？
ダイナミックフォーシングチェーンプラスは、パス内で網羅的な仮定セットを列挙できるようにすることで、ダイナミックフォーシングチェーンを拡張します。パスが未解決マスのすべての可能な値を列挙し、それらすべてが1つの帰結を強制する場合、その帰結はその位置で保持されなければなりません。
見つけ方
パス内で、未解決マスのすべての可能な値を列挙し、それぞれが同じ帰結を強制することを確認します。その帰結を使用してパスを続けます。
ロジック
列挙された値が1つの帰結を強制する場合、その帰結は実際のマスの値とは独立して成り立ちます。この強制により、パスは以前に導かれた帰結に加えて、証明された帰結からさらに進むことができます。