Изменения

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

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

30 байт убрано, 16:00, 4 июня 2012
Нет описания правки
* Если <tex>(\log_2 n)^{g(n)} \ge n</tex>, то <tex>g(n+1) := g(n)</tex>. Иначе выполняем один из следующих пунктов.
* Пусть вычисленное значение <tex>g(n)= 2 i</tex> чётно. Определим <tex>g(n+1)</tex> следующим образом:
for <tex>x</tex> : <tex>|x| \le \log_2 n</tex>
<tex>g(n+1) := g(n)</tex>
* Пусть вычисленное значение <tex>g(n)= 2 i - 1</tex> нечётно. Определим <tex>g(n+1)</tex> следующим образом:
for <tex>x</tex> : <tex>|x| \le \log_2 n, |f_i(x)| \le \log_2 n</tex>
<ul>
<li>для случая <tex>g(n) \equiv 0 \pmod{= 2}i</tex>:<br/>
<tex>\parbox{0px}{
\begin{align*}
</li>
<li>для случая <tex>g(n) \equiv = 2 i - 1 \pmod{2}</tex>:<br/>
<tex>\parbox{0px}{
\begin{align*}
171
правка

Навигация