從算子角度理解優(yōu)化方法
點(diǎn)擊上方“小白學(xué)視覺”,選擇加"星標(biāo)"或“置頂”
重磅干貨,第一時(shí)間送達(dá)
本文轉(zhuǎn)自:深度學(xué)習(xí)這件小事
使得非線性映射
滿足
這個(gè)怎么和優(yōu)化問題聯(lián)系起來呢,大概是三個(gè)角度:
就是其梯度。
,迭代去尋找解:
這個(gè)
要滿足一些條件。
是算子
的穩(wěn)定點(diǎn),也就是滿足 
滿足一些性質(zhì),比如nonexpansive,contractive,averaged operator等. 這些性質(zhì)是分析穩(wěn)定點(diǎn)迭代收斂性的關(guān)鍵。
的幾種情況,然后說明其如何應(yīng)用到優(yōu)化問題中去。關(guān)于收斂性的東西不講。

。令
,我們應(yīng)用forward operator去求解該方程
這就是梯度算法。
因?yàn)槭羌s束問題,所以不能用梯度等于0去求解,一個(gè)思路就是分析其對(duì)偶問題。該問題的對(duì)偶問題為
令
,這等價(jià)于求解
。那么forward operator 就是
關(guān)鍵在于次梯度怎么求,在我之前文章(鄧康康:原始對(duì)偶角度下的幾類優(yōu)化方法)中有提到過:
為拉格朗日函數(shù)。所以迭代(7)等價(jià)于

整合一下得到:
,而這就等價(jià)于找到一個(gè)
滿足
這就是proximal point iteration。接下來我們將該算子應(yīng)用到上面講到的A的三種情況。
這等價(jià)于
整合一下我們知道
這就是臨近點(diǎn)算法。
,令
。那么backward operator 就是
這等價(jià)于一下迭代過程:
,這個(gè)推導(dǎo)過程見(鄧康康:原始對(duì)偶角度下的幾類優(yōu)化方法),這就是增廣拉格朗日方法。
,那么backward operator的穩(wěn)定點(diǎn)迭代為:
使得滿足


代到(14)得到:


。接下來考慮兩個(gè)的情況,也就是:
我們用到的算子叫做分裂算子。
考慮可分得優(yōu)化問題:
其中
是一個(gè)光滑函數(shù)。這個(gè)問題等價(jià)于找到
滿足
我們令
,這樣就可以運(yùn)用Forward backward算子:
有了前面兩節(jié)的討論,我們知道:
是一個(gè)梯度迭代,
是一個(gè)臨近點(diǎn)迭代。
這就是臨近梯度算法。
和
分別表示基于A,B的backwood operator。那么Douglas-Rachford splitting可以表示為:
他的對(duì)偶問題是:
其中
我們令
,這樣就可以應(yīng)用Douglas-Rachford splitting:
拆分一下:

再引入 
根據(jù)前面backward operator的推導(dǎo),我們知道臨近點(diǎn)迭代等價(jià)于增廣拉格朗日方法,所以第一行就等價(jià)于:
代入第二行得到:
類似的第二行就等價(jià)于:
最后再看下第三行:
更新中:
的更新放在一起:


,這等價(jià)于
,然后令右邊的為
,左邊為新的迭代點(diǎn)
,這樣就得到了forward算子。其他的類似,都是這種思想去得到的,但也不能亂來。。你要滿足一些性質(zhì),不然收斂不了的。
,進(jìn)而我們又可以去設(shè)計(jì)一個(gè)算子
,并且最優(yōu)解滿足
。那么我可以直接應(yīng)用牛頓法去求解這兩類非線性方程組。交流群
歡迎加入公眾號(hào)讀者群一起和同行交流,目前有SLAM、三維視覺、傳感器、自動(dòng)駕駛、計(jì)算攝影、檢測、分割、識(shí)別、醫(yī)學(xué)影像、GAN、算法競賽等微信群(以后會(huì)逐漸細(xì)分),請(qǐng)掃描下面微信號(hào)加群,備注:”昵稱+學(xué)校/公司+研究方向“,例如:”張三 + 上海交大 + 視覺SLAM“。請(qǐng)按照格式備注,否則不予通過。添加成功后會(huì)根據(jù)研究方向邀請(qǐng)進(jìn)入相關(guān)微信群。請(qǐng)勿在群內(nèi)發(fā)送廣告,否則會(huì)請(qǐng)出群,謝謝理解~
評(píng)論
圖片
表情

