Редактирование: Счётчик Кнута

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

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

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 28: Строка 28:
 
==== Инвариант с нулем ====
 
==== Инвариант с нулем ====
  
Проблемой может оказаться появление двух последовательных двоек, при этом первое правило может породить
+
Проблемой может оказаться появление двух последовательных двоек, при этом перое правило может породить
 
тройку. То есть недопустима следующая ситуация:  
 
тройку. То есть недопустима следующая ситуация:  
  
Строка 38: Строка 38:
  
 
Причем количество единиц между двойками может быть любое, в итоге это приведет к появлению тройки.
 
Причем количество единиц между двойками может быть любое, в итоге это приведет к появлению тройки.
Однако если между любой парой двоек всегда будет находиться хотя бы один
+
Однако если между любой парой двоек всегда будет находится хотя бы один
<tex>0</tex>, то такой ситуации не возникнет. Покажем, что этот инвариант
+
<tex>0</tex>, то такой ситуации не возникнет. Покажем, что что этот инвариант
 
поддерживается после инкремента, рассмотрев возможные ситуации:
 
поддерживается после инкремента, рассмотрев возможные ситуации:
 
: Число двоек не изменяется
 
: Число двоек не изменяется

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

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

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

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