Skip to content

线性分类器与几何间隔

Linear classifier · Geometric margin

用仿射超平面分类,并以缩放不变的几何间隔衡量分离余量。

条目类型
定义

形式陈述

两种间隔

仿射超平面视为二分类假设类。对标签 y{1,+1},在内积空间中写

hw,b(x)=sign(w,x+b).

样本 (x,y) 的函数间隔是 y(w,x+b),几何间隔是

γ(x,y)=y(w,x+b)w,

欧氏情形分母为 w2。把 (w,b) 同乘正数会任意放大函数间隔,却不改变分类边界;除以范数后才得到点到超平面的有符号距离。

数据半径 R=maxixi 与最小几何间隔 γ=miniγ(xi,yi) 共同控制 perceptron 和 margin 泛化界,且依赖所选范数。Bias 可通过增广坐标齐次化,但这会改变增广空间的范数与半径,不能静默省略。

直觉

函数间隔随参数单位一起变化,几何间隔则把这份任意缩放除掉,只保留样本到决策面的真实余量。R/γ 因而不是“模型有多少参数”,而是数据尺度、所选范数与分类面共同形成的难度;同一组标签在不同特征缩放下可以有完全不同的 margin 保证。

不可分数据的最小间隔非正,需要 slack、代理损失或只统计多数点的 margin 分布。参数个数相同的两个分隔面可有迥异 margin;几何余量描述数据与规则的配合,不只是类的全局容量。

例子与边界

缩放不变性的直接检验

R2 中取 w=(1,1),b=1。正样本 x=(1,1) 的函数间隔为 1,几何间隔为 1/2;把参数改成 (10w,10b) 后函数间隔变成 10,几何间隔仍为 1/2。这直接检验了为什么不除以范数会得到可任意操纵的“信心”。

若已知 xiR 且存在单位向量以 margin γ>0 分开数据,感知机分析给错误数至多 (R/γ)2:每次错误使参数朝真方向至少前进 γ,参数范数平方却至多增加 R2,再以 Cauchy–Schwarz 比较两种增长。该证明要求可分和正 margin;在含噪样本上原界没有有限结论。

范数决定 margin 的几何。若输入使用 1 范数,则对偶参数范数是 ;欧氏公式中的点到超平面距离不能不加修改地搬过去。特征重缩放同样会改变 Rγ:把某坐标乘一千会改变几何难度,即使可分标签不变,因此预处理属于模型规范的一部分。

推论与应用

Perceptron 算法用正 margin 推出有限错误次数,间隔泛化界R/γ 转成 IID 风险控制,Boosting margin 理论则研究组合分类器在训练样本上的间隔分布。它们共享缩放不变的几何量,却使用不同的信息协议和概率结论。

Margin 与 VC 维回答不同层次。所有仿射半空间的 VC 维只依赖维度,而半径—间隔界会随具体样本的 R/γ 改变;后者可在高维但大间隔数据上更有信息。软间隔 SVM 允许违例并惩罚 slack,不能继续声称最小几何 margin 为正。

参考资料
  • Frank Rosenblatt, “The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain,” Psychological Review 65(6), 1958, pp. 386–408; Albert B. J. Novikoff, “On Convergence Proofs on Perceptrons,” 1962.
  • Shai Shalev-Shwartz and Shai Ben-David, Understanding Machine Learning: From Theory to Algorithms, Cambridge University Press, 2014, Ch. 9.
关系图谱22 个相邻概念 · 1 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组