Hardprob/Minimum Cut Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена {{hard-problem-on-lab17|{{PAGENAME}}}} на {{hard-problem-on-lab17|{{PAGENAME}}}} <!-- * {{has-testdata-and-visualization}} --> <!-- * {{has-pyomo-model}} --> <!-- * {{has-npc-reduction}} --> <!-- * {{add-random-fuzzing-tests}} -->) |
StasFomin (обсуждение | вклад) |
||
(не показано 8 промежуточных версий этого же участника) | |||
Строка 1: | Строка 1: | ||
− | <!-- start --> | + | <!-- start -->{{png-image-for-hard-problem|{{PAGENAME}}}} |
− | Граф < | + | Граф <em>G=(V,E)</em>. |
− | Найти коллекцию ''разрезов'' < | + | Найти коллекцию ''разрезов'' <em>V<sub>1</sub>, …, V<sub>m</sub></em>, |
− | т.е. коллекция подмножеств вершин <m>V_i | + | т.е. коллекция подмножеств вершин <m>V_i ⊆ V</m>, |
− | такая что каждое ребро графа < | + | такая что каждое ребро графа <em>(u,v)∈ E</em> свои концы держит в разных подмножествах, т.е. |
− | * либо <m>u | + | * либо <m>u ∈ V_i</m> и <m>v ∉ V_i</m> |
− | * либо <m>u | + | * либо <m>u ∉ V_i</m> и <m>v ∈ V_i$</m> |
Минимизировать размер «m» этой коллекции. | Минимизировать размер «m» этой коллекции. | ||
Строка 13: | Строка 13: | ||
---- | ---- | ||
{{hard-problem-on-lab17|{{PAGENAME}}}} | {{hard-problem-on-lab17|{{PAGENAME}}}} | ||
− | + | * {{has-testdata-and-visualization}} | |
− | + | * {{has-pyomo-model}} {{vim|819428357}} | |
<!-- * {{has-npc-reduction}} --> | <!-- * {{has-npc-reduction}} --> | ||
<!-- * {{add-random-fuzzing-tests}} --> | <!-- * {{add-random-fuzzing-tests}} --> |
Текущая версия на 09:24, 20 апреля 2023
Граф G=(V,E).
Найти коллекцию разрезов V1, …, Vm, т.е. коллекция подмножеств вершин , такая что каждое ребро графа (u,v)∈ E свои концы держит в разных подмножествах, т.е.
- либо и
- либо и
Минимизировать размер «m» этой коллекции.
Задача в лаб22 (рид-онли просмотр)
-
— есть тестовые данные и визуализация.
-
— есть Pyomo-формулировка для ЦЛП. 📹 видео 📹