Так это же динамическое программирование на основе математической индукции. |
Регулярные позиномы
В точке минимума компоненты ее производная обращается в нуль. Решим уравнения (например, с помощью надстройки Поиск решения (Solver) в Excel ):

Для первой компоненты единственной стационарной точкой в области является
, следовательно,

Для второй компоненты единственной стационарной точкой в области является
, следовательно,

Верхняя оценка позинома равна

Таким образом, вычислив оценки, мы установили, что

Заметим, что в данном примере верхняя оценка , достаточно
близка к минимальному значению позинома, которое равно
.
Разность составляет

Рассмотрим еще один пример.
Пример 26 Вычислим оценки позинома из примера 9 ( "Неравенство Коши и его обобщения" ):

Вычислим сначала нижнюю оценку позинома. Для этого представим
второй моном как сумму двух
мономов:

Теперь позином имеет вид:

Возьмем . Позином

является регулярным, так как для него выполнены следующие равенства:



Следовательно, его минимум вычисляется по формуле:

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

Вычислим минимумы компонент позинома. Для каждой компоненты запишем производную:

В точке минимума компоненты ее производная обращается в нуль. Решим уравнения (например, с помощью надстройки Поиск решения (Solver) в Excel ):

Для первой компоненты единственной стационарной точкой в области является
, следовательно,

Для второй компоненты единственной стационарной точкой в области является
, следовательно,

Для третьей компоненты единственной стационарной точкой в области является
, следовательно,

Верхняя оценка позинома равна

Таким образом, вычислив оценки, мы установили, что

Заметим, что в данном примере верхняя оценка совпала с
минимальным значением позинома.
Краткие итоги
Введено понятие регулярного позинома. Описаны свойства регулярных позиномов. Приведена теорема минимизации регулярных позиномов. Сформулирована главная теорема о позиномах. Описан процесс вычисления оценки минимума позинома.