17、格基规约算法：LLL 及其变体的深入解析

格基规约算法：LLL 及其变体的深入解析

1. 浮点数运算与格基规约基础

在浮点数运算中，对于近似运算 (f l(N_a \circ N_b))，其误差幅度受 (2^{-t}) 限制，即 (\frac{|f l(N_a \circ N_b) - N_a \circ N_b|}{|N_a \circ N_b|} \leq 2^{-t})。若 (|N_a \circ N_b| > 2^{2s}) 或 (|N_a \circ N_b| < 2^{-2s})，则 (f l(N_a \circ N_b)) 会因溢出或下溢而无定义。通常要求 (2s \leq t^2)，即 (s \leq 2 \log_2 t)，为简便起见，我们将浮点数的位长等同于 (t)，忽略次要的 ((s + 2)) 部分。在浮点数运算下的 Householder 正交化（HO）中，我们使用近似向量 (\hat{h}_l)，(\hat{r}_l \in FL^m_t) 以及精确基向量 (b_l \in \mathbb{Z}^m)。

2. 标准格基规约

• 大小规约（Size - Reduction） ：对于格基 (B = QR \in \mathbb{R}^{m \times n})，若对于所有 (j > i) 满足 (\frac{|r_{i,j}|}{r_{i,i}} \leq \frac{1}{2} + \epsilon)，则称该格基是大小规约的（有时忽略 (\epsilon)）。
• LLL 规约（LLL - Reduction） ：对于 (\delta \in (\gamma^2, 1]