CSP プランナーの視野を広げるのをいつやめるべきですか? 具体的には、制約充足問題プランナーの条件はありますか? 検索とのアークの一貫性があるホライズンで失敗すると、アークの一貫性がすべてのより長いホライズンでも失敗することを意味します。
1 に答える
-1
プランナーが非常に一般的である場合、答えはノーでなければなりません。
「この行列の各行はチューリング マシンのテープに対応し、行 i はステップ i 後のチューリング マシンの状態のスナップショットであり、最後の行はチューリングがマシンが停止しました」。
次に、「制約を満たすマトリックスを見つけました」は「このチューリングマシンが停止しました」に対応し、https://en.wikipedia.org/wiki/Halting_problemによって、チューリングマシンまたは他の一般的な計算が停止したとは、物事を実行して停止するかどうかを確認することです。
于 2016-03-28T05:04:01.563 に答える