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

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

Граф G=(V,E).
Найти покрытие кликами для G, т.е. коллекция подмножеств вершин V₁, V₂, …, V_k, таких, что каждая порождает полный подграф, и каждое ребро (u,v) ∈ E содержит оба своих конца в одном из V_i.
Минимизировать размер «k» этого покрытия кликами.

@@ Строка 1: / Строка 1: @@
 <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
-Граф <m>G=\left(V,E\right)</m>.
+* Граф <em>G=(V,E)</em>.
+* Найти покрытие кликами для <em>G</em>, т.е. коллекция подмножеств вершин <em>V<sub>1</sub>, V<sub>2</sub>, …, V<sub>k</sub></em>, таких, что каждая порождает полный подграф, и каждое ребро <em>(u,v) ∈ E</em> содержит оба своих конца в одном из <em>V<sub>i</sub></em>.
-Найти покрытие кликами для <em>G</em>, т.е. коллекция подмножеств вершин
+* Минимизировать размер «k» этого покрытия кликами.
-<m>V_1,V_2,\ldots,V_k</m>, таких, что каждая порождает полный подграф,
-и каждое ребро <m>\left<u,v\right>\in E</m> содержит оба своих конца в одном из <m>V_i</m>
-Минимизировать размер «k» этого покрытия кликами.
 ----
 {{hard-problem-on-lab17|{{PAGENAME}}}}
+<!-- * {{has-testdata-and-visualization}} -->
+<!-- * {{has-pyomo-model}} -->
+<!-- * {{has-npc-reduction}} -->
+<!-- * {{add-random-fuzzing-tests}} -->
 ----
 <small>