Изменения

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

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

2 байта добавлено, 01:17, 4 июня 2012
Нет описания правки
* Если <tex>(\log_2 n)^{g(n)} \ge n</tex>, то <tex>g(n+1) := g(n)</tex>. Иначе выполняем один из следующих пунктов.
* Пусть вычисленное значение <tex>g(n)</tex> чётно. Определим <tex>g(n+1)</tex> следущим следующим образом:
for <tex>x</tex> : <tex>|x| \le \log_2 n</tex>
322
правки

Навигация