§ 20. Пример поэтапной разработки программы решения задачи

Определения и обозначения

Постановка задачи — точное описание исходных данных, результата и условий, которым он должен удовлетворять. Иными словами, нужно понять, что дано и что требуется получить. Это определение не даёт случайно решить похожую, но другую задачу. Оно также помогает заметить ограничения: например, какие значения могут принимать исходные данные.

Математическая модель — описание задачи с помощью величин, формул и зависимостей между ними. Она показывает, как связаны известные данные и искомый ответ. Модель нужна, чтобы выбрать подходящий способ вычислений и убедиться, что имеющихся сведений достаточно. Если связи между величинами неясны, писать программу ещё рано.

Алгоритм — последовательность действий, которая приводит от исходных данных к результату. Его можно представить как понятный план решения, не зависящий от конкретного языка программирования. Алгоритм нужен, чтобы заранее проверить порядок действий, предусмотреть выбор или повторение. По нему затем проще писать и проверять код.

Тестирование программы — проверка её работы на заранее подобранных данных с известным ожидаемым результатом. Для этого выбирают входные значения, вычисляют правильный ответ независимо от программы и сравнивают результаты. Тестирование нужно, чтобы обнаружить ошибки, которые не мешают запуску, но приводят к неверным ответам. Чем разнообразнее тесты, тем больше ситуаций удаётся проверить.

Как это устроено

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

Из условия выделяют величины, поскольку рассуждать о решении проще, когда известны его элементы и связи между ними. Исходные величины становятся входными данными, а искомая величина — результатом, который нужно вычислить или определить. Формулы и зависимости образуют математическую модель. После её построения проверяют, достаточно ли сведений: если для ответа не хватает данных, это нужно выяснить до написания программы.

По модели составляют алгоритм, потому что формула сама по себе не всегда описывает весь ход решения. Алгоритм разбивает работу на понятные действия: получить данные, выполнить нужные операции и выдать ответ. Если решение зависит от условия, предусматривают ветвление, а если действие повторяется — цикл. Особые случаи учитывают отдельно, чтобы программа не выполняла невозможные вычисления и правильно обрабатывала границы.

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

Работа не заканчивается написанием кода, потому что программа может запускаться и при этом давать неверный ответ. Её проверяют на тестах: для каждого набора данных заранее находят ожидаемый результат и сравнивают его с полученным. Обычный пример показывает, работает ли основной ход решения, а граничный или особый случай помогает выявить пропущенную проверку. Найденные ошибки исправляют, после чего тесты выполняют снова.

Этапы разработки программы и результат каждого этапа

Таблица показывает, что каждый этап опирается на результат предыдущего. Если ошибка обнаружена поздно, иногда приходится вернуться не только к коду, но и к модели или алгоритму. Пользуйся правым столбцом как проверкой: прежде чем двигаться дальше, убедись, что нужный результат этапа получен.

Разбор задач

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

Задача 1. Разработать программу для вычисления значения простой формулы по введённым исходным данным. Допустим, по длине и ширине прямоугольника требуется найти его площадь. Здесь входные данные — две длины, а результат — площадь; модель задаёт формула S = a × b. Чтобы программа не принимала отрицательные размеры как обычные, условие задачи должно определить допустимые значения сторон.

1. Назовём входные данные a и b, а искомый результат — S.
2. Запишем модель S = a × b и проверим, что оба размера заданы.
3. Составим прямую последовательность: ввести a и b, вычислить S, вывести S.
4. Проверим, например, a = 4 и b = 3: ожидаемый результат равен 12; отдельно учтём ограничения на размеры, если они указаны в условии.

Ответ: программа должна вычислить произведение введённых сторон и вывести площадь. Тест с известным ответом проверяет, что формула и порядок действий реализованы верно. Если условие допускает нулевой размер, его тоже стоит проверить отдельно.

Задача 2. Разработать программу, которая по длинам трёх сторон определяет, можно ли составить из них треугольник. Входные данные — стороны a, b и c, а результат — ответ «да» или «нет». Для положительных длин треугольник существует, если сумма любых двух сторон больше третьей. Здесь алгоритму нужно не только вычислить значение, но и выбрать ответ в зависимости от условия.

1. Уточним, что стороны должны быть положительными; если это не гарантировано условием, проверим и это.
2. Построим модель: a + b > c, a + c > b и b + c > a должны выполняться одновременно.
3. Запишем алгоритм с ветвлением: если все три неравенства верны, вывести «да», иначе вывести «нет».
4. Проверим стороны 3, 4 и 5: ответ «да»; для 1, 2 и 3 ответ «нет», поскольку сумма двух первых сторон не больше третьей.

Ответ: программа выводит «да» только при выполнении всех условий существования треугольника. Проверка равенства на границе особенно полезна: стороны 1, 2 и 3 не образуют треугольник. Такой тест помогает не перепутать строгое неравенство со знаком «больше или равно».

Задача 3. Разработать программу, которая повторяет вычисление для нескольких значений и выводит результаты. Например, требуется найти квадраты целых чисел от 1 до n. Входное значение n задаёт верхнюю границу, а результаты вычисляются по формуле k² для каждого k. Поскольку одно и то же действие повторяется, алгоритму нужен цикл, а не отдельная команда для каждого числа.

1. Определим входное значение n и уточним, что делать при n < 1.
2. Начнём с k = 1, вычислим k² и выведем результат.
3. Увеличим k на 1 и повторим вычисление, пока k не превысит n.
4. Проверим n = 3: программа должна вывести 1, 4 и 9; отдельно проверим n = 1 и недопустимое значение, если оно возможно по условию.

Ответ: цикл выполняет вычисление для каждого целого k от 1 до n включительно и завершается после последнего результата. Граничный тест n = 1 помогает заметить ошибку в начальном или конечном условии цикла. Проверка недопустимого n показывает, предусмотрена ли обработка такого ввода.

Типичные ошибки

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

Пропускать модель и алгоритм. Тогда непонятно, связана ли ошибка с самой логикой решения или с записью команд языка. Эту спешку часто оправдывают простотой задачи, но даже короткая формула может быть неверно перенесена в код. Проверь себя: можешь ли ты объяснить вычисления по шагам без упоминания команд конкретного языка?

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

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

Связь с другими темами

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

Тема связывает алгоритмы, ветвления и циклы с практическим программированием. Ветвление помогает выбирать действие по условию, а цикл — повторять вычисления; оба элемента сначала описывают в алгоритме, а потом записывают командами языка. Такой порядок пригодится при решении новых задач и проверке уже написанных программ.

Что запомнить

• Сначала уточняют задачу, затем выбирают способ решения.
• Математическая модель связывает исходные данные с искомым результатом.
• Алгоритм описывает решение до его записи на языке программирования.
• Программа должна соответствовать и алгоритму, и условию задачи.
• Тесты подбирают так, чтобы проверить обычные и особые случаи.
• Отладка помогает находить и исправлять ошибки.