Hardprob/Minimum Cut Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \in на ∈) |
StasFomin (обсуждение | вклад) |
||
(не показаны 4 промежуточные версии этого же участника) | |||
Строка 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 ∈ V_i</m> и <m>v ∉ V_i</m> | * либо <m>u ∈ V_i</m> и <m>v ∉ V_i</m> | ||
* либо <m>u ∉ V_i</m> и <m>v ∈ V_i$</m> | * либо <m>u ∉ V_i</m> и <m>v ∈ V_i$</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-формулировка для ЦЛП. 📹 видео 📹