跳转至

基本介紹

格定義

格是 m 維歐式空間 R^m 的 n (m\geq n) 個線性無關向量b_i(1\leq i \leq n) 的所有整係數的線性組合,即 L(B)=\{\sum\limits_{i=1}^{n}x_ib_i:x_i \in Z,1\leq i \leq n\}

這裏 B 就是 n 個向量的集合,我們稱

  • 這 n 個向量是格 L 的一組基。
  • 格 L 的秩爲 n。
  • 格 L 的位數爲 m。

如果 m=n,那麼我們稱這個格式滿秩的。

當然,也可以是其它羣,不是 R^m

格中若干基本定義

successive minima

格是 m 維歐式空間 R^m 的秩爲 n 的格,那麼 L 的連續最小長度(successive minima)爲 \lambda_1,...,\lambda_n \in R,滿足對於任意的 1\leq i\leq n\lambda_i 是滿足格中 i 個線性無關的向量v_i||v_j||\leq \lambda_i,1\leq j\leq i 的最小值。

自然的 \lambda_i \leq \lambda_j ,\forall i <j

格中計算困難性問題

最短向量問題(Shortest Vector Problem,SVP):給定格 L 及其基向量 B ,找到格 L 中的非零向量 v 使得對於格中的任意其它非零向量 u,||v|| \leq ||u||

\gamma-近似最短向量問題(SVP-\gamma):給定格 L,找到格 L 中的非零向量 v 使得對於格中的任意其它非零向量 u,||v|| \leq \gamma||u||

連續最小長度問題(Successive Minima Problem, SMP):給定秩爲 n 的格 L,找到格 L 中 n 個線性無關向量 s_i,滿足 \lambda_i(L)=||s_i||, 1\leq i \leq n

最短線性無關向量問題(Shortest Independent Vector Problem, SIVP):給定一個秩爲 n 的格 L,找到格 L 中 n 個線性無關向量 s_i,滿足||s_i|| \leq \lambda_n(L), 1\leq i \leq n

唯一最短向量問題(Unique Shortest Vector Problem, uSVP-\gamma):給定格 L,滿足 $ \lambda_2(L) > \gamma \lambda_1(L)$,找到該格的最短向量。

最近向量問題(Closest Vector Problem,CVP):給定格 L和目標向量 t\in R^m,找到一個格中的非零向量 v,使得對於格中的任意非零向量 u,滿足 ||v-t|| \leq ||u-t||