Методы исключения интервалов неопределенности

Как уже сказано вопрос анализа «в статике», заключается в том, чтобы определить, является ли данное решение оптимальным. Для этого были построены необходимые и достаточ­ные условия оптимальности решения. Далее мы переходим к изу­чению вопроса анализа «в динамике», связанного с нахождением оп­тимального решения. Для этого рассмотрим ряд одно­мерных методов поиска, ориентированных на нахождение точки оптимума внутри заданного интервала. Методы поиска, которые позволяют определить оптимум функции одной переменной путем последовательного исключения подынтервалов и, следовательно, путем уменьшения интервала поиска, носят название методов исключения интервалов.

Как уже говорилось уни­модальность функций является исключительно важным свойством. Фактически все одномерные методы поиска, используемые на прак­тике, основаны на предположении, что исследуемая функция в до­пустимой области по крайней мере обладает свойством унимодаль­ности. Полезность этого свойства определяется тем фактом, что для унимодальной функции f(x) сравнение значений f(x) в двух различ­ных точках интервала поиска позволяет определить, в каком из заданных двумя указанными точками подынтервалов точка опти­мума отсутствует.

Теорема

Пусть функция f унимодальна на замкнутом интервале а£ х £ в, а ее минимум достигается в точке х*. Рассмотрим точки х₁ и х₂ расположенные в интервале таким образом, что а < х₁ < х₂ < b. Сравнивая значения функции в точках х₁ и х₂ можно сделать еле дующие выводы.

1. Если f(х₁)>f(х₂), то точка минимума f(x) не лежит в интервале (a, х₁), т. е. х* Î(х₁, b) (рис. 6.49 а).

2. Если f(х₁)<f(х₂), то точка минимума не лежит в интервала (х₂, b), т. е. х*Î (а,х₂) (см. рис. 6.49 б).

Доказательство

Рассмотрим случай, когда f(х₁)>f(х₂). Пусть утверждение тео­ремы неверно, т. е. а£ х*£ х₁. Поскольку х* – точка минимума, то по определению f(x*)£ f(x) для всех хÎ (а, b). Получаем двойное неравенство

f(x*)£ f(х₁)>f(x₂) при х*< х₁ < x₂.

Это неравенство не может выполняться, так как унимодальная функ­ция f(х) должна быть монотонной по обе стороны от точки x*. Таким образом, получено противоречие, доказывающее утверждение теоремы. Аналогичные рассуждения справедливы также в случае, когда f(х₁)<f(х₂).

а) б)

Рис. 6.49 Графические иллюстрации к теореме

Примечание. Если f(х₁)=f(х₂), то можно исключить оба крайних интервала (a, х₁) и (х₂, b); при этом точка минимума должна распо­лагаться в интервале (х₁ , х₂).

Согласно теореме, которую иногда называют правилом исключения интервалов, можно реализовать процедуру поиска, позво­ляющую найти точку оптимума путем последовательного исключе­ния частей исходного ограниченного интервала. Поиск завершается, когда оставшийся подынтервал уменьшается до достаточно малых размеров. Правило, исключения интервалов устраняет необходимость полного перебора всех допустимых точек. Несомненным достоинством поисковых методов такого рода является то, что они основаны лишь на вычислении значений функций. При этом не требуется, чтобы исследуемые функции были дифференцируемы; более того, допустимы случаи, когда функцию нельзя даже записать в аналитическом виде. Единственным требованием является возможность определения значений функции f(x) в заданных точках х с помощью прямых расчетов или имитационных, экспериментов. Вообще в процессе применения рассматриваемых методов поиска можно выделить два этапа:

этап установления границ интервала, на котором реализуется процедура поиска границ достаточно широкого интервала, содержащего точку оптимума;

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