形式陈述
给定格 与目标 ,最近向量问题(CVP)要求输出 使
离散性与距离的强制性保证极小值取到,但最近点可以不唯一。对 ,-近似版允许
若 ,右端为零,任何有限因子近似都必须精确返回 ;实现不能用加性误差悄悄替代乘性定义。
目标无需位于格理路欧氏格Euclidean lattice · 几何数论格 · 点格内积空间中由线性无关向量的整数线性组合构成的离散加法子群。的实张成空间。把 作相对于 的正交分解理路正交投影Orthogonal projection把向量映到子空间上最近点并使误差与子空间正交的线性算子。,则
因此最近格点由投影 决定,但报告的环境距离还含固定的垂直分量。计算复杂性版本通常要求 为有理输入,并按完整位长度计费。
直觉
格把空间划分成 Voronoi 区域:每个区域内的目标都由同一格点解码,边界上的目标则可能有多个同距答案。CVP 是判断目标落入哪个平移区域,而不只是把某组基坐标独立舍入。
当基正交时,逐坐标舍入确实最优;基倾斜后,一个方向的舍入会改变另一个方向的残差,独立决策可能失败。Babai 最近平面法借助 Gram–Schmidt 逐层舍入,能给近似保证,却不能在一般基上冒充精确 CVP。
与 SVP 相比,CVP 多了任意目标。令 时最近格点是零,而 SVP 明确寻找非零点,所以“CVP 在零目标上的特例”不是 SVP。二者之间的复杂性归约需要构造额外实例,不能靠这句代入完成。
例子与边界
令 ,。候选 的平方距离为
而 、、 的平方距离依次为 ;其余格点更远,所以唯一最近点是 。若把目标改成 ,四个点 都距其 ,唯一性消失但 CVP 仍有合法答案。
对低秩格 与 ,投影目标是 ,最近格点为 ;实际距离是 ,不是投影线上的 。忽略垂直分量会把近似比与解码噪声尺度都算错。
若已承诺 ,最近点必唯一,问题进入有界距离解码理路格上的有界距离解码Bounded distance decoding · BDD · 格有界距离解码在目标点到格的距离小于最短非零格向量长度的一定比例的承诺下,恢复其唯一最近格点的搜索问题。。等号处不能保证唯一,例如 中 同距于 与 。
推论与应用
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。