Habréにはメディア要素を挿入する機能があることを知ったので、小さなデモを作成しました(突然機能しない場合でも、github [1]のバージョンで運試しをすることができます )。平面上に配置(2つのフィーチャのスペース) バツ そして Y )いくつかの赤と青のポイント(これは私たちのデータセットです)とマシンが分類を実行します(対応するリクエストが分類される場所に応じて、背景の各ポイントが塗りつぶされます)。ポイントを移動し、コア(放射基底関数を試すことをお勧めします)と境界の硬さ(一定)を変更します C )。JSのひどいコードについてお詫びします-私は人生で数回だけそれを書きました。アルゴリズムを理解するために、記事の後半でPythonコードを使用してください。
コンテンツ
- , , , . , — . , — [2] [3], , , .
- « SMO» SMO , , . , , SMO, .
- , «» Python .
- « sklearn.svc.svm» — 2D confusion matrix MNIST.
- «» - .
サポートベクターマシンは、分類、回帰、異常検出などの問題を解決するための機械学習手法(教師あり学習)です。バイナリ分類問題の例を使用して検討します。トレーニングサンプルは、特徴ベクトルのセットです。 xi 2つのクラスのいずれかに分類されます yi=±1 ..。分類リクエスト-ベクター x クラスを割り当てる必要があります +1 または −1 ..。
最も単純なケースでは、トレーニングサンプルのクラスは、図のように1本の直線のみを描画することで分割できます(フィーチャの数が多い場合、これは超平面になります)。さて、あるポイントを分類するように要求が来たとき x 、どちら側になるかをクラスに配置するのが妥当です。
最適な直線を選択する方法は?直感的には、クラスの真ん中で直線を通過させたいです。これを行うには、直線の方程式を次のように記述します。 x⋅w+b=0 直線に最も近いデータセットポイントが満たすようにパラメータをスケーリングします x⋅w+b=±1 (クラスに応じてプラスまたはマイナス)-これらの点はサポートベクターと呼ばれ ます。
この場合、クラスの境界点間の距離は次のようになります。 2/|w| ..。明らかに、クラスを可能な限り分離するために、この値を最大化する必要があります。後者は最小化と同等です 12|w|2 、最適化問題全体が書かれています
min12|w|2subject to: yi(xi⋅w+b)−1≥0.
あなたがそれを解決するならば、それから要求に応じて分類 x このように生産
class(x)=sign(x⋅w+b).
これは最も単純なサポートベクターマシンです。
そして、図のように異なるクラスのポイントが相互に侵入した場合はどうすればよいでしょうか。
以前の最適化問題を解決することはできなくなりました。これらの条件を満たすパラメーターはありません。そうすれば、ポイントが境界に違反することをその量だけ許可することができます。 ξi≥0 、しかし、そのような違反者はできるだけ少ないことが望ましい。これは、目的関数を追加の項で変更することで実現できます(正則化 L1 ):
min(12|w|2+C∑iξi)subject to: ξi+yi(xi⋅w+b)−1≥0,ξi≥0,
分類手順は以前と同じように続行されます。ここでハイパーパラメータ C 正則化の強さに責任があります。つまり、境界を尊重するためにポイントがどれだけ厳密に要求されるかを決定します。 C - もっと ξi 消え、より少ないポイントが境界に違反します。この場合のサポートベクターは、 ξi>0 ..。
しかし、トレーニングセットがザ・フーのロゴに似ていて、ドットを直線で区切ることができない場合はどうなるでしょうか。
ここでは、独創的な手法であるカーネルトリック [4]によって支援され ます。ただし、それを適用するには、いわゆる双対(または 双対)ラグランジュ問題に合格する必要があり ます。詳細な説明は、ウィキペディア [5]またはコースの6番目の講義 [3]にあります。新しい問題が解決される変数は、デュアルまたは ラグランジュ乗数と呼ばれます ..。双対問題は、多くの場合、元の問題よりも単純であり、優れた追加のプロパティがあります。たとえば、元の問題が非凸である場合でも、凹型です。その解は元の問題の解(双対性の破れ)と常に一致するとは限りませんが、特定の条件下でそのような一致(強双対性)を保証する定理がいくつかあります。そしてこれは私たちの場合だけなので、双対問題に安全に進むことができます
maxλn∑i=1λi−12n∑i=1n∑j=1yiyj(xi⋅xj)λiλj,subject to: 0≤λi≤C, for i=1,2,…,n,n∑i=1yiλi=0,
どこ λi -双対変数。最大化問題を解いた後、パラメータを計算することも必要です b 、双対問題には含まれていませんが、分類器には必要です
b=Ek,ξk≠0[yk−∑iλiyi(xi⋅xk)].
分類器は、双対変数の観点から書き直すことができます(そして書き直す必要があります)。
class(x)=sign(f(x)),f(x)=∑iλiyi(xi⋅x)+b.
この録音の利点は何ですか?トレーニングセットのすべてのベクトルは、ドット積の形式でのみここに含まれていることに注意してください (xi⋅xj) ..。最初にポイントを高次元空間のサーフェスにマッピングしてから、新しい空間の画像の内積を計算することができます。なぜこれが図からわかるのでしょうか。
マッピングが成功すると、ポイントの画像は超平面で区切られます。実際、すべてがさらに優れています。ドット積のみに関心があり、ポイントの特定の座標には関心がないため、表示する必要はありません。したがって、内積を関数に置き換えることで、手順全体をエミュレートできます。 K(xi;xj) 、コアと呼ばれ ます。もちろん、すべての関数がカーネルになるわけではありません-少なくとも仮説的には、マッピングが必要です φ そのような K(xi;xj)=(φ(xi)⋅φ(xj)) ..。必要な条件はマーサーの定理[6]によって決定され ます。Pythonの実装は線形を表します( K(xi;xj)=xTixj )、多項式( K(xi;xj)=(xTixj)d )カーネルと動径基底関数のカーネル( K(xi;xj)=e−γ|xi−xj|2 )。例からわかるように、カーネルは特定のハイパーパラメータをアルゴリズムに導入できます。これは、その動作にも影響します。
じょうごの形をしたゴムフィルムを伸ばした例を使って重力の作用を説明するビデオを見たことがあるかもしれません [7]。これが機能するのは、高次元空間での曲面上の点の動きは、重要なメトリックを提供する場合、低次元空間でのその画像の動きと同等であるためです。実際、コアは空間を曲げます。
SMOアルゴリズム
ですから、私たちは目標に向かっています。前のセクションで提起された二重の問題を解決することは残っています。
maxλn∑i=1λi−12n∑i=1n∑j=1yiyjK(xi;xj)λiλj,subject to: 0≤λi≤C, for i=1,2,…,n,n∑i=1yiλi=0,
次に、パラメータを見つけます
b=Ek,ξk≠0[yk−∑iλiyiK(xi;xk)],
分類器は次の形式になります
class(x)=sign(f(x)),f(x)=∑iλiyiK(xi;x)+b.
双対問題を解くためのSMO(逐次最小最適化[8])アルゴリズム は次のとおりです。ループでは、複雑なヒューリスティック([9])を使用して、 双対変数のペアが選択されます λM そして λL 、そして、目的関数は、合計が一定であるという条件で、それらに対して最小化されます。 および制限 0≤λM≤C 、 0≤λL≤C (境界線の硬さを設定します)。合計条件は、すべての合計を格納します yiλi 変更されていません(結局のところ、残りのラムダには触れませんでした)。アルゴリズムは、いわゆるKKT条件の十分な遵守を検出すると停止し ます(Karush-Kuna-Tucker [10])。
いくつか簡単にします。
- インデックス選択の複雑なヒューリスティックを破棄し(これはスタンフォード大学のコース[11]で行われます)、一方のインデックスを反復処理し、もう一方をランダムに選択します。
- CCPの確認を拒否し、事前に所定の回数の反復を実行します。
- 最適化手順自体では、古典的な研究[9]やスタンフォードアプローチ[11]とは対照的に、直線のベクトル方程式を使用します。これにより、計算が大幅に簡素化されます([12]と[13]のボリュームを比較してください)。
詳細はこちら。トレーニングサンプルからの情報は、マトリックスの形式で書き込むことができます
K=(y1y1K(x1;x1)y1y2K(x1;x2)…y1yNK(x1;xN)y2y1K(x2;x1)y2y2K(x2;x2)…y2yNK(x2;xN)⋯⋯⋯⋯yNy1K(xN;x1)yNy2K(xN;x2)…yNyNK(xN;xN)).
以下では、2つのインデックスを持つ表記を使用します( Ki,j )行列の要素を参照し、1つのインデックス( Kk )行列の列ベクトルを示します。双対変数を列ベクトルに収集します λ ..。私たちは興味があります
maxλn∑i=1λi−12λTKλ⏟L.
現在の反復で、インデックスによって目的関数を最大化するとします。 L そして M ..。導関数を取るので、インデックスを含む用語を選択すると便利です L そして M ..。量のある部分でやるのは簡単です λi 、ただし、2次形式にはいくつかの変換が必要です。
計算するとき λTKλ 合計は2つのインデックスに対して実行されます。 i そして j ..。を含むインデックスのペアを強調表示 L または M ..。
含まれていないものをすべて組み合わせて問題を書き直してみましょう λL または λM ..。インデックスの追跡を容易にするために、次のことに注意してください。 K 画像で。
どこ const 独立した用語を示します λL または λM ..。最後の行では、表記を使用しました
ご了承ください k0+Qv0 に依存しません λL からも λM
カーネルは対称的であるため、 QT=Q そしてあなたは書くことができます
L=(k0+Qv0−Qv0)Tv0+12vT0Qv0+const=(k0+Qv0)Tv0−12vT0Qv0+const
最大化を実行して、 一定のままでした。このため、新しい値は直線上にある必要があります
誰にとってもそれを確認するのは簡単です t
この場合、最大化する必要があります
L(t)=(k0+Qv0)Tv(t)−12vT(t)Qv(t)+const,
導関数を取ることで簡単にできます
dL(t)dt=(k0+Qv0)Tdvdt−12(d(vTQv)dv)Tdvdt==kT0u+vT0QTu−vTQTu⏟(vT0−vT)Qu=kT0u−tuTQu.
導関数をゼロに等しくすると、次のようになります。
t∗=kT0uuTQu.
そしてもう1つ、写真のように、必要以上に登って広場の外に出てしまうかもしれません。次に、一歩下がって国境に戻る必要があります
これで反復が完了し、新しいインデックスが選択されます。
実装
簡略化されたサポートベクターマシンのトレーニングの概略図は、次のように記述できます。
実際のプログラミング言語のコードを見てみましょう。記事のコードが気に入らない場合は、github [14]で調べることができます 。
import numpy as np
class SVM:
def __init__(self, kernel='linear', C=10000.0, max_iter=100000, degree=3, gamma=1):
self.kernel = {'poly' : lambda x,y: np.dot(x, y.T)**degree,
'rbf': lambda x,y: np.exp(-gamma*np.sum((y-x[:,np.newaxis])**2,axis=-1)),
'linear': lambda x,y: np.dot(x, y.T)}[kernel]
self.C = C
self.max_iter = max_iter
# t,
def restrict_to_square(self, t, v0, u):
t = (np.clip(v0 + t*u, 0, self.C) - v0)[1]/u[1]
return (np.clip(v0 + t*u, 0, self.C) - v0)[0]/u[0]
def fit(self, X, y):
self.X = X.copy()
# 0,1 -1,+1; sklearn
self.y = y * 2 - 1
self.lambdas = np.zeros_like(self.y, dtype=float)
# (3)
self.K = self.kernel(self.X, self.X) * self.y[:,np.newaxis] * self.y
# self.max_iter
for _ in range(self.max_iter):
#
for idxM in range(len(self.lambdas)):
# idxL
idxL = np.random.randint(0, len(self.lambdas))
# (4)
Q = self.K[[[idxM, idxM], [idxL, idxL]], [[idxM, idxL], [idxM, idxL]]]
# (4a)
v0 = self.lambdas[[idxM, idxL]]
# (4b)
k0 = 1 - np.sum(self.lambdas * self.K[[idxM, idxL]], axis=1)
# (4d)
u = np.array([-self.y[idxL], self.y[idxM]])
# (5), idxM = idxL
t_max = np.dot(k0, u) / (np.dot(np.dot(Q, u), u) + 1E-15)
self.lambdas[[idxM, idxL]] = v0 + u * self.restrict_to_square(t_max, v0, u)
#
idx, = np.nonzero(self.lambdas > 1E-15)
# (1)
self.b = np.mean((1.0-np.sum(self.K[idx]*self.lambdas, axis=1))*self.y[idx])
def decision_function(self, X):
return np.sum(self.kernel(X, self.X) * self.y * self.lambdas, axis=1) + self.b
def predict(self, X):
# -1,+1 0,1; sklearn
return (np.sign(self.decision_function(X)) + 1) // 2
SVMクラスのオブジェクトを作成するときに、ハイパーパラメータを指定できます。トレーニングはfit関数を呼び出すことによって行われます。クラスは、次のように指定する必要があります。 0 そして 1 (内部的に変換されます −1 そして +1 、sklearnとの互換性を高めるために作成された)、特徴ベクトルの次元は任意に許可されます。予測関数は分類に使用されます。
sklearn.svm.SVCとの比較
学生を教えることだけを目的として開発された非常に単純化されたアルゴリズムについて話しているので、この比較はあまり意味がありませんが、それでもなおです。テストするために(そしてそれをすべて使用する方法を確認するために)、次のことを行うことができます(このコードはgithub [14]でも入手できます )。
from sklearn.svm import SVC
import matplotlib.pyplot as plt
import seaborn as sns; sns.set()
from sklearn.datasets import make_blobs, make_circles
from matplotlib.colors import ListedColormap
def test_plot(X, y, svm_model, axes, title):
plt.axes(axes)
xlim = [np.min(X[:, 0]), np.max(X[:, 0])]
ylim = [np.min(X[:, 1]), np.max(X[:, 1])]
xx, yy = np.meshgrid(np.linspace(*xlim, num=700), np.linspace(*ylim, num=700))
rgb=np.array([[210, 0, 0], [0, 0, 150]])/255.0
svm_model.fit(X, y)
z_model = svm_model.decision_function(np.c_[xx.ravel(), yy.ravel()]).reshape(xx.shape)
plt.scatter(X[:, 0], X[:, 1], c=y, s=50, cmap='autumn')
plt.contour(xx, yy, z_model, colors='k', levels=[-1, 0, 1], alpha=0.5, linestyles=['--', '-', '--'])
plt.contourf(xx, yy, np.sign(z_model.reshape(xx.shape)), alpha=0.3, levels=2, cmap=ListedColormap(rgb), zorder=1)
plt.title(title)
X, y = make_circles(100, factor=.1, noise=.1)
fig, axs = plt.subplots(nrows=1,ncols=2,figsize=(12,4))
test_plot(X, y, SVM(kernel='rbf', C=10, max_iter=60, gamma=1), axs[0], 'OUR ALGORITHM')
test_plot(X, y, SVC(kernel='rbf', C=10, gamma=1), axs[1], 'sklearn.svm.SVC')
X, y = make_blobs(n_samples=50, centers=2, random_state=0, cluster_std=1.4)
fig, axs = plt.subplots(nrows=1,ncols=2,figsize=(12,4))
test_plot(X, y, SVM(kernel='linear', C=10, max_iter=60), axs[0], 'OUR ALGORITHM')
test_plot(X, y, SVC(kernel='linear', C=10), axs[1], 'sklearn.svm.SVC')
fig, axs = plt.subplots(nrows=1,ncols=2,figsize=(12,4))
test_plot(X, y, SVM(kernel='poly', C=5, max_iter=60, degree=3), axs[0], 'OUR ALGORITHM')
test_plot(X, y, SVC(kernel='poly', C=5, degree=3), axs[1], 'sklearn.svm.SVC')
起動後、画像が生成されますが、アルゴリズムがランダム化されているため、起動ごとにわずかに異なります。簡略化されたアルゴリズムがどのように機能するかの例を次に示します(左から右へ:線形、多項式、およびrbfカーネル)
|
|
|
そして、これはサポートベクターマシンの産業用バージョンの結果です。
|
|
|
寸法の場合 2 小さすぎるようですが、MNISTでテストできます
from sklearn import datasets, svm
from sklearn.model_selection import train_test_split
from sklearn.metrics import confusion_matrix
import matplotlib.pyplot as plt
import seaborn as sns
class_A = 3
class_B = 8
digits = datasets.load_digits()
mask = (digits.target == class_A) | (digits.target == class_B)
data = digits.images.reshape((len(digits.images), -1))[mask]
target = digits.target[mask] // max([class_A, class_B]) # rescale to 0,1
X_train, X_test, y_train, y_test = train_test_split(data, target, test_size=0.5, shuffle=True)
def plot_confusion(clf):
clf.fit(X_train, y_train)
y_fit = clf.predict(X_test)
mat = confusion_matrix(y_test, y_fit)
sns.heatmap(mat.T, square=True, annot=True, fmt='d', cbar=False, xticklabels=[class_A,class_B], yticklabels=[class_A,class_B])
plt.xlabel('true label')
plt.ylabel('predicted label');
plt.show()
print('sklearn:')
plot_confusion(svm.SVC(C=1.0, kernel='rbf', gamma=0.001))
print('custom svm:')
plot_confusion(SVM(kernel='rbf', C=1.0, max_iter=60, gamma=0.001))
MNISTの場合、クラスのランダムなペアをいくつか試しましたが(簡略化されたアルゴリズムはバイナリ分類のみをサポートします)、簡略化されたアルゴリズムとsklearnの作業に違いは見つかりませんでした。次の混同行列は、品質のアイデアを提供します。
結論
最後まで読んでくださった皆様、ありがとうございました。この記事では、サポートベクターマシンの簡略化されたチュートリアル実装について説明しました。もちろん、工業デザインと競合することはできませんが、Pythonの非常にシンプルでコンパクトなコード、およびSMOの基本的な考え方がすべて保持されているため、このバージョンのSVMは教室。このアルゴリズムは、非常にトリッキーなアルゴリズム[9]だけでなく、スタンフォード大学の簡略化されたバージョン [11]よりも単純であることに注意して ください。結局のところ、30行のサポートベクターマシンは美しいです。
参考文献一覧
- https://fbeilstein.github.io/simplest_smo_ever/
- http://www.machinelearning.ruのページ
- 「機械学習の始まり」、KAU
- https://en.wikipedia.org/wiki/Kernel_method
- https://en.wikipedia.org/wiki/Duality_(optimization)
- http://www.machinelearning.ru
- https://www.youtube.com/watch?v=MTY1Kje0yLg
- https://en.wikipedia.org/wiki/Sequential_minimal_optimization
- Platt, John. Fast Training of Support Vector Machines using Sequential Minimal Optimization, in Advances in Kernel Methods – Support Vector Learning, B. Scholkopf, C. Burges, A. Smola, eds., MIT Press (1998).
- https://en.wikipedia.org/wiki/Karush%E2%80%93Kuhn%E2%80%93Tucker_conditions
- http://cs229.stanford.edu/materials/smo.pdf
- https://www.researchgate.net/publication/344460740_Yet_more_simple_SMO_algorithm
- http://fourier.eng.hmc.edu/e176/lectures/ch9/node9.html
- https://github.com/fbeilstein/simplest_smo_ever