Hardprob/Maximum 3-Dimensional Matching — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: замена {{hard-problem-on-lab17|{{PAGENAME}}}} на {{hard-problem-on-lab17|{{PAGENAME}}}} <!-- * {{has-testdata-and-visualization}} --> <!-- * {{has-pyomo-model}} --> <!-- * {{has-npc-reduction}} --> <!-- * {{add-random-fuzzing-tests}} -->) |
||
| Строка 7: | Строка 7: | ||
---- | ---- | ||
{{hard-problem-on-lab17|{{PAGENAME}}}} | {{hard-problem-on-lab17|{{PAGENAME}}}} | ||
| + | <!-- * {{has-testdata-and-visualization}} --> | ||
| + | <!-- * {{has-pyomo-model}} --> | ||
| + | <!-- * {{has-npc-reduction}} --> | ||
| + | <!-- * {{add-random-fuzzing-tests}} --> | ||
* {{has-testdata-and-visualization}} | * {{has-testdata-and-visualization}} | ||
* {{has-pyomo-model}} | * {{has-pyomo-model}} | ||
Версия 20:45, 10 апреля 2023
- Множество , с непересекающимися X, Y, и Z.
- Найти трехмерное сопоставление для T, т.е. подмножество , такое, что его элементы не пересекаются ни по одной координате.
- Минимизировать размер сопоставления, т.е. .
Задача в лаб22 (рид-онли просмотр)
-
— есть тестовые данные и визуализация. -
— есть Pyomo-формулировка для ЦЛП. -
— есть сведение на Python NP-полной задачи к данной. -
Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP1»
- Задача в википедии