Метод основан на делении текущего отрезка [ а, b ],где содержится искомый экстремум, на две равные части с последующим выбором одной из половин, в которой находится максимум в качестве следующего текущего отрезка. Экстремум определяется путем сравнения двух значений критерия оптимальности в точках, отстоящих от середины отрезка на ε/2,
Если R (x + ε /2) > R (x - ε/2), то максимум располагается на правой половине текущего отрезка [а, b ],в противном случае — на левой.
Процесс поиска завершается при достижении отрезком [а, b ] величины заданной погрешности ε.
К недостаткам метода относится его работоспособность только для одноэкстремальных функций R(x), так как в других случаях при сравнении двух критериев в соседних точках невозможно правильно выбрать следующий интервал, где находится максимум.
Рис. 3.2 Иллюстрация метода половинного деления:
1 — интервал, включающий в себя искомый максимум функции после
первого этапа (первого деления пополам);
2, 3 — то же соответственно после второго и третьего этапов
На рис. 3.2 приведены три этапа метода половинного деления. Сплошными вертикальными линиями отмечены середины отрезков, а пунктирными — вычисляемые значения критерия оптимальности слева и справа на ε/2 от середин.
Существует и другой вариант алгоритма, заключающийся в следующем. После нахождения середины отрезка (например, точка с 1) в одной из половинок (допустим, в левой) находят среднюю точку (точка с 2) и, сравнивая значения функции в этих точках, определяют, в какой из половинок находится экстремум. Если R (с 1) < R (с 2), то в качестве следующего отрезка выбираем отрезок [ а, с 1 ], если же R (с 1) > R (с 2), то берут новую точку в середине правой половины (точка с 3) и в ней вычисляют функцию. В зависимости от сравнения значений функции в точках с 3 и с 1 выбирают новый отрезок [ с 1, b ] или [ с2,с3 ] и т.д.
Второй вариант метода не имеет с точки зрения эффективности принципиального отличия от первого, так как эффективность принято оценивать по наихудшему варианту (т.е. по двум вычислениям f(x) на каждом шаге). В первом варианте метода есть одна особенность, которая его делает очень эффективным при экспериментальном отыскании экстремума (например, при автоматической настройке технических систем). Малые отклонения от текущей точки обеспечивают в процессе поиска отсутствие "шараханий", сопровождающихся резкими отклонениями состояния системы.