質問は次のとおりです。
スポーツ リーグのスケジューリング問題について、次のルールと定義を検討してください。
- N (偶数) チームで、2 チームごとにシーズン中に 1 回だけ対戦します。
- シーズンは (N-1) 週間続きます。
- 各チームは、シーズンの各週に 1 試合を行います。
- 1 週間に N/2 の期間またはスロットがあります。すべてのスロットが 1 つのゲームにスケジュールされています。
(a) (25 点) スポーツ リーグのスケジューリング問題をブール充足可能性問題としてエンコードします。ヒント：
- 2 つの異なるチームが特定のスロットで互いにプレーすることをモデル化するには、各スロットを 2 つのサブスロットに分割します。毎週、N 個のサブスロットがあります。連続するサブスロット (奇数のサブスロットと偶数のサブスロットが続く) をプレイする 2 つのチームが実際に互いに対戦するという規則を採用します。
- 変数 Xijk は、チーム i がサブスロット j で第 k 週にプレーする場合に True が割り当てられます。
- 変数 Yijk は、チーム i がチーム j と k 週に対戦する場合に真が割り当てられます。
1 つの質問があります。各サブスロットで 1 つのチームがプレーするという条項を提示してください。条項はいくつありますか？
私の質問: ここでの「条項」とは実際にはどういう意味ですか? 私はこの質問を投稿して、誰かが質問が何を尋ねようとしているのか教えてくれることを願っています.私は直接的な解決策を探しているわけではありません.
誰かが助けてくれたらありがとう。