Hardprob/Maximum 3-Dimensional Matching — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| Строка 9: | Строка 9: | ||
* {{has-testdata-and-visualization}} | * {{has-testdata-and-visualization}} | ||
* {{has-pyomo-model}} {{vim|819576517}} | * {{has-pyomo-model}} {{vim|819576517}} | ||
| − | * {{has-npc-reduction}} | + | * {{has-npc-reduction}} {{vim|820657456}} |
* {{add-random-fuzzing-tests}} | * {{add-random-fuzzing-tests}} | ||
---- | ---- | ||
Текущая версия на 20:06, 24 апреля 2023
- Множество T ⊆ X×Y×Z, с непересекающимися X, Y, и Z.
- Найти трехмерное сопоставление для T, т.е. подмножество M⊆T, такое, что его элементы не пересекаются ни по одной координате.
- Максимизировать размер сопоставления, т.е. |M| → max.
Задача в лаб17 (рид-онли просмотр)
-
— есть тестовые данные и визуализация. -
— есть Pyomo-формулировка для ЦЛП. 📹 видео 📹 -
— есть сведение на Python NP-полной задачи к данной. 📹 видео 📹 -
Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP1»
- Задача в википедии