Hardprob/Minimum Set Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
Строка 3: | Строка 3: | ||
* Коллекция <em>C</em> подмножеств конечного множества <em>S</em>. | * Коллекция <em>C</em> подмножеств конечного множества <em>S</em>. | ||
* Найти покрытие множества <em>S</em>, на т.е. подмножество <em>C'⊆ C</em>, такое, что для каждый элемент из <em>S</em> принадлежит по крайней мере одному подмножеству из <em>C'</em>. | * Найти покрытие множества <em>S</em>, на т.е. подмножество <em>C'⊆ C</em>, такое, что для каждый элемент из <em>S</em> принадлежит по крайней мере одному подмножеству из <em>C'</em>. | ||
− | * Минимизировать число покрывающих подмножеств, т.е. | + | * Минимизировать число покрывающих подмножеств, т.е. <em>|C'|→min</em>. |
− | + | ||
---- | ---- |
Версия 13:58, 20 апреля 2023
- Коллекция C подмножеств конечного множества S.
- Найти покрытие множества S, на т.е. подмножество C'⊆ C, такое, что для каждый элемент из S принадлежит по крайней мере одному подмножеству из C'.
- Минимизировать число покрывающих подмножеств, т.е. |C'|→min.
Задача в лаб22 (рид-онли просмотр)
- — есть тестовые данные и визуализация.
- — есть Pyomo-формулировка для ЦЛП. 📺 видео 📺
- — есть сведение на Python NP-полной задачи к данной.
- Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP5»