Hardprob/Maximum Set Packing — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена <m>\vert C'\vert</m> на <em>|C'|</em>) |
StasFomin (обсуждение | вклад) |
||
(не показаны 3 промежуточные версии этого же участника) | |||
Строка 1: | Строка 1: | ||
<!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}} | <!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}} | ||
* Коллекция конечных множеств <em>C</em>. | * Коллекция конечных множеств <em>C</em>. | ||
− | * Найти упаковку множеств, т.е. коллекцию непересекающихся множество < | + | * Найти упаковку множеств, т.е. коллекцию непересекающихся множество <em>C'⊆ C</em>. |
* Максимизировать размер этой упаковки, т.е. <em>|C'|</em> | * Максимизировать размер этой упаковки, т.е. <em>|C'|</em> | ||
− | |||
---- | ---- | ||
{{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|819474091}} |
− | * {{has-npc-reduction}} | + | * {{has-npc-reduction}} {{vim|820661279}} |
* {{add-random-fuzzing-tests}} | * {{add-random-fuzzing-tests}} | ||
---- | ---- |
Текущая версия на 20:16, 24 апреля 2023
- Коллекция конечных множеств C.
- Найти упаковку множеств, т.е. коллекцию непересекающихся множество C'⊆ C.
- Максимизировать размер этой упаковки, т.е. |C'|
Задача в лаб22 (рид-онли просмотр)
- — есть тестовые данные и визуализация.
- — есть Pyomo-формулировка для ЦЛП. 📺 видео 📺
- — есть сведение на Python NP-полной задачи к данной. 📺 видео 📺
- Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP3»