Изменения

Схемная сложность и класс P/poly

78 байт убрано, 17:24, 14 апреля 2012

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

|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>~~

}}

271

правка