Hardprob/Maximum 3-Dimensional Matching — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: замена PCRE <m>\\vert (\w+)\\vert</m> на <em>|\1|</em>) |
||
| Строка 3: | Строка 3: | ||
* Множество <em>T ⊆ X×Y×Z</em>, с непересекающимися <em>X</em>, <em>Y</em>, и <em>Z</em>. | * Множество <em>T ⊆ X×Y×Z</em>, с непересекающимися <em>X</em>, <em>Y</em>, и <em>Z</em>. | ||
* Найти трехмерное сопоставление для <em>T</em>, т.е. подмножество <em>M⊆T</em>, такое, что его элементы не пересекаются ни по одной координате. | * Найти трехмерное сопоставление для <em>T</em>, т.е. подмножество <em>M⊆T</em>, такое, что его элементы не пересекаются ни по одной координате. | ||
| − | * Минимизировать размер сопоставления, т.е. < | + | * Минимизировать размер сопоставления, т.е. <em>|M|</em>. |
---- | ---- | ||
Версия 23:06, 17 апреля 2023
- Множество T ⊆ X×Y×Z, с непересекающимися X, Y, и Z.
- Найти трехмерное сопоставление для T, т.е. подмножество M⊆T, такое, что его элементы не пересекаются ни по одной координате.
- Минимизировать размер сопоставления, т.е. |M|.
Код в «maximum-3-dimensional-matching.ipynb» на гитлаб или живьем в лабе
-
— есть тестовые данные и визуализация. -
— есть Pyomo-формулировка для ЦЛП. -
— есть сведение на Python NP-полной задачи к данной. -
Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP1»
- Задача в википедии