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