Изменения

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

Теорема Ладнера

1 байт добавлено, 22:03, 8 марта 2010
м
Иллюстрация
<math>\left[^{2k+2}10, ^{2k+4}10\right)</math> или дальше, так как размер
выхода полиномиальной функции не может быть экспоненциально больше длины
входа. Значит , <math>\varphi</math> отображается в меньший промежуток, но
в этом случае размер выхода экспоненциально меньше длины входа. Добавляя
к этому то, что проверку на принадлежность <math>f(\varphi)</math>
109
правок

Навигация