Hardprob/Minimum Cut Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| (не показано 10 промежуточных версий этого же участника) | |||
| Строка 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}} --> | ||
| + | <!-- * {{add-random-fuzzing-tests}} --> | ||
---- | ---- | ||
<small> | <small> | ||
Текущая версия на 09:24, 20 апреля 2023
Граф G=(V,E).
Найти коллекцию разрезов V1, …, Vm, т.е. коллекция подмножеств вершин , такая что каждое ребро графа (u,v)∈ E свои концы держит в разных подмножествах, т.е.
- либо и
- либо и
Минимизировать размер «m» этой коллекции.
Задача в лаб22 (рид-онли просмотр)
-
— есть тестовые данные и визуализация. -
— есть Pyomo-формулировка для ЦЛП. 📺 видео 📺
