Hardprob/Minimum Exact Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
|||
| Строка 17: | Строка 17: | ||
<!-- * [ Задача в википедии] --> | <!-- * [ Задача в википедии] --> | ||
</small> | </small> | ||
| + | |||
| + | {{reserve-task|[[Участник:Анна Савчук|Анна Савчук]] 12:55, 25 апреля 2023 (UTC)}} | ||
| + | |||
<!-- end --> | <!-- end --> | ||
[[Категория:ClassicHardProblems]] | [[Категория:ClassicHardProblems]] | ||
Версия 12:55, 25 апреля 2023
- Коллекция C подмножеств конечного множества S.
- Найти покрытие множества S, на т.е. подмножество C'⊆ C, такое, что для каждый элемент из S принадлежит по крайней мере одному подмножеству из C'.
- Минимизировать суммарных объем покрывающих подмножеств, т.е.
Код в «minimum-exact-cover.ipynb» на гитлаб или живьем в лабе
-
— есть тестовые данные и визуализация. -
— есть Pyomo-формулировка для ЦЛП. 📺 видео 📺 -
— есть сведение на Python NP-полной задачи к данной. Аналогично Hardprob/Minimum Set Cover, см. 📺 видео 📺, хотя возможно надо доработать (метрика в элементах покрытия, не в множествах). -
Можно доработать — сделать Вероятностное тестирование NPC-сведения!
Задача зарезервирована: Анна Савчук 12:55, 25 апреля 2023 (UTC)