私はSATの問題を解決しなければなりません。その問題には 2 つのカーディナリティ制約があります。最初の 1 つは、1 日あたり最大 6 つの「同じステージのクラス」、「大学」は 1 日 12 時間「開いている」ため、制約を生成して SAT ソルバーに適用する必要があります。
2 番目のカーディナリティ制約は次のとおりです。すべての被験者は、週に少なくとも X 時間必要です。
私は読んでいて、最初の最良の方法は「ネットワークアルゴリズムのソート」かもしれません.2番目についてはわかりませんが、実装方法もプロローグでの実装も開始していません。