Hardprob/Minimum Set Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| Строка 9: | Строка 9: | ||
{{hard-problem-on-lab17|{{PAGENAME}}}} | {{hard-problem-on-lab17|{{PAGENAME}}}} | ||
* {{has-testdata-and-visualization}} | * {{has-testdata-and-visualization}} | ||
| − | * {{has-pyomo-model}} | + | * {{has-pyomo-model}} {{vim|819442881}} |
* {{has-npc-reduction}} | * {{has-npc-reduction}} | ||
* {{add-random-fuzzing-tests}} | * {{add-random-fuzzing-tests}} | ||
Версия 11:30, 20 апреля 2023
- Коллекция C подмножеств конечного множества S.
- Найти покрытие множества S, на т.е. подмножество C'⊆ C, такое, что для каждый элемент из S принадлежит по крайней мере одному подмножеству из C'.
- Минимизировать число покрывающих подмножеств, т.е.
Задача в лаб22 (рид-онли просмотр)
-
— есть тестовые данные и визуализация. -
— есть Pyomo-формулировка для ЦЛП. 📺 видео 📺 -
— есть сведение на Python NP-полной задачи к данной. -
Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP5»