В алгоритмах поиска решений используются различные математические и логические приёмы.
Некоторые математические приёмы:
- Детерминированность алгоритма. 3 Это свойство означает, что все шаги алгоритма, величины промежуточных вычислений и выходной объект однозначно обусловлены заданием. 3
- Массовость алгоритма. 3 Требует найти единый алгоритм для решения не отдельной задачи, а серии задач из некоторого класса. 3
- Использование эвристической информации. 4 Эвристика — это любое правило, стратегия или приём, который существенно помогает решению некоторой задачи. 4
Некоторые логические приёмы:
- Классификация. 1 Распределение предметов какого-либо ряда на взаимосвязанные классы по определённым признакам, а каждого класса — на подклассы. 1
- Индукция. 1 Форма мышления, когда мысль наводится на какое-либо общее правило, положение, присущее всем единичным предметам какого-либо класса. 1
- Дедукция. 1 Форма мышления, когда осуществляется переход от общего к частному, то есть новая мысль выводится логическим путём из известных мыслей-посылок. 1
- Анализ. 1 Логический приём, метод исследования, заключающийся в том, что изучаемый предмет мысленно или практически расчленяется на составные элементы (признаки, свойства, отношения), каждый из которых затем исследуется отдельно, как часть расчленённого целого. 1
- Синтез. 1 Мысленное соединение частей предмета, который был расчленён в процессе анализа, установление взаимосвязей и взаимодействия частей и познание этого предмета. 1