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''' <tex> eval(x, C_{|x|}) </tex>
}}
