У необмеженій проблемі мінімізації умови Вулфа - це сукупність нерівностей для здійснення приблизного пошуку ліній, особливо у квазі-Ньютонових методах, вперше опублікованих Філіпом Вулфом у 1969 році.
У цих методах головна ідея - це знайти
Для певної гладкої функції Кожен крок часто включає наближене вирішення підпроблеми
де - це найкраща поточна апроксимація, няпрямок пошуку і довжина кроку.
Приблизний лінійний пошук забезпечує ефективний спосіб обчислення прийнятної довжини кроку , що знижує цільову функцію "достатньо", а не мінімізує ЇЇ на . Алгоритм лінійного пошуку може використовувати умови Вулфа як вимогу для будь-якої апроксимації , перш ніж знайти новий напрямок пошуку .
Правило Армійо і кривизна
Довжина кроку відповідає умовам Вулфа, обмеженим напрямком , якщо мають місце дві нерівності:
із (В умові (ii), завуважте, щоб був напрямком спуску, ми маємо , як у випадку спуску градієнта, де , або Ньютон – Рафсон, де де позитивно визначена.)
зазвичай обирається зовсім невеликим, тоді як значно більший; Nocedal і Wright дають приклади значень і для методів Ньютона або квазі-Ньютона і для нелінійного методу градієнта спряжених. Нерівність i) відома як правило Армійо та ii) як умова кривизни; i) гарантує, що довжина кроку зменшує 'достатньо', і ii) забезпечує зменшення нахилу в достатній мірі. Умови i) та ii) можуть бути інтерпретовані відповідно до надання верхньої та нижньої меж допустимих значень довжини кроку.
Сильний умови Вулфа на кривизні
Позначимо одновимірну функцію обмеженою в напрямку як . Умови Вулфа можуть призвести до значення довжини кроку, не близького до мінімізатора . Якщо ми змінимо умову кривизни на наступне,
то i) та iii) разом утворюють так звані сильні умови Вулфа і змушують лежати близько до критичної точки .
Обґрунтування
Основна причина накладення умов Вульфа в алгоритмі оптимізації, де забезпечить збіжність градієнта до нуля. Зокрема, якщо косинус кута між та градієнтом,
обмежений від нуля, а умови i) та ii) виконуються, тоді .
Додатковою мотивацією у випадку квазі-Ньютонського методу є те, що якщо , де матриця оновлюється формулою BFGS або DFP, тоді якщо є позитивно визначеною ii) означає також є позитивно визначеню.
Посилання
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U neobmezhenij problemi minimizaciyi umovi Vulfa ce sukupnist nerivnostej dlya zdijsnennya pribliznogo poshuku linij osoblivo u kvazi Nyutonovih metodah vpershe opublikovanih Filipom Vulfom u 1969 roci U cih metodah golovna ideya ce znajti min x f x displaystyle min x f mathbf x Dlya pevnoyi gladkoyi funkciyi f R n R displaystyle f mathbb R n to mathbb R Kozhen krok chasto vklyuchaye nablizhene virishennya pidproblemi min a f x k a p k displaystyle min alpha f mathbf x k alpha mathbf p k de x k displaystyle displaystyle mathbf x k ce najkrasha potochna aproksimaciya p k R n displaystyle displaystyle mathbf p k in mathbb R n nyapryamok poshuku i a R displaystyle displaystyle alpha in mathbb R dovzhina kroku Pribliznij linijnij poshuk zabezpechuye efektivnij sposib obchislennya prijnyatnoyi dovzhini kroku a displaystyle alpha sho znizhuye cilovu funkciyu dostatno a ne minimizuye YiYi na a R displaystyle displaystyle alpha in mathbb R Algoritm linijnogo poshuku mozhe vikoristovuvati umovi Vulfa yak vimogu dlya bud yakoyi aproksimaciyi a displaystyle alpha persh nizh znajti novij napryamok poshuku p k displaystyle displaystyle mathbf p k Pravilo Armijo i kriviznaDovzhina kroku a k displaystyle a k vidpovidaye umovam Vulfa obmezhenim napryamkom p k displaystyle displaystyle mathbf p k yaksho mayut misce dvi nerivnosti i f x k a k p k f x k c 1 a k p k T f x k ii p k T f x k a k p k c 2 p k T f x k displaystyle displaystyle begin aligned textbf i amp quad f mathbf x k alpha k mathbf p k leq f mathbf x k c 1 alpha k mathbf p k mathrm T nabla f mathbf x k 6pt textbf ii amp quad mathbf p k mathrm T nabla f mathbf x k alpha k mathbf p k leq c 2 mathbf p k mathrm T nabla f mathbf x k end aligned iz 0 lt c 1 lt c 2 lt 1 displaystyle displaystyle 0 lt c 1 lt c 2 lt 1 V umovi ii zavuvazhte shob p k displaystyle mathbf p k buv napryamkom spusku mi mayemo p k T f x k lt 0 displaystyle displaystyle mathbf p k mathrm T nabla f mathbf x k lt 0 yak u vipadku spusku gradiyenta de p k f x k displaystyle displaystyle mathbf p k nabla f mathbf x k abo Nyuton Rafson de p k H 1 f x k displaystyle displaystyle mathbf p k mathbf H 1 nabla f mathbf x k de H displaystyle displaystyle mathbf H pozitivno viznachena c 1 displaystyle c 1 zazvichaj obirayetsya zovsim nevelikim todi yak c 2 displaystyle c 2 znachno bilshij Nocedal i Wright dayut prikladi znachen c 1 10 4 displaystyle displaystyle c 1 10 4 i c 2 0 9 displaystyle displaystyle c 2 0 9 dlya metodiv Nyutona abo kvazi Nyutona i c 2 0 1 displaystyle displaystyle c 2 0 1 dlya nelinijnogo metodu gradiyenta spryazhenih Nerivnist i vidoma yak pravilo Armijo ta ii yak umova krivizni i garantuye sho dovzhina kroku a k displaystyle alpha k zmenshuye f displaystyle f dostatno i ii zabezpechuye zmenshennya nahilu v dostatnij miri Umovi i ta ii mozhut buti interpretovani vidpovidno do nadannya verhnoyi ta nizhnoyi mezh dopustimih znachen dovzhini kroku Silnij umovi Vulfa na krivizniPoznachimo odnovimirnu funkciyu f displaystyle displaystyle varphi obmezhenoyu v napryamku p k displaystyle displaystyle mathbf p k yak f a f x k a p k displaystyle displaystyle varphi alpha f mathbf x k alpha mathbf p k Umovi Vulfa mozhut prizvesti do znachennya dovzhini kroku ne blizkogo do minimizatora f displaystyle varphi Yaksho mi zminimo umovu krivizni na nastupne iii p k T f x k a k p k c 2 p k T f x k displaystyle displaystyle textbf iii quad big mathbf p k mathrm T nabla f mathbf x k alpha k mathbf p k big leq c 2 big mathbf p k mathrm T nabla f mathbf x k big to i ta iii razom utvoryuyut tak zvani silni umovi Vulfa i zmushuyut a k displaystyle displaystyle alpha k lezhati blizko do kritichnoyi tochki f displaystyle varphi ObgruntuvannyaOsnovna prichina nakladennya umov Vulfa v algoritmi optimizaciyi de x k 1 x k a p k displaystyle mathbf x k 1 mathbf x k alpha mathbf p k zabezpechit zbizhnist gradiyenta do nulya Zokrema yaksho kosinus kuta mizh p k displaystyle displaystyle mathbf p k ta gradiyentom cos 8 k f x k T p k f x k p k displaystyle cos theta k frac nabla f mathbf x k mathrm T mathbf p k nabla f mathbf x k mathbf p k obmezhenij vid nulya a umovi i ta ii vikonuyutsya todi f x k 0 displaystyle displaystyle nabla f mathbf x k rightarrow 0 Dodatkovoyu motivaciyeyu u vipadku kvazi Nyutonskogo metodu ye te sho yaksho p k B k 1 f x k displaystyle displaystyle mathbf p k B k 1 nabla f mathbf x k de matricya B k displaystyle B k onovlyuyetsya formuloyu BFGS abo DFP todi yaksho B k displaystyle B k ye pozitivno viznachenoyu ii oznachaye B k 1 displaystyle B k 1 takozh ye pozitivno viznachenyu PosilannyaNocedal Jorge Wright Stephen J 1960 1999 Numerical optimization Springer ISBN 0 387 98793 2 OCLC 896912768 Armijo Larry 1966 Minimization of functions having Lipschitz continuous first partial derivatives Pacific Journal of Mathematics A Non profit Corporation OCLC 670687888