Hardprob/Minimum Vertex Cover — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена {{checked|}} на <!-- start -->) |
StasFomin (обсуждение | вклад) (Массовая правка: замена <m>(u,v) ∈ E</m> на <em>(u,v)∈ E</em>) |
||
| (не показано 6 промежуточных версий этого же участника) | |||
| Строка 1: | Строка 1: | ||
| − | <!-- start --> | + | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> |
Граф <math>G=\left(V,E\right)</math>. | Граф <math>G=\left(V,E\right)</math>. | ||
| − | Найти, «вершинное покрытие» для «G», т.е.подмножество < | + | Найти, «вершинное покрытие» для «G», т.е.подмножество <em>V'⊆V</em>, такое, что |
| − | для каждого ребра < | + | для каждого ребра <em>(u,v)∈ E</em>, по меньшей мере одна вершина — «u» или «v» принадлежит <em>V'</em>. |
| − | Оптимизируем размерность вершинного покрытия, т.е. < | + | Оптимизируем размерность вершинного покрытия, т.е. <em>|V'|</em> |
---- | ---- | ||
{{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> | ||
| Строка 17: | Строка 21: | ||
<!-- * [ Задача в википедии] --> | <!-- * [ Задача в википедии] --> | ||
</small> | </small> | ||
| − | + | <!-- end --> | |
[[Категория:ClassicHardProblems]] | [[Категория:ClassicHardProblems]] | ||
Текущая версия на 21:35, 17 апреля 2023
Граф .
Найти, «вершинное покрытие» для «G», т.е.подмножество V'⊆V, такое, что для каждого ребра (u,v)∈ E, по меньшей мере одна вершина — «u» или «v» принадлежит V'.
Оптимизируем размерность вершинного покрытия, т.е. |V'|
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «GT1»