---
Идея доказательства.
Требуется построить задачу состоящую из подзадач, каждая из которых требует полного перебора, а число этих подзадач растет экспоненциально.
Берем математическую структуру, порождающую случайность (МСПС).
Генерируем со скоростью быстро растущей функцией последовательность вышеуказанных МСПС(k), зависящих от параметра k.
Этим шагом мы гарантируем отсутствие решений за полиномиальное время по причине того, что требуется каждый раз проверять всё множество пространства возможных решений, которое растет очень быстро.
Случайность гарантирует отсутствие "трюков" по нахождению решений иных, кроме полного перебора.
Следовательно, P≠NP.
===