出處：http://www.matlabsky.com/thread-10317-1-1.html
生存？還是毀滅？——哈姆雷特
可分？還是不可分？——支持向量機
之前一直在討論的線性分類器,器如其名（汗，這是什麼說法啊），只能對線性可分的樣本做處理。如果提供的樣本線性不可分，結果很簡單，線性分類器的求解程序會無限循環，永遠也解不出來。這必然使得它的適用範圍大大縮小，而它的很多優點我們實在不原意放棄，怎麼辦呢？是否有某種方法，讓線性不可分的數據變得線性可分呢？
有！其思想說來也簡單，來用一個二維平面中的分類問題作例子，你一看就會明白。事先聲明，下面這個例子是網絡早就有的，我一時找不到原作者的正確信息，在此借用，並加進了我自己的解說而已。
例子是下面這張圖：
這樣g(x)就可以轉化爲f(y)=<a,y>，你可以把y和a分別迴帶一下，看看等不等於原來的g(x)。用內積的形式寫你可能看不太清楚，實際上f(y)的形式就是：
g(x)=f(y)=ay
在任意維度的空間中，這種形式的函數都是一個線性函數（只不過其中的a和y都是**向量罷了），因爲自變量y的次數不大於1。
看出妙在哪了麼？原來在二維空間中一個線性不可分的問題，映射到四維空間後，變成了線性可分的！因此這也形成了我們最初想解決線性不可分問題的基本思路——向高維空間轉化，使其變得線性可分。
而轉化最關鍵的部分就在於找到x到y的映射方法。遺憾的是，如何找到這個映射，沒有系統性的方法（也就是說，純靠猜和湊）。具體到我們的文本分類問題，文本被表示爲上千維的向量，即使維數已經如此之高，也常常是線性不可分的，還要向更高的空間轉化。其中的難度可想而知。
用一個具體文本分類的例子來看看這種向高維空間映射從而分類的方法如何運作，想象一下，我們文本分類問題的原始空間是1000維的（即每個要被分類的文檔被表示爲一個1000維的向量），在這個維度上問題是線性不可分的。現在我們有一個2000維空間裏的線性函數
f(x’)=<w’,x’>+b
注意向量的右上角有個 ’哦。它能夠將原問題變得可分。式中的 w’和x’都是2000維的向量，只不過w’是定值，而x’是變量（好吧,嚴格說來這個函數是2001維的,哈哈），現在我們的輸入呢，是一個1000維的向量x，分類的過程是先把x變換爲2000維的向量x’，然後求這個變換後的向量x’與向量w’的內積，再把這個內積的值和b相加，就得到了結果，看結果大於閾值還是小於閾值就得到了分類結果。
你發現了什麼？我們其實只關心那個高維空間裏內積的值，那個值算出來了，分類結果就算出來了。而從理論上說， x’是經由x變換來的，因此廣義上可以把它叫做x的函數（有一個x，就確定了一個x’，對吧，確定不出第二個），而w’是常量，它是一個低維空間裏的常量w經過x與x’之間相同的變換得到的，所以給了一個w 和x的值，就有一個確定的f(x’)值與其對應。這讓我們幻想，是否能有這樣一種函數K(w,x),他接受低維空間的輸入值，卻能算出高維空間的內積值<w’,x’>？
如果有這樣的函數，那麼當給了一個低維空間的輸入x以後，
g(x)=K(w,x)+b
f(x’)=<w’,x’>+b
這兩個函數的計算結果就完全一樣，我們也就用不着費力找那個映射關係，直接拿低維的輸入往g(x)裏面代就可以了（再次提醒，這回的g(x)就不是線性函數啦，因爲你不能保證K(w,x)這個表達式裏的x次數不高於1哦）。
萬幸的是，這樣的K(w,x)確實存在（發現凡是我們人類能解決的問題，大都是巧得不能再巧，特殊得不能再特殊的問題，總是恰好有些能投機取巧的地方纔能解決，由此感到人類的渺小），它被稱作核函數（核，kernel），而且還不止一個，事實上，只要是滿足了Mercer條件的函數，都可以作爲核函數。核函數的基本作用就是接受兩個低維空間裏的向量，能夠計算出經過某個變換後在高維空間裏的向量內積值。幾個比較常用的核函數，俄，教課書裏都列過，我就不敲了（懶！）。
回想我們上節說的求一個線性分類器，它的形式應該是：
積的時候就用你選定的核函數來算。這樣求出來的α再和你選定的核函數一組合，就得到分類器啦！
明白了以上這些，會自然的問接下來兩個問題：
1．
既然有很多的核函數，針對具體問題該怎麼選擇？
2．
如果使用核函數向高維空間映射後，問題仍然是線性不可分的，那怎麼辦？
第一個問題現在就可以回答你：對核函數的選擇，現在還缺乏指導原則！各種實驗的觀察結果（不光是文本分類）的確表明，某些問題用某些核函數效果很好，用另一些就很差，但是一般來講，徑向基核函數是不會出太大偏差的一種，首選。（我做文本分類系統的時候，使用徑向基核函數，沒有參數調優的情況下，絕大部分類別的準確和召回都在85%以上，可見。雖然libSVM的作者林智仁認爲文本分類用線性核函數效果更佳，待考證）
對第二個問題的解決則引出了我們下一節的主題：鬆弛變量。
