Задача постановка метод алгоритм

Приведем пример построения алгоритма с одновременным ана­лизом его правильности.

Задача: Определить периметр треугольника, заданного на плос­кости координатами вершин.

X_С, У_С

 

 

X_А, У_А Xв, Ув

 

Постановка задачи

Определение периметра треугольника, заданного на плоскости.

Дано: А = (Х_А, У_А)

В = (Х_В, У_В) - координаты вершин треугольника

С = (X_С, У_С)

Треб.: Р - периметр

Метод решения

Р = L_АВ +L_ВС+L_СА

L_АВ =

L_ВС =

L_СА =

Где: Р = L(A, B) + L(B, C) + L(C, A);

здесь L[(x, y), (u, v)] = .

 

Приведем алгоритм, полученный из описания метода упорядоче­нием операций вычисления длин сторон треугольника с заверша­ющим вычислением периметра. Результаты выполнения алгоритма приведены справа.

алг «периметр треугольника»

Нач

LAB: =

LBC: =

LCA: =

Р: = LAB + LBC + LCA

Кон

 

Результаты

Р = LAB + LBC + LCA

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

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

Анализ правильности: