$$ \left{\begin{array}{ll}{\boldsymbol{w}^{\mathrm{T}} \boldsymbol{x}{i}+b \geqslant+1,} & {y{i}=+1} \ {\boldsymbol{w}^{\mathrm{T}} \boldsymbol{x}{i}+b \leqslant-1,} & {y{i}=-1}\end{array}\right. $$ [推导]:假设这个超平面是$\left(\boldsymbol{w}^{\prime}\right)^{\top} \boldsymbol{x}+b^{\prime}=0$,对于$\left(\boldsymbol{x}{i}, y{i}\right) \in D$,有: $$ \left{\begin{array}{ll}{\left(\boldsymbol{w}^{\prime}\right)^{\top} \boldsymbol{x}{i}+b^{\prime}>0,} & {y{i}=+1} \ {\left(\boldsymbol{w}^{\prime}\right)^{\top} \boldsymbol{x}{i}+b^{\prime}<0,} & {y{i}=-1}\end{array}\right. $$ 根据几何间隔,将以上关系修正为: $$ \left{\begin{array}{ll}{\left(\boldsymbol{w}^{\prime}\right)^{\top} \boldsymbol{x}{i}+b^{\prime} \geq+\zeta,} & {y{i}=+1} \ {\left(\boldsymbol{w}^{\prime}\right)^{\top} \boldsymbol{x}{i}+b^{\prime} \leq-\zeta,} & {y{i}=-1}\end{array}\right. $$ 其中$\zeta$为某个大于零的常数,两边同除以$\zeta$,再次修正以上关系为: $$ \left{\begin{array}{ll}{\left(\frac{1}{\zeta} \boldsymbol{w}^{\prime}\right)^{\top} \boldsymbol{x}{i}+\frac{b^{\prime}}{\zeta} \geq+1,} & {y{i}=+1} \ {\left(\frac{1}{\zeta} \boldsymbol{w}^{\prime}\right)^{\top} \boldsymbol{x}{i}+\frac{b^{\prime}}{\zeta} \leq-1,} & {y{i}=-1}\end{array}\right. $$ 令:$\boldsymbol{w}=\frac{1}{\zeta} \boldsymbol{w}^{\prime}, b=\frac{b^{\prime}}{\zeta}$,则以上关系可写为: $$ \left{\begin{array}{ll}{\boldsymbol{w}^{\top} \boldsymbol{x}{i}+b \geq+1,} & {y{i}=+1} \ {\boldsymbol{w}^{\top} \boldsymbol{x}{i}+b \leq-1,} & {y{i}=-1}\end{array}\right. $$
$$ L(\boldsymbol{w}, b, \boldsymbol{\alpha})=\frac{1}{2}|\boldsymbol{w}|^{2}+\sum{i=1}^{m} \alpha{i}\left(1-y{i}\left(\boldsymbol{w}^{\top} \boldsymbol{x}{i}+b\right)\right) $$
待求目标:$\min _{\boldsymbol{x}} f(\boldsymbol{x}),$$\qquad s.t. \ \ \ $$\boldsymbol{h}(\boldsymbol{x})=0, \boldsymbol{g}(\boldsymbol{x}) \leq 0$
等式约束和不等式约束:$h(x)=0, g(x) \leq 0$分别是由个等式方程和个不等式方程组成的方程组。
拉格朗日乘子:$\boldsymbol{\lambda}=\left(\lambda{1}, \lambda{2}, \ldots, \lambda{m}\right)$ $\qquad\boldsymbol{\mu}=\left(\mu{1}, \mu{2}, \ldots, \mu{n}\right)$
拉格朗日函数:$L(\boldsymbol{x}, \boldsymbol{\lambda}, \boldsymbol{\mu})=f(\boldsymbol{x})+\boldsymbol{\lambda} \boldsymbol{h}(\boldsymbol{x})+\boldsymbol{\mu} \boldsymbol{g}(\boldsymbol{x})$
$$\begin{aligned} w &= \sum_{i=1}^m\alpha_iy_i\boldsymbol{x}i \ 0 &=\sum{i=1}^m\alpha_iyi \end{aligned}$$ [推导]:式(6.8)可作如下展开: $$\begin{aligned} L(\boldsymbol{w},b,\boldsymbol{\alpha}) &= \frac{1}{2}||\boldsymbol{w}||^2+\sum{i=1}^m\alpha_i(1-y_i(\boldsymbol{w}^T\boldsymbol{x}i+b)) \ & = \frac{1}{2}||\boldsymbol{w}||^2+\sum{i=1}^m(\alpha_i-\alpha_iy_i \boldsymbol{w}^T\boldsymbol{x}_i-\alpha_iyib)\ & =\frac{1}{2}\boldsymbol{w}^T\boldsymbol{w}+\sum{i=1}^m\alphai -\sum{i=1}^m\alpha_iy_i\boldsymbol{w}^T\boldsymbol{x}i-\sum{i=1}^m\alpha_iy_ib \end{aligned}$$ 对$\boldsymbol{w}$和$b$分别求偏导数并令其等于0:
$$\frac {\partial L}{\partial \boldsymbol{w}}=\frac{1}{2}\times2\times\boldsymbol{w} + 0 - \sum_{i=1}^{m}\alpha_iy_i \boldsymbol{x}i-0= 0 \Longrightarrow \boldsymbol{w}=\sum{i=1}^{m}\alpha_iy_i \boldsymbol{x}_i$$
$$\frac {\partial L}{\partial b}=0+0-0-\sum_{i=1}^{m}\alpha_iyi=0 \Longrightarrow \sum{i=1}^{m}\alpha_iy_i=0$$
$$\begin{aligned}
\max{\boldsymbol{\alpha}} & \sum{i=1}^m\alphai - \frac{1}{2}\sum{i = 1}^m\sum_{j=1}^m\alpha_i \alpha_j y_iy_j\boldsymbol{x}_i^T\boldsymbol{x}j \
s.t. & \sum{i=1}^m \alpha_i y_i =0 \
& \alphai \geq 0 \quad i=1,2,\dots ,m
\end{aligned}$$
[推导]:将式 (6.9)代人 (6.8) ,即可将$L(\boldsymbol{w},b,\boldsymbol{\alpha})$ 中的 $\boldsymbol{w}$ 和 $b$ 消去,再考虑式 (6.10) 的约束,就得到式 (6.6) 的对偶问题:
$$\begin{aligned}
\min{\boldsymbol{w},b} L(\boldsymbol{w},b,\boldsymbol{\alpha}) &=\frac{1}{2}\boldsymbol{w}^T\boldsymbol{w}+\sum_{i=1}^m\alphai -\sum{i=1}^m\alpha_iy_i\boldsymbol{w}^T\boldsymbol{x}i-\sum{i=1}^m\alpha_iy_ib \
&=\frac {1}{2}\boldsymbol{w}^T\sum _{i=1}^m\alpha_iy_i\boldsymbol{x}_i-\boldsymbol{w}^T\sum _{i=1}^m\alpha_iy_i\boldsymbol{x}_i+\sum {i=1}^m\alpha
i -b\sum _{i=1}^m\alpha_iy_i \
& = -\frac {1}{2}\boldsymbol{w}^T\sum _{i=1}^m\alpha_iy_i\boldsymbol{x}_i+\sum _{i=1}^m\alpha_i -b\sum _{i=1}^m\alpha_iyi
\end{aligned}$$
又$\sum\limits{i=1}^{m}\alpha_iyi=0$,所以上式最后一项可化为0,于是得:
$$\begin{aligned}
\min{\boldsymbol{w},b} L(\boldsymbol{w},b,\boldsymbol{\alpha}) &= -\frac {1}{2}\boldsymbol{w}^T\sum _{i=1}^m\alpha_iy_i\boldsymbol{x}_i+\sum _{i=1}^m\alphai \
&=-\frac {1}{2}(\sum{i=1}^{m}\alpha_iy_i\boldsymbol{x}_i)^T(\sum _{i=1}^m\alpha_iy_i\boldsymbol{x}_i)+\sum _{i=1}^m\alphai \
&=-\frac {1}{2}\sum{i=1}^{m}\alpha_iy_i\boldsymbol{x}_i^T\sum _{i=1}^m\alpha_iy_i\boldsymbol{x}_i+\sum _{i=1}^m\alpha_i \
&=\sum _{i=1}^m\alphai-\frac {1}{2}\sum{i=1 }^{m}\sum_{j=1}^{m}\alpha_i\alpha_jy_iy_j\boldsymbol{x}_i^T\boldsymbol{x}j
\end{aligned}$$
所以
$$\max{\boldsymbol{\alpha}}\min{\boldsymbol{w},b} L(\boldsymbol{w},b,\boldsymbol{\alpha}) =\max{\boldsymbol{\alpha}} \sum_{i=1}^m\alphai - \frac{1}{2}\sum{i = 1}^m\sum_{j=1}^m\alpha_i \alpha_j y_iy_j\boldsymbol{x}_i^T\boldsymbol{x}_j $$
$$ C=\alpha_i +\mu_i $$
[推导]:对式(6.36)关于$\xi_i$求偏导并令其等于0可得:
$$\frac{\partial L}{\partial \xi_i}=0+C \times 1 - \alpha_i \times 1-\mu_i
\times 1 =0\Longrightarrow C=\alpha_i +\mu_i$$
$$\begin{aligned}
\max_{\boldsymbol{\alpha}}&\sum _{i=1}^m\alphai-\frac {1}{2}\sum{i=1 }^{m}\sum_{j=1}^{m}\alpha_i\alpha_jy_iy_j\boldsymbol{x}_i^T\boldsymbol{x}j \
s.t. &\sum{i=1}^m \alpha_i y_i=0 \
& 0 \leq\alphai \leq C \quad i=1,2,\dots ,m
\end{aligned}$$
将式6.37-6.39代入6.36可以得到6.35的对偶问题:
$$\begin{aligned}
\min{\boldsymbol{w},b,\boldsymbol{\xi}}L(\boldsymbol{w},b,\boldsymbol{\alpha},\boldsymbol{\xi},\boldsymbol{\mu}) &= \frac{1}{2}||\boldsymbol{w}||^2+C\sum_{i=1}^m \xii+\sum{i=1}^m \alpha_i(1-\xi_i-y_i(\boldsymbol{w}^T\boldsymbol{x}i+b))-\sum{i=1}^m\mu_i \xii \
&=\frac{1}{2}||\boldsymbol{w}||^2+\sum{i=1}^m\alpha_i(1-y_i(\boldsymbol{w}^T\boldsymbol{x}i+b))+C\sum{i=1}^m \xii-\sum{i=1}^m \alpha_i \xii-\sum{i=1}^m\mu_i \xii \
& = -\frac {1}{2}\sum{i=1}^{m}\alpha_iy_i\boldsymbol{x}_i^T\sum _{i=1}^m\alpha_iy_i\boldsymbol{x}_i+\sum _{i=1}^m\alphai +\sum{i=1}^m C\xii-\sum{i=1}^m \alpha_i \xii-\sum{i=1}^m\mu_i \xii \
& = -\frac {1}{2}\sum{i=1}^{m}\alpha_iy_i\boldsymbol{x}_i^T\sum _{i=1}^m\alpha_iy_i\boldsymbol{x}_i+\sum _{i=1}^m\alphai +\sum{i=1}^m (C-\alpha_i-\mu_i)\xi_i \
&=\sum _{i=1}^m\alphai-\frac {1}{2}\sum{i=1 }^{m}\sum_{j=1}^{m}\alpha_i\alpha_jy_iy_j\boldsymbol{x}_i^T\boldsymbol{x}j
\end{aligned}$$
所以
$$\begin{aligned}
\max{\boldsymbol{\alpha},\boldsymbol{\mu}} \min{\boldsymbol{w},b,\boldsymbol{\xi}}L(\boldsymbol{w},b,\boldsymbol{\alpha},\boldsymbol{\xi},\boldsymbol{\mu})&=\max{\boldsymbol{\alpha},\boldsymbol{\mu}}\sum _{i=1}^m\alphai-\frac {1}{2}\sum{i=1 }^{m}\sum_{j=1}^{m}\alpha_i\alpha_jy_iy_j\boldsymbol{x}_i^T\boldsymbol{x}j \
&=\max{\boldsymbol{\alpha}}\sum _{i=1}^m\alphai-\frac {1}{2}\sum{i=1 }^{m}\sum_{j=1}^{m}\alpha_i\alpha_jy_iy_j\boldsymbol{x}_i^T\boldsymbol{x}_j
\end{aligned}$$
又
$$\begin{aligned}
\alpha_i &\geq 0 \
\mu_i &\geq 0 \
C &= \alpha_i+\mu_i
\end{aligned}$$
消去$\mu_i$可得等价约束条件为:
$$0 \leq\alpha_i \leq C \quad i=1,2,\dots ,m$$