Hardprob/Minimum Exact Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
Строка 8: | Строка 8: | ||
* {{has-testdata-and-visualization}} | * {{has-testdata-and-visualization}} | ||
* {{has-pyomo-model}} {{vim|819518997}} | * {{has-pyomo-model}} {{vim|819518997}} | ||
− | * {{has-npc-reduction}} | + | * {{has-npc-reduction}} Аналогично [[Hardprob/Minimum Set Cover]], см. {{vim|819623515}}, хотя возможно надо доработать (метрика в элементах покрытия, не в множествах). |
* {{add-random-fuzzing-tests}} | * {{add-random-fuzzing-tests}} | ||
---- | ---- |
Версия 19:50, 20 апреля 2023
- Коллекция C подмножеств конечного множества S.
- Найти покрытие множества S, на т.е. подмножество C'⊆ C, такое, что для каждый элемент из S принадлежит по крайней мере одному подмножеству из C'.
- Минимизировать суммарных объем покрывающих подмножеств, т.е.
Задача в лаб22 (рид-онли просмотр)
- — есть тестовые данные и визуализация.
- — есть Pyomo-формулировка для ЦЛП. 📹 видео 📹
- — есть сведение на Python NP-полной задачи к данной. Аналогично Hardprob/Minimum Set Cover, см. 📹 видео 📹, хотя возможно надо доработать (метрика в элементах покрытия, не в множествах).
- Можно доработать — сделать Вероятностное тестирование NPC-сведения!