Теорема Махэни

Материал из Викиконспекты
Перейти к: навигация, поиск
Определение:
[math]LSAT=\{\langle\phi,y\rangle | \exists x: x\lt _{lex}y, \phi(x) = 1\}[/math].


Лемма:
[math]LSAT \in NPC[/math].
Лемма:
[math]\langle\phi,y\rangle \in LSAT, y\lt _{lex}z[/math]. Тогда [math]\langle\phi,z\rangle \in LSAT[/math].


Теорема (Махэни):
[math]NPC \cap SPARCE \ne \varnothing \Rightarrow P=NP[/math].