22、浮点LLL算法：理论与实践方面

浮点LLL算法：理论与实践方面

1. 浮点LLL算法的问题

在使用浮点运算实现LLL算法时，会遇到一些问题：
- 标量积计算不准确 ：当计算两个向量的标量积时，如果先将矩阵元素舍入到双精度，可能会导致计算结果不准确。例如，当$r_{1,1} = 2$，若按上述方式计算$\langle b_2, b_1\rangle$可能会被估计为0，从而使计算得到的$\tilde{\mu} {2,1}$为0，误判基是LLL约化的，但实际上$\mu {2,1} = 240$，这与大小约化条件矛盾。为了测试大小约化条件，可能需要至少与输入矩阵元素位长一样大的精度，这成本很高。
- 大小约化不完全 ：精度可能不足以完全执行大小约化。例如，对于格基$\begin{pmatrix}1 & 2^{54} + 1\0 & 1\end{pmatrix}$，算法计算得到$\tilde{\mu} {2,1} = 2^{54}$，由于真实值的位长太大无法用双精度浮点数存储。尝试对第二个向量进行大小约化$b_2 := b_2 - 2^{54}b_1 = (1, 1)^t$，并检查Lovász条件后终止，但输出基仍未完成大小约化，因为$\mu {2,1} = 1$。这是因为尾数大小太小，无法处理大小约化，可能需要更高的精度或修复程序。
- GSO系数计算精度下降 ：计算GSO系数时，给定的$\tilde{r} {i,j}$是从之前计算的、已经有误差的$\tilde{r} {i,k}$和$\tilde{\mu}_{j,k}$（$k \leq