Hardprob/Maximum Induced Subgraph With Property P — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --> Граф <m>G=\left(V, E\right)</m> и некое свойство (предикат) <em>P</em> над подграфами. * Свойство…») |
StasFomin (обсуждение | вклад) |
||
| (не показано 6 промежуточных версий этого же участника) | |||
| Строка 1: | Строка 1: | ||
| − | <!-- start --> | + | <!-- 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>P</em>, если сам <em>G'</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'|.
Задача в лаб17 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «GT21»