2.1.2.1 判定型 CVP 与 搜索型 CVP 当判定型CVP在生产环境里“说谎”:一个搜索型CVP实现中被忽略的浮点陷阱与整数格基归一化灾难 凌晨两点十七分,监控告警第三次亮起——某金融风控引擎的“向量距离校验模块”在批量处理高维信用特征向量时,偶发性返回 ,但人工复核发现:该向量明明落在目标格点的 0.87 倍最短距离内。日志里只有一行冰冷的断言失败: 而 是我们引以为傲的、基于 LLL-reduced 基调用 Babai 最近平面算法(Nearest Plane Algorithm)的判定型 CVP 实现。它本该是确定性的、可验证的、数学上无歧义的布尔开关。可它却在凌晨三点的生产集群里,像一个醉汉般反复摇头——明明看见门就在三步外,却坚称“此路不通”。 这不是理论课上的玩具示例。