サポートベクターマシン
名前だけ聞くとなんか凄そうなマシンに聞こえますね。
サポートベクターとはベクトルの事です。トレーニングサンプルを特徴量空間の位置ベクトルとしてみています。
決定境界に一番近いトレーニングサンプルの事をサポートベクトルといいます。サポートベクトルを使ったマシンラーニングという意味でしょうかね?
サポートベクトルと決定境界の距離をマージンと言い、サポートベクターマシンではこのマージンを最大化してあげることで決定境界を求めます。
ベクトル空間上の超平面
一般的に、あるベクトル空間上の超平面を表す式は以下のようにあらわすことができます。(は横ベクトルでは縦ベクトルです。)
超平面という表現は、一般的なベクトル空間は3次元とは限らないので、n次元空間上の平面という意味です。
は超平面の法線方向ベクトルを表し、は適当な実数です。
この時、ベクトル空間上の適当な点とこの超平面の距離は以下の式であらわされます。
(1)式で表される超平面を適当な定数倍しても、点と超平面の距離は変化しません。
こう考えてみると、コスト関数の最小値を与える重みと、特徴量ベクトルとの積の和は決定境界を表していたんですね。一つ賢くなりました。
また、このベクトル空間上の平行な2平面、間の距離は以下のように表すことができます。
サポートベクトルと決定境界の距離
クラスラベルを1と-1としたときに、決定境界からクラスラベルが1(+側)にあるサポートベクトルをと書いてあげます。
このとき決定境界とサポートベクトルの距離は以下のように表されます。
また決定境界からクラスラベルが-1(-側)にあるサポートベクトルをと書いてあげます。同様に決定境界とサポートベクトルの距離は以下になります。
ここがポイントです。決定境界は以下の式を満たすように重みを調整して無理やり決定してやります。
(3)式を考慮すると、重みを定数倍しても点と平面の距離は変化しないので、適当に定数倍してやることで、(7)、(8)式を満たすを見つけることができるわけです。
(7)、(8)式を(5)、(6)式に代入してやると、
(9)式はサポートベクトルと決定境界との距離を表しており、これが最大化すべきマージンになります。
実際は(10)式の逆数をとって2乗し、をかけた値を最小化してやります。計算しやすいようにしているだけです。
式だけ見ると、重みベクトルの内積を最小化するだけなので簡単すぎるように思えますが、他に制約条件を考慮する必要があります。
マージン最大化における制約条件
(7)式で表される超平面よりクラスラベルが1側にある、トレーニングサンプルは、以下の式を満たす必要があります。
また、同様に(8)式で表される超平面よりクラスラベルが-1側にある、トレーニングサンプルは、以下の式を満たす必要があります。
(11)、(12)式をまとめて以下のように書けます。
これがマージン最大化における満たすべき制約条件になります。
ADALINEやロジスティック回帰の時とは異なり、最適化するべきマージンに制約が付いています。
この場合はマージンの最適化に勾配効果法を使うことはできず、2次計画法という手法を使います。
次は2次計画法について考察してみたいと思います。