Изменения

Теорема Бейкера-Гилла-Соловэя

Нет изменений в размере, 11:43, 16 июня 2010

м

Нет описания правки

1)<tex>A</tex>=<tex>TQBF</tex>

<tex>NP^{TQBF}\subset{NPS^{~~TGBF~~TQBF}}=PS^{TQBF}=PS\subset{P^{TQBF}\subset{NP^{TQBF}}}</tex>

2) <tex>B</tex>:<tex>L_B=\{x|\exists{y}\subset{B}:|x|=|y|\}</tex>

33

правки