Hardprob/Maximum 3-Dimensional Matching — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \subseteq на ⊆) |
StasFomin (обсуждение | вклад) (Массовая правка: замена \times на ×) |
||
| Строка 1: | Строка 1: | ||
<!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}} | <!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}} | ||
| − | * Множество <m>T⊆ | + | * Множество <m>T⊆ X× Y× Z</m>, с непересекающимися <em>X</em>, <em>Y</em>, и <em>Z</em>. |
* Найти трехмерное сопоставление для <em>T</em>, т.е. подмножество <m>M⊆ T</m>, такое, что его элементы не пересекаются ни по одной координате. | * Найти трехмерное сопоставление для <em>T</em>, т.е. подмножество <m>M⊆ T</m>, такое, что его элементы не пересекаются ни по одной координате. | ||
* Минимизировать размер сопоставления, т.е. <m>\vert M\vert</m>. | * Минимизировать размер сопоставления, т.е. <m>\vert M\vert</m>. | ||
Версия 11:36, 17 апреля 2023
- Множество , с непересекающимися X, Y, и Z.
- Найти трехмерное сопоставление для T, т.е. подмножество , такое, что его элементы не пересекаются ни по одной координате.
- Минимизировать размер сопоставления, т.е. .
Задача в лаб22 (рид-онли просмотр)
-
— есть тестовые данные и визуализация. -
— есть Pyomo-формулировка для ЦЛП. -
— есть сведение на Python NP-полной задачи к данной. -
Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP1»
- Задача в википедии