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

Версия 22:00, 6 апреля 2023

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

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

если сам G' ему удовлетворял. satisfies P.

• Свойство нетривиальное, т.е. оно истинно и ложно для бесконечного количества графов.

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

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

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