“BDD 是带承诺的最近向量问题特例:合法输入只覆盖靠近某个格点的目标。承诺通常不要求算法自行验证;对承诺外输入,问题规范可以不规定输出。半径由最短向量尺度归一化,若另用绝对界 $d$ 或 d…”
形式陈述 ​
给定格
离散性与距离的强制性保证极小值取到,但最近点可以不唯一。
若
目标无需位于格的实张成空间。把
因此最近格点由投影
直觉
格把空间划分成 Voronoi 区域:每个区域内的目标都由同一格点解码,边界上的目标则可能有多个同距答案。CVP 是判断目标落入哪个平移区域,而不只是把某组基坐标独立舍入。
当基正交时,逐坐标舍入确实最优;基倾斜后,一个方向的舍入会改变另一个方向的残差,独立决策可能失败。Babai 最近平面法借助 Gram–Schmidt 逐层舍入,能给近似保证,却不能在一般基上冒充精确 CVP。
与 SVP 相比,CVP 多了任意目标。令
例子与边界
令
而
对低秩格
若已承诺
推论与应用
CVP 是格量化与最近格点解码的基本模型。通信中目标可看作“格点加噪声”,正确性取决于噪声是否留在该点的 Voronoi 区域;密码学陷门则力图让持有秘密结构者能在指定半径内高效解码。
精确 CVP、近似 CVP 与有承诺的 BDD 具有不同输入集合和保证。一个算法在小噪声承诺下成功,不意味着它能处理任意目标;反之,一般 CVP 算法当然可用于 BDD,但可能完全没有密码构造要求的效率与失败概率界。
参考资料
- Daniele Micciancio and Shafi Goldwasser, Complexity of Lattice Problems: A Cryptographic Perspective, Kluwer, 2002, Ch. 3。
- László Babai, “On Lovász' Lattice Reduction and the Nearest Lattice Point Problem,” Combinatorica 6, 1986, pp. 1–13。
- Phong Q. Nguyen and Brigitte Vallée (eds.), The LLL Algorithm: Survey and Applications, Springer, 2010, Ch. 2。