問題タブ [constraint-satisfaction]
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.
artificial-intelligence - グラフCSPでバックトラックの数を見つける
値が変数 X に割り当てられた後、再帰が解なしで X に戻る場合は、バックトラックする必要があります。具体的には、d 値が残っている 1 つの変数に対して、最大 d 回バックトラックできることを意味します。次の制約グラフのそれぞれについて、各変数がサイズ d の定義域を持っている場合、指定された順序のそれぞれについて、最悪の場合何回バックトラックする必要がありますか?
これは、CS188 Spring 人工知能による質問でした
グラフはこちら
問題:C-B-D-E-A
バックトラック数: 0
これがまだ線形順序付けと見なされているのはなぜですか? E から A に到達するために EA がまだバックトラックを持っていると見なされていない理由がわかりません。バックトラックを余儀なくされ、3 つの変数を通過します。助けてください。ありがとうございました....
algorithm - 製品構成ジェネレーター
製品のさまざまな機能、機能のオプション、および機能間の互換性ルールを考慮して、実現可能なすべての製品構成のリストを生成したいと考えています。
たとえば、私の現在の使用例は、ラップトップの構成に似ています。画面サイズ、RAM、CPU、マザーボードなどの多くの変数と、それぞれに複数の有効な値があります。また、このマザーボードがこの CPU と互換性があるなどの制約を設定することもできます。必要な出力は、ラップトップのすべての有効な構成のリストです。
このシナリオは、典型的な制約充足問題 (CSP) のように見えます。Minion、Choco などの CSP ライブラリを試してみました。残念ながら、それらは数値変数しか使用せず、互換性ルールも数学関数です。
また、機能的制約を使用したhttp://labix.org/python-constraintを試し、互換性ルールを If ステートメントとして提供しました。これは小さなシナリオで機能しました。しかし、私の要件では、10 個の機能があり、それぞれに 4 ～ 5 個のオプションがあり、何百万もの構成が必要になります。
誰かが私の要件に最適なアプローチを提案できますか?