Hardprob/Maximum Induced Connected Subgraph With Property P — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена <!-- start --> на <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->)
 
(не показано 5 промежуточных версий этого же участника)
Строка 1: Строка 1:
 
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
 
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
  
Граф <m>G=\left(V, E\right)</m> и некое свойство (предикат) <em>P</em> над подграфами.
+
* Граф <em>G=(V,E)</em> и некое свойство (предикат) <em>P</em> над подграфами.
 
+
* Найти подмножество вершин <em>V'⊆V</em>, такое, что подграф порожденный вершинами <em>V'</em> — связный и имеет свойство <em>P</em>.
Найти подмножество вершин <m>V' \subseteq V</m>, такое, что подграф порожденный вершинами <em>V'</em> — связный и  
+
* Максимизировать размер этого множества <em>|V'| → max</em>.
имеет свойство <em>P</em>.
+
 
+
Максимизировать размер этого множества <m>\vert V'\vert</m>.
+
  
 
----
 
----
 
{{hard-problem-on-lab17|{{PAGENAME}}}}
 
{{hard-problem-on-lab17|{{PAGENAME}}}}
 +
<!-- * {{has-testdata-and-visualization}} -->
 +
<!-- * {{has-pyomo-model}} -->
 +
<!-- * {{has-npc-reduction}} -->
 +
<!-- * {{add-random-fuzzing-tests}} -->
 
----
 
----
 
<small>
 
<small>
  
 
{{ViggoCode|node39}}
 
{{ViggoCode|node39}}
{{GDCode|GT22 и GT23}}  
+
{{GDCode|GT22}}
 +
{{GDCode|GT23}}  
 
<!-- * [    Задача в википедии] -->
 
<!-- * [    Задача в википедии] -->
 
</small>
 
</small>

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


  • Граф G=(V,E) и некое свойство (предикат) P над подграфами.
  • Найти подмножество вершин V'⊆V, такое, что подграф порожденный вершинами V' — связный и имеет свойство P.
  • Максимизировать размер этого множества |V'| → max.

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