待验证50% 置信事实精确时间

两组基B和B'生成同一个格当且仅当存在幺模矩阵U使得B'=UB

1

来源数

50%

置信度

长期有效

时效性

2026/8/5

首次发现

来源

L2约简算法详解：Python实现二次复杂度LLL格约简

相关事实

待验证C标准中的未定义行为（UB）涵盖有符号整数溢出、空指针解引用、越界数组访问等操作，C标准对其结果不作任何保证57% 相似待验证格是由一组线性无关的基向量通过整数线性组合所张成的离散点集合51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/690288

API

curl https://kongchang.com/api/v1/knowledge/claims/690288

MCP

get_claim(id=690288)