Изменения

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

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

8 байт убрано, 15:16, 3 июня 2012
м
Нет описания правки
<tex>T(g, n) \le T(g, n-1) + k (n^3 + n T(g, \log_2 n))</tex>.
Пусть <tex>T(g, 1) = const = d</tex>. Существует константа <tex>c \ge d</tex>, для которой при любом <tex>n</tex> верно
<tex>c (n-1)^4 + k n^3 + k n c (\log_2 n)^4 \le c n^4</tex>.
171
правка

Навигация