> -- AVC писал(а):
> Не понимаю попыток info21 защищать цикл Дейкстры.Даже в излюбленном (заведомо выигрышном) примере голландца - алгоритме Евклида - он  по ясности виртовскому варианту на Модуле-2.
Если почитать книжки Дейкстры и Гриса
то там можно найти гораздо более выигрышные примеры.

Алгоритм Евклида -- всем понятная, очень простая иллюстрация.

У меня был один тяжелый случай -- сложный цикл в переме(ж|ш)ку с рекурсией, который я смог понять и сделать, только после приведения к форме Дейкстры с явной формулировкой инварианта. Причем после переформулировки концептуальная трудность ушла как класс, осталась только громоздкость (там было три или четыре ветви в цикле).
С тех пор и люблю цикл Дейкстры