Unverified50% confidenceFactExact time
差分启发式方法在学术文献中以ALT算法（A* + Landmarks + Triangle inequality）出现，由Andrew Goldberg和Chris Harrelson在2005年论文《Computing the Shortest Path: A* Search Meets Graph Theory》中系统提出
1
Sources
50%
Confidence
Long-term
Relevance
8/10/2026
First Seen
Sources
Related Claims
UnverifiedThe AI's proof used tools from algebraic number theory such as infinite class field towers and Golod–Shafarevich theory, introducing algebraic number theory ideas into the unit distance problem in planar geometry.59% similarUnverified约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究58% similarUnverifiedGrover's algorithm was proposed by Lov Grover in 1996 and is a quantum search algorithm capable of finding a target item in an unordered database with O(√N) time complexity.58% similarUnverified数学家Duncan Watts和Steven Strogatz于1998年将六度空间理论形式化为小世界网络模型，揭示高聚集系数与短平均路径长度两大特性57% similarUnverified书籍能提供严谨的理论框架如线性代数、概率论、优化理论，这些数学基础的有效期远长于具体工具框架56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/722579API
curl https://kongchang.com/api/v1/knowledge/claims/722579MCP
get_claim(id=722579)