問題タブ [gringo]
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.
aggregate - ASP Clingo - アトムの正確な数を取得する
特定の人数を特定のシフトに割り当てることを楽しみにしています。たとえば、私は 6 人で 3 つの異なるシフトを持っていました。今度は、すべてのシフトに正確に 2 人を割り当てる必要があります。私はこのようなことを試しましたが..
注:これはうまくいきません.人々を誤解させるためにできるだけ早く編集してください. それの後、誰もそれをコピーしていません:
割り当てられたシフトの数を数えることは可能ですか?
上記のコードの出力 (「.」が挿入された場合) は次のとおりです。
ここでは、 shiftCountで定義されているように、朝 ("mor") シフトが 2 回以上使用されていることがはっきりとわかります。必要な結果を得るには何を変更する必要がありますか?