Изменения

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

Нет изменений в размере, 22:16, 1 июня 2012

м

→‎Построение g

=== Построение <tex>g</tex> ===

Определим <tex>g</tex> рекурсивно. Установим <tex>g(0) = g(1) = 1</tex>. Для <tex>n \ge 12</tex>:

* Если <tex>log_2^{g(n)} n \ge n</tex>, <tex>g(n+1) := g(n)</tex>.

211

правок