Hardprob/Minimum Feedback Vertex Set — различия между версиями

Текущая версия на 21:33, 17 апреля 2023

Направленный граф G=(V,A).

Найти множество вершин разрезающее циклы, т.е. подмножество , такое, что V' содержит по крайней мере одну вершину из каждого направленного цикла в G.

Минимизировать размерность этого подмножества, |V'|.

@@ Строка 1: / Строка 1: @@
-{{checked|}}
+<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
-Направленный граф <m>G=\left(V,E\right)</m>.
+Направленный граф <em>G=(V,A)</em>.
 Найти [https://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D0%B7%D1%80%D0%B5%D0%B7%D0%B0%D1%8E%D1%89%D0%B5%D0%B5_%D1%86%D0%B8%D0%BA%D0%BB%D1%8B_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%BE_%D0%B2%D0%B5%D1%80%D1%88%D0%B8%D0%BD множество вершин разрезающее циклы],
-т.е. подмножество <m>$V' \subseteq V</m>, такое, что <em>V'</em>
+т.е. подмножество <m>$V' ⊆ V</m>, такое, что <em>V'</em>
 содержит по крайней мере одну вершину из каждого направленного цикла в <em>G</em>.
-Минимизировать размерность этого подмножества, <m>\vert V'\vert</m>.
+Минимизировать размерность этого подмножества, <em>|V'|</em>.
+----
+{{hard-problem-on-lab17|{{PAGENAME}}}}
+<!-- * {{has-testdata-and-visualization}} -->
+<!-- * {{has-pyomo-model}} -->
+<!-- * {{has-npc-reduction}} -->
+<!-- * {{add-random-fuzzing-tests}} -->
 ----
 <small>
 {{ViggoCode|node19}}
 {{GDCode|GT7}}
 <!-- * [    Задача в википедии] -->
 </small>
-{{enddiv}}
+<!-- end -->
 [[Категория:ClassicHardProblems]]