Unverified50% confidenceFactExact time
检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法
1
Sources
50%
Confidence
Long-term
Relevance
7/12/2026
First Seen
Sources
LangGraph入门：用图结构构建AI Agent工作流
bilibili吴恩达LLM7/10/2026
Related Claims
UnverifiedChandy-Lamport算法由计算机科学家K. Mani Chandy与Leslie Lamport于1985年提出78% similarUnverified约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究67% similarUnverifiedLLL算法以其发明者Lenstra、Lenstra和Lovász命名，于1982年提出，能在多项式时间内找到一组约简基64% similarUnverified反向传播算法此前曾被多人独立发现，Paul Werbos于1974年博士论文中已有类似推导，Yann LeCun在1985年论文中提出等价思路62% similarUnverified数学家Jaeger在1985年证明了循环双覆盖猜想的弱化版本「5-环覆盖猜想」62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/489903API
curl https://kongchang.com/api/v1/knowledge/claims/489903MCP
get_claim(id=489903)