Вот вопрос:
Рассмотрим следующие правила и определения для задачи планирования спортивной лиги:
- N (четных) команд, и каждые две команды играют друг с другом ровно один раз за сезон.
- Сезон длится (N-1) недель.
- Каждая команда играет одну игру в каждую неделю сезона.
- Есть N/2 периодов или слотов в неделю; каждый слот рассчитан на одну игру.
(a) (25 баллов) Закодируйте задачу составления расписания спортивных лиг как задачу о булевой выполнимости. Подсказки:
- Чтобы смоделировать, что две разные команды играют друг с другом в данном слоте, разделите каждый слот на два подслота. На каждую неделю у нас есть N подслотов. Примите соглашение о том, что две команды, которые играют последовательные подслоты — подслот с нечетным номером, за которым следует подслот с четным номером, — на самом деле играют друг с другом.
- Переменной Xijk присваивается значение True, если и только если команда i играет в подслоте j на неделе k.
- Переменной Yijk присваивается значение True, если и только если команда i играет с командой j на неделе k.
Есть один вопрос: дайте пункты, в которых говорится, что в каждом подслоте играет ровно одна команда. Сколько оговорок?
Мой вопрос: что здесь на самом деле означают «пункты»? Я публикую этот вопрос в надежде, что кто-нибудь может сказать мне, что пытается задать вопрос, я не ищу прямого решения.
Спасибо, если кто-нибудь может помочь.
