Hardprob/Minimum Cut Cover — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена <m>(u,v) ∈ E</m> на <em>(u,v)∈ E</em>)
 
(не показаны 3 промежуточные версии этого же участника)
Строка 1: Строка 1:
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
+
<!-- start -->{{png-image-for-hard-problem|{{PAGENAME}}}}
  
 
Граф <em>G=(V,E)</em>.
 
Граф <em>G=(V,E)</em>.
  
Найти коллекцию ''разрезов'' <m>V_1, \ldots, V_m</m>,  
+
Найти коллекцию ''разрезов'' <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> свои концы держит в разных подмножествах, т.е.
 
такая что каждое ребро графа <em>(u,v)∈ E</em> свои концы держит в разных подмножествах, т.е.
Строка 13: Строка 13:
 
----
 
----
 
{{hard-problem-on-lab17|{{PAGENAME}}}}
 
{{hard-problem-on-lab17|{{PAGENAME}}}}
<!-- * {{has-testdata-and-visualization}} -->
+
* {{has-testdata-and-visualization}}
<!-- * {{has-pyomo-model}} -->
+
* {{has-pyomo-model}} {{vim|819428357}}
 
<!-- * {{has-npc-reduction}} -->
 
<!-- * {{has-npc-reduction}} -->
 
<!-- * {{add-random-fuzzing-tests}} -->
 
<!-- * {{add-random-fuzzing-tests}} -->

Текущая версия на 09:24, 20 апреля 2023

Minimum-cut-cover.png

Граф G=(V,E).

Найти коллекцию разрезов V1, …, Vm, т.е. коллекция подмножеств вершин , такая что каждое ребро графа (u,v)∈ E свои концы держит в разных подмножествах, т.е.

  • либо и
  • либо и

Минимизировать размер «m» этой коллекции.


Задача в лаб17 (рид-онли просмотр)

  • Data-vis-logo.png — есть тестовые данные и визуализация.
  • PyomoLogo.png — есть Pyomo-формулировка для ЦЛП. 📹 видео 📹