Skip to content

最近向量问题

Closest vector problem · CVP · 格最近向量问题

给定格基和目标点,寻找与目标欧氏距离最小的格点。

条目类型
模型

形式陈述

给定格 Λ=L(B)Rn 与目标 tRn最近向量问题(CVP)要求输出 vΛ 使

tv2=dist(t,Λ):=minxΛtx2.

离散性与距离的强制性保证极小值取到,但最近点可以不唯一。γ-近似版允许

tv2γ(k)dist(t,Λ).

tΛ,右端为零,任何有限因子近似都必须精确返回 t;实现不能用加性误差悄悄替代乘性定义。

目标无需位于的实张成空间。把 t=t+t 作相对于 VΛ 的正交分解,则

tv22=tv22+t22.

因此最近格点由投影 t 决定,但报告的环境距离还含固定的垂直分量。计算复杂性版本通常要求 B,t 为有理输入,并按完整位长度计费。

直觉

格把空间划分成 Voronoi 区域:每个区域内的目标都由同一格点解码,边界上的目标则可能有多个同距答案。CVP 是判断目标落入哪个平移区域,而不只是把某组基坐标独立舍入。

当基正交时,逐坐标舍入确实最优;基倾斜后,一个方向的舍入会改变另一个方向的残差,独立决策可能失败。Babai 最近平面法借助 Gram–Schmidt 逐层舍入,能给近似保证,却不能在一般基上冒充精确 CVP。

与 SVP 相比,CVP 多了任意目标。令 t=0 时最近格点是零,而 SVP 明确寻找非零点,所以“CVP 在零目标上的特例”不是 SVP。二者之间的复杂性归约需要构造额外实例,不能靠这句代入完成。

例子与边界

Λ=2Z2t=(1.1,2.9)。候选 (2,2) 的平方距离为

(1.12)2+(2.92)2=1.62,

(0,2)(2,4)(0,4) 的平方距离依次为 2.02,2.02,2.42;其余格点更远,所以唯一最近点是 (2,2)。若把目标改成 (1,1),四个点 (0,0),(2,0),(0,2),(2,2) 都距其 2,唯一性消失但 CVP 仍有合法答案。

对低秩格 Λ=Z(1,0)R2t=(0.4,5),投影目标是 (0.4,0),最近格点为 (0,0);实际距离是 0.42+25,不是投影线上的 0.4。忽略垂直分量会把近似比与解码噪声尺度都算错。

若已承诺 dist(t,Λ)<λ1(Λ)/2,最近点必唯一,问题进入有界距离解码。等号处不能保证唯一,例如 Zt=1/2 同距于 01

推论与应用

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。
关系图谱5 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

暂未标注直接上位概念。

下位 / 直接特例