Максимальное прояснение логики программ

Цикл Дейкстры

Максимального прояснения логики программ можно достичь в том числе за счет использования цикла Дейкстры. Цикл Дейкстры (многоветочный while) - это фундаментальная и мощная управляющая структура.

Оптимизация

Склонность к оптимизации до полного прояснения логики программ, затрудняет эффективное применение формальной техники.

Два алгоритма выбора наибольшей из четырех величин

Рассмотрим, например, два алгоритма, в которых выбирается наибольшее из четырех величин:

• bash: [1] [2]

При сопоставлении этих алгоритмов видно, что в каждом делается 3 сравнения. Первый алгоритм легче прочесть и понять, но с точки зрения выполнения на компьютере у них одинаковый уровень сложности. По временным затратам эти алгоритмы одинаковы, но первый требует больше памяти из-за временной переменной и именем largest.

Рекурсия

В некоторых задачах рекурсия даёт наиболее естественную формулировку решения, тогда как использование итерации привело бы к запутанным и громоздким алгоритмам. Класс алгоритмов с возвратом - отличное применение рекурсии, но самые очевидные кандидаты для применения рекурсии - это алгоритмы, работающие с данными, структура которых определена рекурсивно.