Hardprob/Maximum Set Splitting — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
(не показаны 4 промежуточные версии 2 участников) | |||
Строка 3: | Строка 3: | ||
* Найти разбиение <em>S</em>, на непересекающиеся множества <em>S<sub>1</sub></em> и <em>S<sub>2</sub></em>. | * Найти разбиение <em>S</em>, на непересекающиеся множества <em>S<sub>1</sub></em> и <em>S<sub>2</sub></em>. | ||
* Максимизировать число подмножеств <em>C</em>, которые «разделены» между <em>S<sub>1</sub></em> и <em>S<sub>2</sub></em>, т.е. не лежат полностью в <em>S<sub>1</sub></em> или <em>S<sub>2</sub></em>. | * Максимизировать число подмножеств <em>C</em>, которые «разделены» между <em>S<sub>1</sub></em> и <em>S<sub>2</sub></em>, т.е. не лежат полностью в <em>S<sub>1</sub></em> или <em>S<sub>2</sub></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|819542576}} |
− | * {{has-npc-reduction}} | + | * {{has-npc-reduction}} {{vim|820790843}} |
* {{add-random-fuzzing-tests}} | * {{add-random-fuzzing-tests}} | ||
---- | ---- |
Текущая версия на 12:23, 22 сентября 2023
- Коллекция C подмножеств конечного множества S.
- Найти разбиение S, на непересекающиеся множества S1 и S2.
- Максимизировать число подмножеств C, которые «разделены» между S1 и S2, т.е. не лежат полностью в S1 или S2.
Задача в лаб22 (рид-онли просмотр)
-
— есть тестовые данные и визуализация.
-
— есть Pyomo-формулировка для ЦЛП. 📹 видео 📹
-
— есть сведение на Python NP-полной задачи к данной. 📹 видео 📹
-
Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP4»
- Задача в википедии