待验证50% 置信事实精确时间
Tarjan算法由Robert Tarjan于1972年提出，能在单次DFS中以O(V+E)找出有向图所有强连通分量
1
来源数
50%
置信度
长期有效
时效性
2026/7/14
首次发现
来源
相关事实
已验证Dijkstra 算法由荷兰计算机科学家 Edsger Dijkstra 于 1956 年提出，时间复杂度为 O((V+E)logV)52% 相似待验证2010年Larry Guth和Nets Katz利用多项式方法解决了Erdős距离问题，证明n个点至少确定Ω(n/log n)个不同距离52% 相似已验证匈牙利算法由Harold Kuhn于1955年基于Dénes Kőnig和Jenő Egerváry的工作发展而来，时间复杂度为O(n³)，用于二部图最优分配51% 相似待验证经典的Rete算法由Charles Forgy于1979年提出，通过构建规则网络（有向无环图）高效匹配规则条件，采用增量匹配机制51% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/504003API
curl https://kongchang.com/api/v1/knowledge/claims/504003MCP
get_claim(id=504003)