(Support Vector Machine, SVM)
Note:
- 说明课题: SVM, 本节聚焦线性可分的硬间隔场景.
- 明确目标: 理解最大间隔的选择标准, 能辨认支持向量.
- 引出主问题: 能分开两类样本的直线很多, 如何选择最优的一条?
分类问题
- 根据属性特征区分 ($\textcolor{green}{\bullet}$, $\textcolor{purple}{\times}$):
- 垃圾邮件分类: 正常邮件 ($\textcolor{green}{\bullet}$) & 垃圾邮件 ($\textcolor{purple}{\times}$)
Note:
- 以垃圾邮件识别引入二分类: 正常邮件与垃圾邮件.
- 说明二维特征表示: 推广词数量与超链接数量, 每封邮件对应一个点.
- 对照图例辨认两类样本, 本图采用理想化的线性可分数据, 真实邮件未必如此.
- 引出线性分隔: 二维用直线, 更高维用超平面.
分类问题: 线性可分
Note:
- 确认三种方案都能正确分隔两类样本.
- 提问并短暂停顿: 仅根据分类正确与否, 能否区分方案优劣?
- 指出需要额外的选择标准, 暂不揭示答案.
- 过渡到狐兔情境, 用活动空间建立直觉.
狐兔分隔问题
Note:
- 建立对应: 样本点是固定巢穴, 两类标签是狐兔, 分隔直线是笔直栅栏.
- 说明约束: 两类巢穴位于栅栏两侧, 活动范围不能越过栅栏.
- 说明活动模型: 以巢穴为中心的圆, 用半径衡量活动空间.
- 明确目标: 最大化共同保证的活动半径, 即最大化最小活动半径.
- 提问: 怎样让最受限制的动物也获得更大的活动空间?
狐兔分隔问题: 如何规划出更大的活动半径?
- $② > ①/③$: 分隔 ② 提供更大的最小活动半径
- 最优线性分隔: 最大化狐兔最小活动半径
Note:
- 对固定栅栏, 单个巢穴允许的最大活动半径等于它到栅栏的垂直距离.
- 比较每种方案中最近的巢穴, 以最小距离作为共同活动半径.
- 得出图中方案 ② 优于 ① 和 ③, 比较最小值, 而非平均距离或最大距离.
- 随片段出现引出下一问题: 如何确定最优栅栏的位置和方向?
狐兔分隔问题
Note:
- 固定栅栏方向, 分别找出两侧最近的巢穴.
- 解释两侧最小距离的记号, 距离均按垂直方向测量.
- 两侧距离不等时, 共同活动半径由较小的一侧决定.
- 引导平移: 向距离较大的一侧移动, 较小距离增大, 较大距离减小.
狐兔分隔问题
-
观察一: 最优分隔保证相等的最小活动半径
$$ \min_{i \in \{\text{rabbit}\}} d_i^+ = \min_{j \in \{\text{fox}\}} d_j^- $$
Note:
- 对照平移前后: 两侧最小距离相等时, 该固定方向下的共同活动半径最大.
- 解释公式: 分别在两类巢穴中取最小距离, 再使两个最小值相等.
- 强调相等只是全局最优解的必要条件, 还不能确定最优方向.
- 过渡: 除了平移, 还需要比较不同方向能够达到的共同活动半径.
狐兔分隔问题
Note:
- 从位置调整转向方向比较, 给所有巢穴设置相同的较小活动半径.
- 候选栅栏必须避开所有活动圆, 并将两类巢穴分在两侧.
- 蓝色区域表示候选栅栏位置的示意, 栅栏本身仍是一条直线.
- 观察小半径时存在多种可行方向和位置, 准备扩大活动圆.
狐兔分隔问题
Note:
- 保持同一组巢穴, 增大共同活动半径.
- 对照观察哪些候选栅栏无法避开活动圆, 因而失去可行性.
- 可行方案随半径增大而减少, 同类活动圆重叠不影响狐兔分隔约束.
- 追问: 共同活动半径还能增大到什么程度?
狐兔分隔问题
Note:
- 对照前两页, 展示活动半径继续增大后的极限分隔示意.
- 指出与栅栏相切的活动圆, 它们限制共同半径继续增大.
- 其余巢穴离栅栏更远, 不构成当前最小距离的约束.
- 归纳目标: 在可行分隔中最大化最小垂直距离.
狐兔分隔问题
- 观察二: 逐步增加活动半径, 可设置栅栏区域逐步缩减
- 观察三: 逐步增加活动半径, 真正决定最优分隔的"🦊、🐰" 逐步减少
Note:
- 回顾三个阶段: 共同活动半径增大, 满足要求的候选分隔方案减少.
- 澄清蓝色区域是候选位置示意, 不代表栅栏具有宽度.
- 本例的关注点集中到最近的巢穴, 不将动物数量逐步减少表述为一般规律.
- 所有样本仍需满足分隔约束, 最优方案的边界样本限制间隔大小.
- 引出关键边界样本的名称: 支持向量.
支持向量机: 最优分隔
Note:
- 先辨认实线最优分隔与两侧平行虚线, 虚线为间隔边界.
- 定义支持向量: 硬间隔场景中位于间隔边界上的样本, 对照图中一个狐狸巢穴和两个兔子巢穴.
- 区分单侧与总宽度: 共同活动半径为 γ, 两条间隔边界之间的宽度为 2γ.
- 两种度量对应相同的最优方案, 距离均沿垂直于分隔线的方向测量.
- 对应回分类任务: 正确分隔两类样本, 并最大化最小几何间隔.
课堂小结
-
课后思考: 新增 “🦊、🐰” 最优分隔是否改变. 请给出 “发生改变” 和 “保持不变的例子”.
-
课后练习: 🐰巢穴的位置为: $(1,1), (1,3),(3,1),(0,2)$; 🦊巢穴的位置为: $(4,4),(3,5),(5,5),(6,4)$;
- 在坐标系中标出所有巢穴, 画出使最小活动半径最大的栅栏;
- 标出两侧间隔边界, 写出栅栏及两侧间隔边界的直线方程;
- 求能够共同保证的最大活动半径;
- 指出所有支持向量, 并说明判断依据.
Note:
- 回顾选择标准: 正确分隔两类样本, 并最大化最小垂直距离.
- 回顾推理: 固定方向时平衡两侧距离, 再比较方向, 最后辨认支持向量.
- 提醒两侧距离相等不足以证明全局最优, 支持向量位于间隔边界而非分隔线上.
- 布置思考: 新增巢穴后栅栏和间隔可能改变或不变, 假设新增后仍线性可分.
- 布置练习: 依次完成描点, 分隔与间隔边界, 半径计算, 支持向量辨认, 不公布答案.