Математический подход к проектированию ПО
Posted in Development on March 25th, 2008 by Yaroslav Vorozhko – Be the first to commentПривет, сегодня приведу цитату из книги Д. Полья “Как решать задачу”.
Д.Поля разработал подход к решению математических задач, который полезен и при решении проблем, связанных с проектирование ПО.
1. Понимание постановки задачи.
Нужно ясно понять задачу. Что неизвестно? Что дано? В чем состоит условие? Возможно ли удовлетворить условию? Достаточно ли условие для определения неизвестного? Или недостаточно?
Сделайте чертеж. Введите подходящие обозначения. Разделите условия на части. Постарайтесь записать их.
2. Составление плана решения.
Нужно найти свзязь между данными и неизвестными. Если не удается сразу обнаружить эту связь, возможно, полезно будет рассмотреть вспомогательные задачи, в конечном счете необходимо придти к плану решения.
Не встречалась ли вам раньше эта задача? Хотя бы в несколько иной форме? Известна ли вам какая-нибудь родственная задача? Не знаете ли теоремы, которые могли бы оказаться полезными?
Рассмотрите неизвестное! И постарайтесь вспомнить знакомую задачу с тем же или подобным неизвестным. Вот задача, родственная данной и уже решенная. Нель ли воспользоваться ею? Нельзя ли применить ее результат? Нель ли использовать метод ее решения? Не следует ли ввести какой-нибудь вспомогательный элемент, чтобы стало возможно воспользоваться прежней задачей?
Нельзя ли иначе сформулировать задачу? Еще иначе? Вернитесь к определениям.
Если не удается решить данную задачу, попытайтесь сначала решить сходную. Нельзя ли придумать более доступную сходную задачу? Более общую? Более частную? Аналогичную задачу? Нельзя ли решить часть задачи? Сохраните только часть условия отбросив основную часть:насколько определенным окажется тогда неизвестное, как оно может меняться? Нельзя ли извлечь что-то полезное из данных? Нельзя ли придумать другие данные, из которых можно было бы определить неизвестное? Нельзя ли изменить неизвестное, или данные, или, если необходимо, и то и другое так, чтобы новое неизвестное и новые данные оказались ближе друг к другу?
Все ли данные вами использованы? Все ли условия? Приняты ли вами во внимание все существующие понятия, содержащиеся в задаче?
3. Осуществление плана.
Нужно осуществить план решения. Осуществляя план решения, контролируйте каждый свой шаг. Ясно ли вам, что предпринятый вами шаг правилен? Сумеете ли доказать, что он правилен?
4. Взгляд назад.
Нужно изучить найденное решение. Нельзя ли проверить результат? Нельзя ли проверить ход решения? Нельзя ли получить тот же результат иначе? Нельзя ли усмотреть его с одного взгляда? Нельзя ли в какой-нибудь другой задаче использовать полученный результат или метод решения?
