Основные структуры алгоритмов

Алгоритмы бывают:

- линейные,

- разветвленные,

- циклические.

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

Разветвленный алгоритм содержит одно или несколько логических условий и имеет несколько ветвей обработки.

Циклический алгоритм содержит один или несколько циклов. Цикл - это многократно повторяемая часть алгоритма. Параметр цикла - переменная, при каждом новом вхождении в цикл, принимающая новое значение.

Алгоритм независимо от его структуры - сложной или простой всегда имеет один "Останов и Начало". Все ветви должны, в конце концов, сойтись и по какой бы ветви не было бы начало движения, оно всегда должно привести к блоку "Останов".

Конструирование алгоритма

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

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

Анализ и проверка правильности алгоритмов могут проводиться путем:

- проверки результатов выполнения на конкретных исходных данных,

- логического анализа конечных результатов относительно постановки задачи.

Совокупность контрольных исходных данных, служащих для проверки правильности алгоритма, называется алгоритмическим тестом.

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

Анализ алгоритма включает в себя анализ:

- логической структуры,

- выполнения,

- правильности.

Анализ сложные алгоритмов, описывающих ряд подзадач, строится на явном выделение постановок и подзадач вспомогательных алгоритмов. Доказательство правильности соответственно строится на выделении вспомогательных утверждений и доказательстве этих утверждений по отдельности.

Лекция №8