凸優化筆記(6)無約束凸優化問題的演算法設計
來自專欄 凸優化與非線性優化
本文主要參考密歇根大學(UMich)Marina A. Epelman教授在IOE 519: Introduction to Nonlinear Programming課上的handouts(Section 5)。如有錯誤疏漏,煩請指出。如需付費轉載,請聯繫筆者,zhu.hathaway@gmail.com。
我們分別在前面4講中,講述了LP、QP、SDP、CP,並理清了了它們之間的聯繫: 。今天我們將講述怎麼找到這些問題的最優解。首先我們講,無約束情況下的最優求解。
我們重新回顧一下一般的凸優化問題:
滿足以下四個條件:
1. 2. objective function-> 是凸函數3. ->m個inequality constraints是convex function
4. ->r個equality constraints是affine的
首先,如果沒有不等式約束 ,也沒有等式約束 ,那麼該問題就是一個無約束凸優化問題。
為什麼要設計iterative algorithms
對於無約束優化問題, 又是凸函數,所以該問題的最優解就在 處。由於 ,那麼 就是n個方程,求解n個未知數。但是只有少數情況下,方程是可以直接求出解析解的,例如 ,它是線性方程,有解析解。而大多數情況下,由於 是非線性的,很難得到解析解,所以需要設計iterative algorithms(迭代演算法),利用計算機求解。
Iterative algorithms
通常一個優化問題的迭代演算法,有以下幾個步驟:
- 選取起始點
- 設計演算法,尋找下一個點
- 第2步反覆循環,直到滿足Termination Criterion(終止條件)
演算法設計的核心在於第2步,不同的演算法主要是在這一步的策略不同。而第2步通常又有兩個事情要做,一是往哪個方向邁步子,二是步子邁多大,有了邁步方向和步長,就唯一確定了下一個點在哪裡。因為你邁的步子本質來說就是個向量,決定向量的除了向量的幅值,還有向量的方向,也就是任意一個向量 可以寫成它的幅值乘以它的單位向量所指的方向,即 ,其中 是它的幅值(標量),d是它的單位化方向向量。所以總結有下圖:
Choosing Direction
我們知道Tylor series:
就是泰勒公式,是一個用函數在某點 的信息描述其附近取值的公式。如果函數足夠平滑的話(也就是式中可以求從1到無窮階的導數),在已知函數在某一點 的各階導數值的情況之下,泰勒公式可以用這些導數值做係數構建一個多項式來近似函數在這一點的鄰域中的值。泰勒公式還給出了這個多項式和實際的函數值之間的偏差。
如果 足夠小,那麼我們可以有一階近似:
所以假設我們目前在 ,那麼我們下一步
其中 就是我們邁的步子。令 ,那麼我們把 就可以分解成它的幅值乘以它的單位化方向向量,即 。所以我們要做的事情就是決定 到底等於什麼,也就是怎麼從 走到 。由於 ,所以我們知道梯度 是個n維列向量。因為我們的優化問題是最小化f(x) ,我們希望下一步 ,人們稱作該方向為descent direction(下降方向)。所以就是希望 。細心觀察發現, 其實就是向量 與向量 的內積, 是步長, 是單位向量。如果我們邁的步子 一樣長,那麼往哪個方向 邁,可以最小化 ?我們知道兩個向量的內積 ,要想 小於0,那麼 必須取為 之間。而進一步我們可以推出,當 時, 最小,也就是邁步子的方向與 平行,但是方向相反,也就是單位向量 具有以下 形式:
這就是為什麼人們把該方向叫做Steepest Descent Direction或者Gradient Descent(顯然是基於一階近似而言)。
同樣地,如果我們在 對 做二階近似,我們有:
那麼因為我們的優化問題是 ,也就是我們希望下一步 。上式的二階近似是關於變數 的quadratic函數。由於f 是凸函數, ( 是對稱矩陣),所以上式凸的(如果 就是關於變數 的凹函數了)。於是我們得到
也就是單位向量 是
對應的 ,因為
所以該方向也是一個descent direction,這就是人們通常所說的Newton Direction。
以上Steepest Descent Direction與Newton Direction都是假定了 光滑的,具有一階或者二階的導數。如果 並不是可微的,怎麼辦?學者們提出了Subgradient,Quasi-Newton來解決。其他更advanced方法,就在這裡就不詳細講了。
Choosing Step Size
確定了方向 之後,我們就需要確定步長 了。我們現在基於一階近似來進行分析。選取步長 (標量),其實就是已知 ,如何選擇步長 (標量)使得
最小?特別需要注意的是,這時候決策變數是 。這其中就有Fixed Step Size、Exact Line Search(Although usable, this method is not considered cost effective)、Backtracking Line Search(Large step lengths are tested before small ones. Thus, the step length will not be too small)等方法,下圖給出了Backtracking Line Search的選擇步長的策略,這裡暫時不詳細講了。
Choosing Termination Criterion
根據最優條件,我們知道凸函數 在最優點處滿足 或者 是positive definite。然而在實際地利用計算機做迭代計算的過程中,這樣的精準的點通常無法恰好達到的,或者說可能要找到需要迭代無窮個步數,這是不切實際的。所以在實際中,為了求解,我們通常是允許一定範圍的小誤差(該誤差不同的演算法,有不同的選擇),誤差如果那個範圍內,我們就停止。
推薦閱讀:
※損失函數——交叉熵損失函數
※深入機器學習系列4-KMeans
※圖解機器學習:如何用learning curve動態識別模型的病症和選擇合適改進措施
※《機器學習》習題解答(第一章:緒論)
※數據是未來的石油