Hardprob/Minimum Exact Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \subseteq на ⊆) |
StasFomin (обсуждение | вклад) |
||
| (не показано 7 промежуточных версий 2 участников) | |||
| Строка 1: | Строка 1: | ||
<!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}} | <!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}} | ||
| − | |||
* Коллекция <em>C</em> подмножеств конечного множества <em>S</em>. | * Коллекция <em>C</em> подмножеств конечного множества <em>S</em>. | ||
| − | * Найти покрытие множества <em>S</em>, на т.е. подмножество < | + | * Найти покрытие множества <em>S</em>, на т.е. подмножество <em>C'⊆ C</em>, такое, что для каждый элемент из <em>S</em> принадлежит по крайней мере одному подмножеству из <em>C'</em>. |
| − | * Минимизировать суммарных объем покрывающих подмножеств, т.е. < | + | * Минимизировать суммарных объем покрывающих подмножеств, т.е. <m>\sum\limits_{c\in C'} |c| → \min</m> |
---- | ---- | ||
{{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|819518997}} |
| − | * {{has-npc-reduction}} | + | * {{has-npc-reduction}} {{vim|828547057}} |
* {{add-random-fuzzing-tests}} | * {{add-random-fuzzing-tests}} | ||
---- | ---- | ||
Текущая версия на 12:22, 22 сентября 2023
- Коллекция C подмножеств конечного множества S.
- Найти покрытие множества S, на т.е. подмножество C'⊆ C, такое, что для каждый элемент из S принадлежит по крайней мере одному подмножеству из C'.
- Минимизировать суммарных объем покрывающих подмножеств, т.е.
Задача в лаб22 (рид-онли просмотр)
-
— есть тестовые данные и визуализация. -
— есть Pyomo-формулировка для ЦЛП. 📺 видео 📺 -
— есть сведение на Python NP-полной задачи к данной. 📺 видео 📺 -
Можно доработать — сделать Вероятностное тестирование NPC-сведения!
