Hardprob/Maximum Induced Subgraph With Property P — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена <m>\vert V'\vert</m> на <em>|V'|</em>) |
StasFomin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | ||
| − | Граф <em>G=(V,E)</em> и некое свойство (предикат) <em>P</em> над подграфами. | + | * Граф <em>G=(V,E)</em> и некое свойство (предикат) <em>P</em> над подграфами. |
| − | * Свойство наследуемое, т.е. каждый подграф <em>G'</em> будет удовлетворять <em>P</em>,если сам <em>G'</em> ему удовлетворял. | + | ** Свойство наследуемое, т.е. каждый подграф <em>G'</em> будет удовлетворять <em>P</em>, если сам <em>G'</em> ему удовлетворял. |
| − | * Свойство нетривиальное, т.е. оно истинно и ложно для бесконечного количества графов. | + | ** Свойство нетривиальное, т.е. оно истинно и ложно для бесконечного количества графов. |
| − | + | * Найти подмножество вершин <em>V'⊆V</em>, такое, что подграф порожденный <em>V'</em> имеет свойство <em>P</em>. | |
| − | Найти подмножество вершин <em>V'⊆V</em>, такое, что подграф порожденный <em>V'</em> | + | * Максимизировать размер этого подграфа <em>|V'|</em>. |
| − | имеет свойство <em>P</em>. | + | |
| − | + | ||
| − | Максимизировать размер этого подграфа <em>|V'|</em>. | + | |
---- | ---- | ||
Текущая версия на 23:49, 17 апреля 2023
- Граф G=(V,E) и некое свойство (предикат) P над подграфами.
- Свойство наследуемое, т.е. каждый подграф G' будет удовлетворять P, если сам G' ему удовлетворял.
- Свойство нетривиальное, т.е. оно истинно и ложно для бесконечного количества графов.
- Найти подмножество вершин V'⊆V, такое, что подграф порожденный V' имеет свойство P.
- Максимизировать размер этого подграфа |V'|.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «GT21»