2.1.1.2 间隙 SVP (GapSVP)

文档摘要

2.1.1.2 间隙 SVP (GapSVP) GapSVP 的“精度悬崖”：当 LLL 遇上 Gap 参数 γ，为什么你的 SVP 求解器总在 γ=1.001 处突然失效？——一个被教科书忽略的浮点陷阱与三行修复代码你有没有遇到过这样的时刻？凌晨两点十七分，你刚把一个精心调参的格基约化流程跑完，输入是 64 维、行列式约 $2^{128}$ 的随机整数格 $\mathcal{L} \subset \mathbb{Z}^{64}$，目标是验证 $\text{GapSVP}\gamma$ 是否成立：即判断 $\lambda1(\mathcal{L}) \leq 1$ 还是 $\lambda1(\mathcal{L}) > \gamma$。你设 $\gamma = 1.