Редактирование: Теорема Ладнера

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

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 65: Строка 65:
 
* Если <tex>(\log_2 n)^{g(n)} \ge n</tex>, то <tex>g(n+1) := g(n)</tex>. Иначе выполняем один из следующих пунктов.
 
* Если <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> следующим образом:
+
* Пусть вычисленное значение <tex>g(n)</tex> чётно. Определим <tex>g(n+1)</tex> следующим образом:
  
 
  for <tex>x</tex> : <tex>|x| \le \log_2 n</tex>
 
  for <tex>x</tex> : <tex>|x| \le \log_2 n</tex>
Строка 76: Строка 76:
 
  <tex>g(n+1) := g(n)</tex>
 
  <tex>g(n+1) := g(n)</tex>
  
* Пусть вычисленное значение <tex>g(n) = 2 i - 1</tex>. Определим <tex>g(n+1)</tex> следующим образом:
+
* Пусть вычисленное значение <tex>g(n)</tex> нечётно. Определим <tex>g(n+1)</tex> следующим образом:
  
 
  for <tex>x</tex> : <tex>|x| \le \log_2 n, |f_i(x)| \le \log_2 n</tex>
 
  for <tex>x</tex> : <tex>|x| \le \log_2 n, |f_i(x)| \le \log_2 n</tex>
Строка 108: Строка 108:
  
 
<ul>
 
<ul>
<li>для случая <tex>g(n) = 2 i</tex>:<br/>
+
<li>для случая <tex>g(n) \equiv 0 \pmod{2}</tex>:<br/>
 
<tex>\parbox{0px}{
 
<tex>\parbox{0px}{
 
\begin{align*}
 
\begin{align*}
Строка 120: Строка 120:
 
</li>
 
</li>
  
<li>для случая <tex>g(n) = 2 i - 1</tex>:<br/>
+
<li>для случая <tex>g(n) \equiv 1 \pmod{2}</tex>:<br/>
 
<tex>\parbox{0px}{
 
<tex>\parbox{0px}{
 
\begin{align*}
 
\begin{align*}

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)

Шаблон, используемый на этой странице: