Инвариантность цикла !

компьютеры программирование алгоритмы инвариант корректность

столкнулся в книге кормена с доказательством корректности алгоритма с помощью инварианта цикла, но немного не понял, прошу дать ссылки на источники с подробной информацией, или объяснить на пальцах.
Ответы:
Инвариант цикла - утверждение верное для цикла на каждой его итерации (например, в конце каждой итерации).
Соответственно, если соблюдается такое условие, которое соответствует утверждению корректности алгоритма,... всё получается чудесно =)
читай внимательно!


15 лет назад

RPI.su - самая большая русскоязычная база вопросов и ответов. Наш проект был реализован как продолжение популярного сервиса otvety.google.ru, который был закрыт и удален 30 апреля 2015 года. Мы решили воскресить полезный сервис Ответы Гугл, чтобы любой человек смог публично узнать ответ на свой вопрос у интернет сообщества.

Все вопросы, добавленные на сайт ответов Google, мы скопировали и сохранили здесь. Имена старых пользователей также отображены в том виде, в котором они существовали ранее. Только нужно заново пройти регистрацию, чтобы иметь возможность задавать вопросы, или отвечать другим.

Чтобы связаться с нами по любому вопросу О САЙТЕ (реклама, сотрудничество, отзыв о сервисе), пишите на почту [email protected]. Только все общие вопросы размещайте на сайте, на них ответ по почте не предоставляется.