我正在学习支持向量机,并试图想出一个简单的线性分类的简单python实现(我知道sklearn包,只是为了帮助理解更好的概念)。 This是我引用的主要材料。
我正试图通过最小化来解决原始的SVM:
J wrt w的衍生物(根据上述参考文献):
所以这是使用“铰链”损失,C是惩罚参数。如果我理解正确,设置较大的C将强制SVM具有更大的余量。
以下是我的代码:
import numpy
from scipy import optimize
class SVM2C(object):
def __init__(self,xdata,ydata,c=200.,learning_rate=0.01,
n_iter=5000,method='GD'):
self.values=numpy.unique(ydata)
self.xdata=xdata
self.ydata=numpy.where(ydata==self.values[-1],1,-1)
self.c=c
self.lr=learning_rate
self.n_iter=n_iter
self.method=method
self.m=len(xdata)
self.theta=numpy.random.random(xdata.shape[1])-0.5
def costFunc(self,theta,x,y):
zs=numpy.dot(x,theta)
j=numpy.maximum(0.,1.-y*zs).mean()*self.c+0.5*numpy.sum(theta**2)
return j
def jac(self,theta,x,y):
'''Derivative of cost function'''
zs=numpy.dot(x,theta)
ee=numpy.where(y*zs>=1.,0.,-y)[:,None]
# multiply rows by ee
dj=(ee*x).mean(axis=0)*self.c+theta
return dj
def train(self):
#----------Optimize using scipy.optimize----------
if self.method=='optimize':
opt=optimize.minimize(self.costFunc,self.theta,args=(self.xdata,self.ydata),\
jac=self.jac,method='BFGS')
self.theta=opt.x
#---------Optimize using Gradient descent---------
elif self.method=='GD':
costs=[]
lr=self.lr
for ii in range(self.n_iter):
dj=self.jac(self.theta,self.xdata,self.ydata)
self.theta=self.theta-lr*dj
cii=self.costFunc(self.theta,self.xdata,self.ydata)
costs.append(cii)
self.costs=numpy.array(costs)
return self
def predict(self,xdata):
yhats=[]
for ii in range(len(xdata)):
xii=xdata[ii]
yhatii=xii.dot(self.theta)
yhatii=1 if yhatii>=0 else 0
yhats.append(yhatii)
yhats=numpy.array(yhats)
return yhats
#-------------Main---------------------------------
if __name__=='__main__':
xdata = numpy.array([[-1, -1], [-2, -1], [1, 1], [2, 1]])
ydata = numpy.array([1, 1, 2, 2])
mysvm=SVM2C(xdata,ydata,method='GD')
mysvm.train()
from sklearn import svm
clf=svm.SVC(C=50,kernel='linear')
clf.fit(xdata,ydata)
print mysvm.theta
print clf.coef_
#-------------------Plot------------------------
import matplotlib.pyplot as plt
figure=plt.figure(figsize=(12,10),dpi=100)
ax=figure.add_subplot(111)
cmap=plt.cm.jet
nclasses=numpy.unique(ydata).tolist()
colors=[cmap(float(ii)/len(nclasses)) for ii in nclasses]
#----------------Plot training data----------------
for ii in range(len(ydata)):
xii=xdata[ii][0]
yii=xdata[ii][1]
colorii=colors[nclasses.index(ydata[ii])]
ax.plot(xii,yii,color=colorii,marker='o')
plt.show(block=False)
所以它实际上是一个玩具示例,其中只有4个可线性分离的训练样本,我放弃了偏差项b,结果w
预期为[0.5,0.5](skimage结果),而无论是使用梯度下降还是scipy.optimize
,我的实现都会倾向于给出大于0.5的值(例如[1.4650,1.4650])。这只有在将C
参数设置为> 1时才会发生,当C==1
时,它会给我[0.5,0.5]。同样,当C> 1时,scipy.optimize
会失败(我尝试了几种不同的方法,例如Newton-CG,BFGS),尽管最终结果接近梯度下降结果。
我有点困惑为什么w
向量停止收缩。我认为当所有数据都被正确分类时,松弛的惩罚将停止对总成本函数做出贡献,因此它只会通过减小w
的大小来优化J.我的导数是否错了?
我知道这可能是一个新手问题而且我正在粘贴一些脏代码,这让我困惑了几天,我周围没有人可以提供帮助,所以任何支持都会非常感激!
更新
感谢所有帮助。我正在更新代码以处理稍微复杂的样本。这次我加入了偏见词并使用以下内容进行更新:
根据我得到的反馈,我尝试了scipy.optimize
的Nelder-Mead,并尝试了2种自适应梯度下降方法。代码如下:
import numpy
from scipy import optimize
class SVM2C(object):
def __init__(self,xdata,ydata,c=9000,learning_rate=0.001,
n_iter=600,method='GD'):
self.values=numpy.unique(ydata)
# Add 1 dimension for bias
self.xdata=numpy.hstack([xdata,numpy.ones([xdata.shape[0],1])])
self.ydata=numpy.where(ydata==self.values[-1],1,-1)
self.c=c
self.lr=learning_rate
self.n_iter=n_iter
self.method=method
self.m=len(xdata)
self.theta=numpy.random.random(self.xdata.shape[1])-0.5
def costFunc(self,theta,x,y):
zs=numpy.dot(x,theta)
j=numpy.maximum(0.,1.-y*zs).mean()*self.c+0.5*numpy.sum(theta[:-1]**2)
return j
def jac(self,theta,x,y):
'''Derivative of cost function'''
zs=numpy.dot(x,theta)
ee=numpy.where(y*zs>=1.,0.,-y)[:,None]
dj=numpy.zeros(self.theta.shape)
dj[:-1]=(ee*x[:,:-1]).mean(axis=0)*self.c+theta[:-1] # weights
dj[-1]=(ee*self.c).mean(axis=0) # bias
return dj
def train(self):
#----------Optimize using scipy.optimize----------
if self.method=='optimize':
opt=optimize.minimize(self.costFunc,self.theta,args=(self.xdata,self.ydata),\
jac=self.jac,method='Nelder-Mead')
self.theta=opt.x
#---------Optimize using Gradient descent---------
elif self.method=='GD':
costs=[]
lr=self.lr
# ADAM parameteres
beta1=0.9
beta2=0.999
epsilon=1e-8
mt_1=0
vt_1=0
for ii in range(self.n_iter):
t=ii+1
dj=self.jac(self.theta,self.xdata,self.ydata)
'''
mt=beta1*mt_1+(1-beta1)*dj
vt=beta2*vt_1+(1-beta2)*dj**2
mt=mt/(1-beta1**t)
vt=vt/(1-beta2**t)
self.theta=self.theta-lr*mt/(numpy.sqrt(vt)+epsilon)
mt_1=mt
vt_1=vt
cii=self.costFunc(self.theta,self.xdata,self.ydata)
'''
old_theta=self.theta
self.theta=self.theta-lr*dj
if ii>0 and cii>costs[-1]:
lr=lr*0.9
self.theta=old_theta
costs.append(cii)
self.costs=numpy.array(costs)
self.b=self.theta[-1]
self.theta=self.theta[:-1]
return self
def predict(self,xdata):
yhats=[]
for ii in range(len(xdata)):
xii=xdata[ii]
yhatii=numpy.sign(xii.dot(self.theta)+self.b)
yhatii=xii.dot(self.theta)+self.b
yhatii=self.values[-1] if yhatii>=0 else self.values[0]
yhats.append(yhatii)
yhats=numpy.array(yhats)
return yhats
#-------------Main---------------------------------
if __name__=='__main__':
#------------------Sample case 1------------------
#xdata = numpy.array([[-1, -1], [-2, -1], [1, 1], [2, 1]])
#ydata = numpy.array([1, 1, 2, 2])
#------------------Sample case 2------------------
from sklearn import datasets
iris=datasets.load_iris()
xdata=iris.data[20:,:2]
ydata=numpy.where(iris.target[20:]>0,1,0)
#----------------------Train----------------------
mysvm=SVM2C(xdata,ydata,method='GD')
mysvm.train()
ntest=20
xtest=2*(numpy.random.random([ntest,2])-0.5)+xdata.mean(axis=0)
from sklearn import svm
clf=svm.SVC(C=50,kernel='linear')
clf.fit(xdata,ydata)
yhats=mysvm.predict(xtest)
yhats2=clf.predict(xtest)
print 'mysvm weights:', mysvm.theta, 'intercept:', mysvm.b
print 'sklearn weights:', clf.coef_, 'intercept:', clf.intercept_
print 'mysvm predict:',yhats
print 'sklearn predict:',yhats2
#-------------------Plot------------------------
import matplotlib.pyplot as plt
figure=plt.figure(figsize=(12,10),dpi=100)
ax=figure.add_subplot(111)
cmap=plt.cm.jet
nclasses=numpy.unique(ydata).tolist()
colors=[cmap(float(ii)/len(nclasses)) for ii in nclasses]
#----------------Plot training data----------------
for ii in range(len(ydata)):
xii=xdata[ii][0]
yii=xdata[ii][1]
colorii=colors[nclasses.index(ydata[ii])]
ax.plot(xii,yii,color=colorii,marker='o',markersize=15)
#------------------Plot test data------------------
for ii in range(ntest):
colorii=colors[nclasses.index(yhats2[ii])]
ax.plot(xtest[ii][0],xtest[ii][1],color=colorii,marker='^',markersize=5)
#--------------------Plot line--------------------
x1=xdata[:,0].min()
x2=xdata[:,0].max()
y1=(-clf.intercept_-clf.coef_[0][0]*x1)/clf.coef_[0][1]
y2=(-clf.intercept_-clf.coef_[0][0]*x2)/clf.coef_[0][1]
y3=(-mysvm.b-mysvm.theta[0]*x1)/mysvm.theta[1]
y4=(-mysvm.b-mysvm.theta[0]*x2)/mysvm.theta[1]
ax.plot([x1,x2],[y1,y2],'-k',label='sklearn line')
ax.plot([x1,x2],[y3,y4],':k',label='mysvm line')
ax.legend(loc=0)
plt.show(block=False)
我遇到的新问题:
C
设置为相当大的值,它也会在训练集中对1个样本进行错误分类。这种情况发生在scipy.optimize
和GD。inf
提供vt
,对于大C
,vt
增长非常快。我的渐变错了吗?提前谢谢!
答案 0 :(得分:11)
对于scipy.optimize
,您滥用其优化方法。 Newton-CG和BFGS 都假设您的成本函数是平滑的,情况并非如此。如果你使用强大的无梯度方法,比如Nelder-Mead,你会在大多数情况下收敛到正确的位置(我已经尝试过了)。
你的问题在理论上可以通过梯度下降来解决,但只有当你适应非平滑函数时才能解决。目前,您的算法快速接近最优,但是开始跳转而不是收敛,因为大的学习率与渐变的急剧变化相结合,其中成本函数中的最大值从0变为正数:< / p>
每次成本相对于上一次迭代没有降低时,您可以通过降低学习率来平息这些振荡
def train(self):
#----------Optimize using scipy.optimize----------
if self.method=='optimize':
opt=optimize.minimize(self.costFunc,self.theta,args=(self.xdata,self.ydata),\
jac=self.jac,method='BFGS')
self.theta=opt.x
#---------Optimize using Gradient descent---------
elif self.method=='GD':
costs=[]
lr=self.lr
for ii in range(self.n_iter):
dj=self.jac(self.theta,self.xdata,self.ydata)
old_theta = self.theta.copy()
self.theta=self.theta-lr*dj
cii=self.costFunc(self.theta,self.xdata,self.ydata)
# if cost goes up, decrease learning rate and restore theta
if len(costs) > 0 and cii > costs[-1]:
lr *= 0.9
self.theta = old_theta
costs.append(cii)
self.costs=numpy.array(costs)
return self
对代码的这一小修改会带来更好的收敛:
并且在结果参数中非常接近最优参数 - 例如[0.50110433 0.50076661]
或[0.50092616 0.5007394 ]
。
在现代应用(如神经网络)中,这种学习速率的调整是在ADAM等高级梯度下降算法中实现的,它不断跟踪梯度的均值和方差的变化。
<强>更新即可。答案的第二部分涉及代码的secont版本。
关于ADAM。由于行vt
,您爆炸vt=vt/(1-beta2**t)
。您应该仅规范化用于计算梯度步骤的vt的值,而不是用于下一次迭代的值。像这里:
...
mt=beta1*mt_1+(1-beta1)*dj
vt=beta2*vt_1+(1-beta2)*dj**2
mt_temp=mt/(1-beta1**t)
vt_temp=vt/(1-beta2**t)
old_theta=self.theta
self.theta=self.theta-lr*mt_temp/(numpy.sqrt(vt_temp)+epsilon)
mt_1=mt
vt_1=vt
...
关于不稳定。 Nelder-Mead方法和梯度下降都取决于参数的初始值,这是可悲的事实。您可以尝试通过更明智的方式进行更多的GD迭代和渐弱的学习速率,或者通过减少Nelder-Mead方法的xatol
和fatol
等优化参数来提高收敛性。
但是,即使你实现了完美的收敛(在你的情况下像[ 1.81818459 -1.81817712 -4.09093887]
这样的参数值),你也会遇到问题。可以通过以下代码粗略地检查收敛:
print(mysvm.costFunc(numpy.concatenate([mysvm.theta, [mysvm.b]]), mysvm.xdata, mysvm.ydata))
print(mysvm.costFunc(numpy.concatenate([mysvm.theta, [mysvm.b+1e-3]]), mysvm.xdata, mysvm.ydata))
print(mysvm.costFunc(numpy.concatenate([mysvm.theta, [mysvm.b-1e-3]]), mysvm.xdata, mysvm.ydata))
print(mysvm.costFunc(numpy.concatenate([mysvm.theta-1e-3, [mysvm.b]]), mysvm.xdata, mysvm.ydata))
print(mysvm.costFunc(numpy.concatenate([mysvm.theta+1e-3, [mysvm.b]]), mysvm.xdata, mysvm.ydata))
导致
6.7323592305075515
6.7335116664996
6.733895813394582
6.745819882839341
6.741974212439457
如果您更改theta
或任意方向的拦截,您的费用会增加 - 因此,解决方案是最佳的。但是sklearn
的解决方案不是最优的(从mysvm
的角度来看),因为代码
print(mysvm.costFunc(numpy.concatenate([clf.coef_[0], clf.intercept_]), mysvm.xdata, mysvm.ydata))
打印40.31527145374271
!这意味着,您已达到局部最小值,但sklearn
的SVM已将最小化的内容最小化。
如果你是sklearn
read the documentation,你可以找到错误:他们最小化sum(errors) * C + 0.5 * penalty
,你最小化mean(errors) * C + 0.5 * penalty
!这是造成差异的最可能原因。