Изменения
clarification request
:: Что-то я такого не припоминаю, но повторить надо в любом случае. [[Участник:Kirelagin|Кирилл Елагин]] 15:11, 30 апреля 2012 (GST)
::: Добавил например --[[Участник:Grechko|Grechko]] 19:58, 30 апреля 2012 (GST)
== Пара вопросов ==
Что непонятно: в лемме говорится, что мы можем за полином вычислить соответствующую схему. Вопрос: Откуда мы возьмем в программе из <tex>P</tex>, а утверждается в конце леммы, что мы получили программу из <tex>P</tex>, соответствующую схему для любой длины входа? Возможное решение: использовать схему как подсказку, тогда получим программу из <tex>P/poly</tex> (вроде бы то что хотели).
<tex>\exists y\; \phi(x, y, z)</tex> {{---}} это не формула, потому что <tex>\phi</tex> {{---}} это программа. Кажется тут что-то надо сказать про длину входа <tex>\phi</tex> (она ограничена при фиксированном <tex>z</tex>) и сослаться на доказательство <tex>P \subset P/\mathrm{poly}</tex>.
