Hardprob/Maximum Induced Subgraph With Property P

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

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

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

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