Hardprob/Maximum 3-Dimensional Matching — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --> ---- {{hard-problem-on-lab17|{{PAGENAME}}}} ---- <small> {{ViggoCode|}} {{GDCode|}} <!-- * [ Задача в википедии] --> </small>…») |
StasFomin (обсуждение | вклад) |
||
(не показано 20 промежуточных версий этого же участника) | |||
Строка 1: | Строка 1: | ||
− | <!-- start --> | + | <!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}} |
+ | * Множество <em>T ⊆ X×Y×Z</em>, с непересекающимися <em>X</em>, <em>Y</em>, и <em>Z</em>. | ||
+ | * Найти трехмерное сопоставление для <em>T</em>, т.е. подмножество <em>M⊆T</em>, такое, что его элементы не пересекаются ни по одной координате. | ||
+ | * Максимизировать размер сопоставления, т.е. <em>|M| → max</em>. | ||
---- | ---- | ||
{{hard-problem-on-lab17|{{PAGENAME}}}} | {{hard-problem-on-lab17|{{PAGENAME}}}} | ||
+ | * {{has-testdata-and-visualization}} | ||
+ | * {{has-pyomo-model}} {{vim|819576517}} | ||
+ | * {{has-npc-reduction}} {{vim|820657456}} | ||
+ | * {{add-random-fuzzing-tests}} | ||
---- | ---- | ||
<small> | <small> | ||
− | {{ViggoCode|}} | + | {{ViggoCode|node143}} |
− | {{GDCode|}} | + | {{GDCode|SP1}} |
− | + | * [https://en.wikipedia.org/wiki/3-dimensional_matching Задача в википедии] | |
</small> | </small> | ||
<!-- end --> | <!-- end --> | ||
[[Категория:ClassicHardProblems]] | [[Категория:ClassicHardProblems]] |
Текущая версия на 20:06, 24 апреля 2023
- Множество T ⊆ X×Y×Z, с непересекающимися X, Y, и Z.
- Найти трехмерное сопоставление для T, т.е. подмножество M⊆T, такое, что его элементы не пересекаются ни по одной координате.
- Максимизировать размер сопоставления, т.е. |M| → max.
Задача в лаб22 (рид-онли просмотр)
- — есть тестовые данные и визуализация.
- — есть Pyomo-формулировка для ЦЛП. 📺 видео 📺
- — есть сведение на Python NP-полной задачи к данной. 📺 видео 📺
- Можно доработать — сделать Вероятностное тестирование NPC-сведения!
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP1»
- Задача в википедии