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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена \subseteq на ⊆)
 
(не показано 7 промежуточных версий 2 участников)
Строка 1: Строка 1:
 
<!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}}
 
<!-- start -->{{svg-image-for-hard-problem|{{PAGENAME}}}}
 
 
* Коллекция <em>C</em> подмножеств конечного множества <em>S</em>.
 
* Коллекция <em>C</em> подмножеств конечного множества <em>S</em>.
* Найти покрытие множества <em>S</em>, на т.е. подмножество <m>C'⊆ C</m>, такое, что для каждый элемент из <em>S</em> принадлежит по крайней мере одному подмножеству из <em>C'</em>.
+
* Найти покрытие множества <em>S</em>, на т.е. подмножество <em>C'⊆ C</em>, такое, что для каждый элемент из <em>S</em> принадлежит по крайней мере одному подмножеству из <em>C'</em>.
* Минимизировать суммарных объем покрывающих подмножеств, т.е. <em>|C'|</em>
+
* Минимизировать суммарных объем покрывающих подмножеств, т.е. <m>\sum\limits_{c\in C'} |c| → \min</m>
  
 
----
 
----
 
{{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|819518997}}
* {{has-npc-reduction}}
+
* {{has-npc-reduction}} {{vim|828547057}}
 
* {{add-random-fuzzing-tests}}
 
* {{add-random-fuzzing-tests}}
 
----
 
----

Текущая версия на 12:22, 22 сентября 2023

Minimum-exact-cover.svg
  • Коллекция C подмножеств конечного множества S.
  • Найти покрытие множества S, на т.е. подмножество C'⊆ C, такое, что для каждый элемент из S принадлежит по крайней мере одному подмножеству из C'.
  • Минимизировать суммарных объем покрывающих подмножеств, т.е.

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