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

Версия 19:59, 10 апреля 2023

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

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

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

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

Версия 22:00, 6 апреля 2023 (просмотреть исходный код) StasFomin (обсуждение \| вклад) ← Предыдущая правка		Версия 19:59, 10 апреля 2023 (просмотреть исходный код) StasFomin (обсуждение \| вклад) (Массовая правка: замена <!-- start --> на <!-- start --><!-- {{svg-image-for-hard-problem\|{{PAGENAME}}}} -->) Следующая правка →
Строка 1:		Строка 1:
−	<!-- start -->	+	<!-- start --><!-- {{svg-image-for-hard-problem\|{{PAGENAME}}}} -->

	Граф <m>G=\left(V, E\right)</m> и некое свойство (предикат) <em>P</em> над подграфами.		Граф <m>G=\left(V, E\right)</m> и некое свойство (предикат) <em>P</em> над подграфами.