待验证50% 置信事实精确时间
Chandy-Lamport算法由计算机科学家K. Mani Chandy与Leslie Lamport于1985年提出
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/7/4
首次发现
有效期至：2026/10/2
来源
AI工作台：一键完成从选题调研到图文成品的全流程创作
bilibili小e同学n2026/7/2
相关事实
待验证检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法78% 相似待验证A*算法由Peter Hart、Nils Nilsson和Bertram Raphael于1968年在斯坦福研究所（SRI International）首次提出60% 相似待验证Luhn算法是由IBM科学家Hans Peter Luhn于1954年设计的卡号格式校验算法59% 相似待验证侧抑制最早由Hartline等人在1956年对鲎复眼的研究中发现57% 相似待验证LLL算法以其发明者Lenstra、Lenstra和Lovász命名，于1982年提出，能在多项式时间内找到一组约简基55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/91679API
curl https://kongchang.com/api/v1/knowledge/claims/91679MCP
get_claim(id=91679)