271
правка
Изменения
→Теоремы
Схемная сложность полином <tex> \subset P/poly</tex>.
|proof=
<tex> L \in </tex> схемная сложность полином. Тогда <tex> \exists C_0, C_1, .., C_n, .. </tex>. Запишем программу p. <tex> p(x, C_{|x|}): </tex>: '''return''' 1;<tex>eval(x, C_{|x|}) </tex>
Теорема выполняется.
}}
