Hardprob/Maximum Domatic Partition — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена <!-- start --> на <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->) |
StasFomin (обсуждение | вклад) |
||
| (не показано 5 промежуточных версий этого же участника) | |||
| Строка 1: | Строка 1: | ||
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | ||
| − | Граф < | + | * Граф <em>G=(V,E)</em>. |
| − | + | * Найти разбиение <em>V</em> на непересекающиеся наборы <em>V<sub>1</sub>, V<sub>2</sub>, …, V<sub>k</sub></em> такие, что каждый <em>V<sub>i</sub></em> [https://ru.wikipedia.org/wiki/%D0%94%D0%BE%D0%BC%D0%B8%D0%BD%D0%B8%D1%80%D1%83%D1%8E%D1%89%D0%B5%D0%B5_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%BE доминирующее множество] над <em>G</em>. | |
| − | Найти разбиение <em>V</em> на непересекающиеся наборы < | + | * Максимизировать размерность разделения, т.е. число этих непересекающихся множеств вершин <em>V<sub>i</sub></em>. |
| − | такие, что каждый < | + | |
| − | + | ||
| − | Максимизировать размерность разделения, т.е. число этих непересекающихся множеств вершин < | + | |
---- | ---- | ||
{{hard-problem-on-lab17|{{PAGENAME}}}} | {{hard-problem-on-lab17|{{PAGENAME}}}} | ||
| + | <!-- * {{has-testdata-and-visualization}} --> | ||
| + | <!-- * {{has-pyomo-model}} --> | ||
| + | <!-- * {{has-npc-reduction}} --> | ||
| + | <!-- * {{add-random-fuzzing-tests}} --> | ||
---- | ---- | ||
<small> | <small> | ||
Текущая версия на 23:36, 17 апреля 2023
- Граф G=(V,E).
- Найти разбиение V на непересекающиеся наборы V1, V2, …, Vk такие, что каждый Vi доминирующее множество над G.
- Максимизировать размерность разделения, т.е. число этих непересекающихся множеств вершин Vi.
Код в «maximum-domatic-partition.ipynb» на гитлаб или живьем в лабе
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «GT3»