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

差分启发式的理论基础是三角不等式：对于三个点A、B、L，有|dist(A,L) - dist(B,L)| <= dist(A,B)

1

来源数

50%

置信度

长期有效

时效性

2026/8/10

首次发现

来源

差分启发式：用地标预计算优化A*算法搜索效率

相关事实

待验证链式法则是微积分中复合函数求导的基本定理：若 y=f(g(x))，则 dy/dx = f'(g(x))·g'(x)62% 相似待验证陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理61% 相似待验证Cayley变换通过反对称矩阵A（A^T=-A）用 Q=(I-A)(I+A)^{-1} 生成正交矩阵，将约束优化转化为无约束优化60% 相似待验证同一阶数l的2l+1个球谐函数共同构成SO(3)群的一个不可约表示59% 相似待验证在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/722578

API

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

MCP

get_claim(id=722578)