問題タブ [clingo]

質問する

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.

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

constraints - クリンゴのカーディナリティ制約を理解できません

私はClingoで次のように定義されたグラフの色分け問題を持っています:

そして、私は次のように特徴付けられるソリューションを持っています:

= 1コードの生成部分の が何を意味するのか理解できません。「カーディナリティの設定」であることは知っていますが、コードは各回答で7つのノードを生成する必要があるため、その方法がわかりません。さらに、次のジェネレーター (長さ 7 のセットで選択するノードと色のすべての組み合わせを生成する) には が必要= 7です。

これは、私が解決しているグラフの彩色問題の写真です: https://imgur.com/a/tX7qtkJ

およびクリンゴ: https://potassco.org/clingo/run/


12345678910