Hardprob/Minimum Cut Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \not\in на ∉) |
StasFomin (обсуждение | вклад) |
||
| (не показано 5 промежуточных версий этого же участника) | |||
| Строка 1: | Строка 1: | ||
| − | <!-- start --> | + | <!-- start -->{{png-image-for-hard-problem|{{PAGENAME}}}} |
Граф <em>G=(V,E)</em>. | Граф <em>G=(V,E)</em>. | ||
| − | Найти коллекцию ''разрезов'' < | + | Найти коллекцию ''разрезов'' <em>V<sub>1</sub>, …, V<sub>m</sub></em>, |
т.е. коллекция подмножеств вершин <m>V_i ⊆ V</m>, | т.е. коллекция подмножеств вершин <m>V_i ⊆ V</m>, | ||
| − | такая что каждое ребро графа < | + | такая что каждое ребро графа <em>(u,v)∈ E</em> свои концы держит в разных подмножествах, т.е. |
| − | * либо <m>u | + | * либо <m>u ∈ V_i</m> и <m>v ∉ V_i</m> |
| − | * либо <m>u ∉ V_i</m> и <m>v | + | * либо <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-формулировка для ЦЛП. 📺 видео 📺
