Hardprob/Minimum Set Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}} * Коллекция <em>C</em> подмножеств конечного множества <em>S</em>…») |
StasFomin (обсуждение | вклад) |
||
Строка 5: | Строка 5: | ||
* Минимизировать число покрывающих подмножеств, т.е. | * Минимизировать число покрывающих подмножеств, т.е. | ||
<m> | <m> | ||
− | \displaystyle\sum\limits_{c\in C'} \vert c\vert | + | \displaystyle\sum\limits_{c\in C'} \vert c\vert → \min |
</m> | </m> | ||
Версия 08:47, 11 апреля 2023
- Коллекция C подмножеств конечного множества S.
- Найти покрытие множества S, на т.е. подмножество , такое, что для каждый элемент из S принадлежит по крайней мере одному подмножеству из C'.
- Минимизировать число покрывающих подмножеств, т.е.
Задача в лаб22 (рид-онли просмотр)
- — есть тестовые данные и визуализация.
- — есть Pyomo-формулировка для ЦЛП.
- — есть сведение на Python NP-полной задачи к данной.
- Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP5»