HNSW 向量索引的原理是什么？efSearch 和 M 如何权衡？
简化版
HNSW 是一种基于多层近邻图的近似最近邻（ANN）索引：上层节点少、负责快速远距离跳转，下层节点多、负责局部精细搜索（像高速公路 + 城市道路）。三个关键参数：M（每个节点的连接数）、efConstruction（建索引时的候选范围）、efSearch（查询时的搜索宽度）。参数越大通常召回越高，但内存、构建或查询成本也越高。它返回的是近似结果，不保证和暴力搜索完全一致。
详细版
HNSW 是向量空间里的「多层导航图」：
- 每个向量随机进入某个最高层；
- 高层稀疏长距离连接，底层含全部节点；
- 查询从最高层入口贪心移向更近节点；
- 逐层下降，在底层维护候选集合，返回 Top-k。
| 参数 | 控制 | 增大的影响 |
|---|---|---|
| M | 每节点邻居数 | 召回↑、内存↑ |
| efConstruction | 建图候选数 | 索引质量↑、建库慢 |
| efSearch | 查询候选数 | 召回↑、延迟↑ |
完整版教学
一、为什么不能总做暴力搜索
精确搜索要把查询向量和库中每个向量算距离：
100 万文档、每次查询 → 100 万次距离计算 → 太慢
1000 万、1 亿文档 → 完全不可行复杂度随数据量线性增长。ANN（近似最近邻）用少量召回损失换大幅速度提升，HNSW 是最常用的方案之一。
二、多层图如何加速（高速公路类比）
HNSW 的层级像高速公路 + 城市道路：
Layer 2（稀疏，长跳）： A ────────── B ────────── C ← 快速接近目标区域
Layer 1（较密）： A─a─b─B─c─d─C
Layer 0（全部节点，最密）：所有点都在，逐点精细搜索
查询：从顶层入口贪心移动 → 逐层下降 → 底层精搜 → Top-k「Small World」强调图上路径短，「Hierarchical Navigable」强调多层可导航。随机层高让少数节点成为上层枢纽，大多数节点只在底层。查询无需访问所有节点，只沿有希望的路径前进。
三、efSearch：查询时愿意多绕多少路
到底层后维护一个动态候选队列，efSearch 决定保留多少候选：
efSearch 太小 → 过早停在局部区域 → 可能漏掉真正最近的（召回低）
efSearch 增大 → 探索更多分支 → 召回↑，但延迟↑
efSearch 必须 ≥ 所需结果数 k好处：efSearch 是在线参数，可按请求动态调——高准确率任务用大值，低延迟任务用小值。
四、M：路网密度
M 是每个节点保留的邻居数：
M 大：每节点连接多 → 图更易跨越"局部空洞" → 召回↑，但邻接表占更多内存、搜索检查更多边
M 小：连通性不足 → 可能困在局部 → 召回↓
M 过大：收益递减对高维、复杂数据，较大 M 通常更稳健。不同实现对底层/上层连接数规则不同。
五、efConstruction 和 efSearch 别混淆（关键区分）
这是高频考点：
efConstruction：只影响【建库阶段】——插入新节点时搜索邻居的充分程度
→ 决定"图的质量"，建好后无法靠调 efSearch 完全弥补低质量建图
efSearch： 【在线查询】参数，可随延迟预算随时调维护提醒：数据/距离函数/Embedding 模型变了通常要重建索引；频繁删除更新会产生墓碑、图质量下降。
六、常见误区与追问
- 误区：HNSW 返回精确最近邻。 是近似结果，不保证和暴力搜索一致，要测 Recall@k。
- 误区：efSearch 调大能弥补建图质量差。 不能，建图质量由 efConstruction 决定，建好后补不回来。
- 误区：M 越大越好。 召回↑但内存和搜索成本↑，且收益递减，过大不划算。
- 误区：向量索引能修复检索质量。 HNSW 只优化「近邻搜索速度」，修不了 Embedding 不懂业务或切块错误。
- 追问：M、efConstruction、efSearch 各控什么？ M=路网密度（内存/召回）、efConstruction=建图质量（离线）、efSearch=查询搜索宽度（在线延迟/召回）。
- 追问：为什么用 ANN 不用暴力搜索？ 暴力搜索复杂度随数据量线性增长，百万级以上太慢；ANN 用少量召回损失换大幅提速。
- 追问：带权限/时间过滤为什么让 ANN 变难？ 先搜后过滤可能 Top-k 全被删；过滤后图太稀导航变差，需预过滤/后过滤/扩大候选/分区建索引。
- 追问：怎么调参？ 先用部分数据暴力搜索得真值邻居，测 HNSW 的 Recall@k，逐步调 M/efConstruction/efSearch，记录索引大小/构建时间/尾延迟，最终测下游答案。
七、加强记忆
HNSW 像分层道路网：上层高速路快速接近目标，底层街道精细寻找。三参数钉死——M 决定路网密度（内存/召回）、efConstruction 决定”修路时多认真”（离线建图质量，事后补不回）、efSearch 决定”查询时愿意多绕多少路”（在线延迟/召回，可动态调）。核心认知：它返回近似结果（要测 Recall@k）、只优化搜索速度（修不了 Embedding 和切块问题）、带过滤会让 ANN 变难。调参靠暴力搜索的真值邻居做基准。