Задача постановка метод алгоритмПриведем пример построения алгоритма с одновременным анализом его правильности. Задача: Определить периметр треугольника, заданного на плоскости координатами вершин. XС, УС
XА, УА Xв, Ув
Постановка задачи Определение периметра треугольника, заданного на плоскости.
В = (ХВ, УВ) - координаты вершин треугольника С = (XС, УС) Треб.: Р - периметр Метод решения
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 Сравнение результатов выполнения алгоритма с описанием метода решения показывает, что это одна и та же система формул, что подтверждает правильность алгоритма. Систематические методы анализа правильности алгоритмов и программ опираются на сопоставление тех же самых описаний, которые используются при их систематическом составлении. Анализ правильности:
|
Дано: А = (ХА, УА)
Р = LАВ +LВС+LСА
.
Результаты
