Просмотр исходного текста страницы Теорема Бейкера-Гилла-Соловэя

==Формулировка ==
<tex>\exists{}</tex> оракулы <tex>A</tex> и <tex>B</tex> такие что

<tex>P^A=NP^A</tex>
<tex>P^B\ne{}NP^B</tex>

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

 <tex>NP^{TQBF}\subset{NPS^{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>