Изменения

Перейти к: навигация, поиск

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

115 байт добавлено, 17:20, 14 апреля 2012
Теоремы
Схемная сложность полином <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>
}}
271
правка

Навигация