待验证50% 置信事实精确时间
L2约简（浮点LLL）由Phong Q. Nguyen和Damien Stehlé提出，其论文《Floating-Point LLL Revisited》于2005年发表
1
来源数
50%
置信度
长期有效
时效性
2026/8/4
首次发现
来源
相关事实
待验证Nguyen和Stehlé证明只要浮点精度满足与维度相关的下界（约O(n)位浮点尾数精度），就能保证LLL算法每一步判断正确58% 相似已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例57% 相似待验证数学家Jaeger在1985年证明了循环双覆盖猜想的弱化版本「5-环覆盖猜想」56% 相似待验证LLL算法以其发明者Lenstra、Lenstra和Lovász命名，于1982年提出，能在多项式时间内找到一组约简基52% 相似待验证检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法50% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/683649API
curl https://kongchang.com/api/v1/knowledge/claims/683649MCP
get_claim(id=683649)