第6章 支持向量机
覆盖间隔、对偶、核函数、软间隔、支持向量回归与核方法；用数据协议、单故障轨迹和模型验收门完成独立复核。
学习目标
- 能说明“第6章 支持向量机”如何覆盖间隔、对偶、核函数、软间隔、支持向量回归与核方法，并把原版范围、技术核验和现代扩展分层
- 能先预测“怎样从几何间隔构造约束优化，并证明核矩阵、支持向量和正则选择没有越界？”的数据与模型路径，再用切分、状态、轨迹和独立评估复核
- 能注入“在全量含测试样本的数据上估计尺度与核宽度，导致间隔评估虚高”，用“特征尺度、核、超参数搜索域、对偶约束、训练索引和模型选择折固定”决定接受、降级或拒绝实验结论
为什么从这个学习实验开始
支持向量机页把决策边界还原为带约束的优化与核矩阵证据。 “第6章 支持向量机”的贯穿任务是：对非线性西瓜边界比较线性核与RBF核，检查支持向量和软间隔违约。 操作前先写下哪个数据角色、模型状态或评估结论会变化；运行后补理由不算预测。
本页围绕“怎样从几何间隔构造约束优化，并证明核矩阵、支持向量和正则选择没有越界？”建立基线、故障与恢复路径。只有“第6章 支持向量机”守住“特征尺度、核、超参数搜索域、对偶约束、训练索引和模型选择折固定”并交付缩放统计、核定义、Gram矩阵、C与核宽度搜索、拉格朗日乘子、KKT残差、支持向量和外推样本。，分数或图形才构成机器学习证据。
书目、128个原版层级与版本边界
“第6章 支持向量机”以清华大学出版社官方书页核对周志华著《机器学习》于2016年出版、425页、ISBN 9787302423287和全书16章的三部分结构，同时以作者官方书页确认这是一部16章、每章6至7节且持续公开勘误的入门教科书，再以作者官方目录PDF逐项核对16章、108个编号小节和附录A/B/C，因此本站覆盖分母计入16个章标题、108个编号小节、附录标题及A/B/C，共128个正式目录层级。
“第6章 支持向量机”未取得原书完整正文，只以作者与出版社目录限定范围；中文解释、交互、实验、练习与答案均为独立教学重写。核技巧表示内积计算；它不意味着任意相似度都自动对应合法核。
本页另以技术核对 1、技术核对 2、技术核对 3核对算法机制、评估协议或数学工具。外部资料能验证技术事实，不能反向证明原书正文采用了本站表述。
原版目录层级与学习机制
第6章 支持向量机
↡支持向量机对应原版目录坐标“第6章 支持向量机”，在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，并受数据角色、模型假设、评估时机与版本边界约束。原版坐标 1/8。 在“第6章 支持向量机”的坐标1中，目录项「第6章 支持向量机」用于把几何间隔转换为约束优化并通过核计算内积；先冻结数据角色，再以尺度、Gram矩阵、乘子、KKT残差与支持向量复核，出现核参数或尺度在测试样本上拟合时撤回结论。
6.1 间隔与支持向量
↡间隔对应原版目录坐标“6·1 间隔与支持向量”，在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，并受数据角色、模型假设、评估时机与版本边界约束。原版坐标 2/8。 目录项「6·1 间隔与支持向量」进入“第6章 支持向量机”后要回答第2个学习问题：它怎样把几何间隔转换为约束优化并通过核计算内积、改变什么模型状态、由哪些尺度、Gram矩阵、乘子、KKT残差与支持向量证明，并如何排除核参数或尺度在测试样本上拟合。
6.2 对偶问题
↡对偶问题对应原版目录坐标“6·2 对偶问题”，在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，并受数据角色、模型假设、评估时机与版本边界约束。原版坐标 3/8。 围绕“怎样从几何间隔构造约束优化，并证明核矩阵、支持向量和正则选择没有越界？”，在“第6章 支持向量机”的原版层级3把「6·2 对偶问题」落实为把几何间隔转换为约束优化并通过核计算内积；复核者先读取尺度、Gram矩阵、乘子、KKT残差与支持向量，不能接受核参数或尺度在测试样本上拟合。
6.3 核函数
↡核函数对应原版目录坐标“6·3 核函数”，在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，并受数据角色、模型假设、评估时机与版本边界约束。原版坐标 4/8。 对“第6章 支持向量机”而言，目录项「6·3 核函数」的最小实验合同是把几何间隔转换为约束优化并通过核计算内积，第4次检查保存尺度、Gram矩阵、乘子、KKT残差与支持向量；若产生核参数或尺度在测试样本上拟合，就返回上游。
6.4 软间隔与正则化
↡软间隔对应原版目录坐标“6·4 软间隔与正则化”，在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，并受数据角色、模型假设、评估时机与版本边界约束。原版坐标 5/8。 第5个正式坐标「6·4 软间隔与正则化」服务于覆盖间隔、对偶、核函数、软间隔、支持向量回归与核方法，需要以尺度、Gram矩阵、乘子、KKT残差与支持向量呈现把几何间隔转换为约束优化并通过核计算内积；核参数或尺度在测试样本上拟合会破坏“特征尺度、核、超参数搜索域、对偶约束、训练索引和模型选择折固定”。
6.5 支持向量回归
↡支持向量回归对应原版目录坐标“6·5 支持向量回归”，在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，并受数据角色、模型假设、评估时机与版本边界约束。原版坐标 6/8。 在“第6章 支持向量机”的坐标6中，目录项「6·5 支持向量回归」用于把几何间隔转换为约束优化并通过核计算内积；先冻结数据角色，再以尺度、Gram矩阵、乘子、KKT残差与支持向量复核，出现核参数或尺度在测试样本上拟合时撤回结论。
6.6 核方法
↡核方法对应原版目录坐标“6·6 核方法”，在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，并受数据角色、模型假设、评估时机与版本边界约束。原版坐标 7/8。 目录项「6·6 核方法」进入“第6章 支持向量机”后要回答第7个学习问题：它怎样把几何间隔转换为约束优化并通过核计算内积、改变什么模型状态、由哪些尺度、Gram矩阵、乘子、KKT残差与支持向量证明，并如何排除核参数或尺度在测试样本上拟合。
6.7 阅读材料
↡阅读材料对应原版目录坐标“6·7 阅读材料”，在“第6章 支持向量机”中用于把本章结论连接到可追溯的进阶路线与原始资料，并受数据角色、模型假设、评估时机与版本边界约束。原版坐标 8/8。 围绕“怎样从几何间隔构造约束优化，并证明核矩阵、支持向量和正则选择没有越界？”，在“第6章 支持向量机”的原版层级8把「6·7 阅读材料」落实为把本章结论连接到可追溯的进阶路线与原始资料；复核者先读取问题清单、前置假设、来源版本与可复现实验入口，不能接受只堆链接而不说明验证对象。
先预测，再操作三个章专属实验
1. 数据角色与模型协议
固定“对非线性西瓜边界比较线性核与RBF核，检查支持向量和软间隔违约。”，在基线与反例间切换，逐阶段查看“尺度与样本、间隔原问题、对偶与核、软间隔求解、支持向量复核”允许的输入、操作、输出和证据。
数据与模型协议
选择实验，再逐阶段检查信息边界
怎样从几何间隔构造约束优化，并证明核矩阵、支持向量和正则选择没有越界？
实验设置
对非线性西瓜边界比较线性核与RBF核，检查支持向量和软间隔违约。 固定数据版本、实体切分、流水线、预算和随机种子。
预期结果
沿“尺度与样本 → 间隔原问题 → 对偶与核 → 软间隔求解 → 支持向量复核”得到可重放结论。
适用边界
全过程保持“特征尺度、核、超参数搜索域、对偶约束、训练索引和模型选择折固定”。
允许输入
第6章 支持向量机：冻结版本、实体与样本角色，不得越过样本角色
本阶段操作
只读取任务允许的信息，并持续满足“特征尺度、核、超参数搜索域、对偶约束、训练索引和模型选择折固定”
阶段输出
尺度与样本产生可追踪输入状态
复核证据
可追踪输入状态、索引和版本；出现“在全量含测试样本的数据上估计尺度与核宽度，导致间隔评估虚高”时拒绝推进
原版坐标：第6章 支持向量机、6.1 间隔与支持向量、6.2 对偶问题、6.3 核函数、6.4 软间隔与正则化、6.5 支持向量回归、6.6 核方法、6.7 阅读材料
第6章 支持向量机的可重放研究协议
| 阶段 | 允许动作 | 必留证据 | 拒绝条件 |
|---|---|---|---|
| 尺度与样本 | 在“第6章 支持向量机”执行尺度与样本，只读取该角色允许的信息 | 任务、版本、实体与切分哈希 | 角色或来源不可追溯 |
| 间隔原问题 | 在“第6章 支持向量机”执行间隔原问题，只读取该角色允许的信息 | 表示、参数、轨迹、候选比较与选择理由 | 在全量含测试样本的数据上估计尺度与核宽度，导致间隔评估虚高 |
| 对偶与核 | 在“第6章 支持向量机”执行对偶与核，只读取该角色允许的信息 | 表示、参数、轨迹、候选比较与选择理由 | 在全量含测试样本的数据上估计尺度与核宽度，导致间隔评估虚高 |
| 软间隔求解 | 在“第6章 支持向量机”执行软间隔求解，只读取该角色允许的信息 | 表示、参数、轨迹、候选比较与选择理由 | 在全量含测试样本的数据上估计尺度与核宽度，导致间隔评估虚高 |
| 支持向量复核 | 在“第6章 支持向量机”执行支持向量复核，只读取该角色允许的信息 | 封存指标、错误样本、复现与边界 | 测试被复用或无法重放 |
unit: "mlw-06"
question: "怎样从几何间隔构造约束优化，并证明核矩阵、支持向量和正则选择没有越界？"
scenario: "对非线性西瓜边界比较线性核与RBF核，检查支持向量和软间隔违约。"
stages: ["尺度与样本", "间隔原问题", "对偶与核", "软间隔求解", "支持向量复核"]
invariant: "特征尺度、核、超参数搜索域、对偶约束、训练索引和模型选择折固定"
fault: "在全量含测试样本的数据上估计尺度与核宽度，导致间隔评估虚高"
evidence: "缩放统计、核定义、Gram矩阵、C与核宽度搜索、拉格朗日乘子、KKT残差、支持向量和外推样本。"
reset: restore_experiment_stage_trace_mode_step_gates_and_artifact该协议要求“第6章 支持向量机”在相同任务、数据版本、实体切分、流水线、预算和种子下重放。重置后若实验、阶段、轨迹模式、步骤、验收门或复核包没有回到基线，交互状态已经污染比较。
本页回顾
掌握“第6章 支持向量机”不是背诵算法名，而是能围绕“怎样从几何间隔构造约束优化，并证明核矩阵、支持向量和正则选择没有越界？”重建数据与模型证据，并用“特征尺度、核、超参数搜索域、对偶约束、训练索引和模型选择折固定”拒绝“在全量含测试样本的数据上估计尺度与核宽度，导致间隔评估虚高”。最终交付为缩放统计、核定义、Gram矩阵、C与核宽度搜索、拉格朗日乘子、KKT残差、支持向量和外推样本。
练习与答案
练习
- 问题 1：实验合同。 “第6章 支持向量机”为什么必须先冻结任务、数据版本、实体切分、流水线、预算和种子？
- 问题 2：目录逐项覆盖。 怎样证明原版目录坐标已经进入机制、交互和练习？
- 问题 3：故障恢复。 怎样证明“在全量含测试样本的数据上估计尺度与核宽度，导致间隔评估虚高”已经被修正？
名词解释
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 支持向量机
检索键 ml-A 对应目录坐标「第6章 支持向量机」；在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，需要连接原版范围、数据角色、模型状态与独立证据。
- 间隔
检索键 ml-B 对应目录坐标「6·1 间隔与支持向量」；在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，需要连接原版范围、数据角色、模型状态与独立证据。
- 对偶问题
检索键 ml-C 对应目录坐标「6·2 对偶问题」；在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，需要连接原版范围、数据角色、模型状态与独立证据。
- 核函数
检索键 ml-D 对应目录坐标「6·3 核函数」；在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，需要连接原版范围、数据角色、模型状态与独立证据。
- 软间隔
检索键 ml-E 对应目录坐标「6·4 软间隔与正则化」；在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，需要连接原版范围、数据角色、模型状态与独立证据。
- 支持向量回归
检索键 ml-F 对应目录坐标「6·5 支持向量回归」；在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，需要连接原版范围、数据角色、模型状态与独立证据。
- 核方法
检索键 ml-G 对应目录坐标「6·6 核方法」；在“第6章 支持向量机”中用于把几何间隔转换为约束优化并通过核计算内积，需要连接原版范围、数据角色、模型状态与独立证据。
- 阅读材料
检索键 ml-H 对应目录坐标「6·7 阅读材料」；在“第6章 支持向量机”中用于把本章结论连接到可追溯的进阶路线与原始资料，需要连接原版范围、数据角色、模型状态与独立证据。