待验证50% 置信事实精确时间
差分启发式方法在学术文献中以ALT算法（A* + Landmarks + Triangle inequality）出现，由Andrew Goldberg和Chris Harrelson在2005年论文《Computing the Shortest Path: A* Search Meets Graph Theory》中系统提出
1
来源数
50%
置信度
长期有效
时效性
2026/8/10
首次发现
来源
相关事实
待验证AI的证明使用了无限类域塔和Golod-Shafarevich理论等代数数论工具，将代数数论思想引入了平面几何中的单位距离问题59% 相似待验证约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究58% 相似待验证Grover算法由Lov Grover于1996年提出，是一种量子搜索算法，能以O(√N)时间复杂度在无序数据库中找到目标项58% 相似待验证数学家Duncan Watts和Steven Strogatz于1998年将六度空间理论形式化为小世界网络模型，揭示高聚集系数与短平均路径长度两大特性57% 相似待验证书籍能提供严谨的理论框架如线性代数、概率论、优化理论，这些数学基础的有效期远长于具体工具框架56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/722579API
curl https://kongchang.com/api/v1/knowledge/claims/722579MCP
get_claim(id=722579)