支持向量機(SVM)
@(數據挖掘)[svm]
一、線性可分支持向量機和硬間隔最大化
名詞解釋
線性可分:就是指給定一組數據集 ,其中, ,如果存在某個超平面S, ,能夠將整個數據集的正實例和負實例完全正確地劃分到超平面的兩側,則稱這個數據集T是線性可分數據集(linearly separable data set);否則就是線性不可分的。
硬間隔最大化,也就是線性可分支持向量機,在線性可分數據集上利用間隔最大化求最優分離超平面的過程首先從點到直線的距離發散到高維易知, 能夠相對的表示點 到超平面的距離,而 的符號與類標記 的符號是否一致能夠表示分類是否正確,所以:
可以用來表示數據集中每個點分類正確性和到分割超平面距離(也可以稱爲分類置信度大小),也叫超平面 關於樣本點 的函數間隔。
我們可以進一步定義超平面關於整個數據集T的函數間隔爲數據集T中所有點到超平面函數間隔的最小值:
但是可以發現,我們同時按比例增大 和 ,超平面仍然是 沒有變,但是函數間隔卻同樣按比例變化了,所以我們對分離超平面的法向量 加了約束,使得 ,也就是間隔值不會改變,這時函數間隔變成了幾何間隔,記做:
則同理數據集到超平面的幾何距離爲:
- 進一步,我們的線性可分支持向量機就變成了一個約束最優化問題:
即是最大化幾何間隔的問題,接着根據函數間隔與幾何間隔的關係,我們易得:
然後我們可以看到函數間隔 的取值並不改變上述最優化問題的解,所以我們可以取 ,帶入上式,再通過簡單變換,將最大化問題變成最小化問題,得到:
而上述兩式就是我們最終的線性可分支持向量機學習算法
而滿足條件的最優 就構成我們的分離超平面:
分類決策函數爲:
二、線性可分支持向量機的對偶算法(應用拉格朗日對偶,簡化原始優化問題爲求解對偶問題)
爲了上述線性可分支持向量機的最優化問題求解更簡單,我們對上述最優化問題應用拉格朗日對偶性,通過求解對偶問題得到原始問題的最優解。也叫線性可分支持向量機的對偶算法。
優點:- 對偶問題的解通常更容易求得
- 自然引入核函數技巧,進而推廣到非線性分類問題上
證明過程這裏不再說明,主要就是爲每個樣本引入一個拉格朗日乘子 ,使得原始問題等價於一個極大極小值問題,然後將其中求極小值部分先用求偏導方法得到 的極值關於 的表示方法,帶入原式,從而去掉求關於 的極大值問題,最後變成單純的求關於 的極小值問題。
具體算法如下:
- 下式中的 爲引入的拉格朗日乘子,N爲樣本數
求得最優解 . - 在計算
選擇一個 , 下式中 就是該正乘子對應的樣本特徵向量和標籤
- 從而易知超平面爲:
分類決策函數爲:
- 下式中的 爲引入的拉格朗日乘子,N爲樣本數
需要注意的是,從原始問題到對偶問題的關係中,我們容易看出,訓練集中對應 的樣本點 爲支持向量
三、線性支持向量機與軟間隔最大化
之前我們提到線性可分支持向量機是針對數據集線性可分的情況下得到的,但是實際情況中大部分的數據集是線性不可分的,這時我們就要修改硬間隔最大化爲軟間隔最大化。
線性不可分,其實說白了就是有些樣本 不能滿足函數間隔大於等於1的約束條件,所以自然我們想到放鬆約束條件,爲每個樣本引入一個鬆弛變量 ,是的約束條件的函數間隔加上鬆弛變量大於等於1,則約束變成了:
同時,對於鬆弛變量,我們要在原目標函數加入一個懲罰項,則變爲:
這裏, 成爲懲罰參數,可以看出C越大隊伍分類懲罰越大,C越小對誤分類懲罰變小, 上式其實有兩個作用: 儘量小即間隔儘量大,但同時又要讓誤分類的個數儘量少,這是個trade-off問題,由C控制平衡所以這時我們的問題線性支持向量機變成如下凸二次規劃問題:
四、線性支持向量機的對偶算法
- 證明過程完全類似於線性可分支持向量機的對偶算法,這裏不再贅述。
- 對偶算法爲:
- 下式中的 爲引入的拉格朗日乘子,N爲樣本數
求得最優解 . - 在計算
選擇一個 , 下式中 就是該乘子對應的樣本特徵向量和標籤
- 從而易知超平面爲:
分類決策函數爲:
- 下式中的 爲引入的拉格朗日乘子,N爲樣本數
需要注意的是,由於這裏的b的最優解肯定不止一個,所以往往取所有符合條件的樣本點上的平均b值
這裏的支持向量定義更復雜一點:
- 若 ,則支持向量剛好在分類間隔邊界上
- 若 ,則分類正確,且支持向量在分類邊界與分離超平面之間
- 若 ,則支持向量剛好在分離超平面上
- 若 ,則支持向量在分離超平面誤分類一側
五、線性支持向量機的另外一種合理解釋
- 合頁損失函數:
我們的線性支持向量機可以看成是最小化一個包含和也損失函數的目標函數:
這個損失函數第一項就是一個關於函數間隔的合頁函數,只有當函數間隔 大於1的時候損失爲0,否則就是 。
原始線性支持向量機問題爲:
而我們很容易證明原始線性支持向量機問題等價於最優化問題
證明過程大致是令 ,則易知 ,符合原始約束2,通過分析也易得 ,此時元最優化問題變成:
取 ,則
所以得證與原始線性支持向量機問題等價
六、核技巧
- 其實核技巧核心思想就是:當前數據集的輸入特徵所在高維空間無法被線性超平面分隔,那麼我們就通過一個非線性變換,把輸入特徵空間轉換到另一個特徵空間,使得我們在原始特徵空間必須用超曲面分離的數據集,在轉換後可以用對應的超平面完美分隔。
- 而核函數就代表這種非線性變換函數,讓我們非線性可分的數據集通過轉換可以變成線性可分的,從而簡化模型學習,只需要用線性支持向量機就可以對數據進行模型的學習。
- 常用的核函數有多項式核函數、高斯核函數、字符串核函數
注:本文參考李航的《統計學習方法》