Hardprob/Maximum Induced Subgraph With Property P — различия между версиями

Версия 06:11, 17 апреля 2023

Граф G=(V,E) и некое свойство (предикат) P над подграфами.

• Свойство наследуемое, т.е. каждый подграф G' будет удовлетворять P,если сам G' ему удовлетворял.
• Свойство нетривиальное, т.е. оно истинно и ложно для бесконечного количества графов.

Найти подмножество вершин V'⊆V, такое, что подграф порожденный V' имеет свойство P.

Максимизировать размер этого подграфа |V'|.

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