待验证85% 置信事实时间未知
TNFA算法是Ville Laurikari在其硕士论文中提出的创新方法，解决了Thompson NFA算法难以处理子匹配捕获的历史难题
1
来源数
85%
置信度
长期有效
时效性
2026/6/1
首次发现
来源
涉及实体
相关事实
待验证TRE采用了Laurikari在其博士论文中提出的带标记NFA（Tagged NFA）模拟算法75% 相似待验证Ken Thompson早在1968年的论文中就描述了高效的NFA模拟算法58% 相似待验证Kenneth Stanley和Risto Miikkulainen于2002年提出NEAT算法，它同步进化网络权重与拓扑结构，并引入历史标记解决竞争约定问题55% 相似待验证François Chollet 提出的 ARC-AGI 基准和 Epoch AI 提出的 FrontierMath 基准试图通过生成全新问题来测试真正的推理泛化能力54% 相似待验证约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究53% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/34133API
curl https://kongchang.com/api/v1/knowledge/claims/34133MCP
get_claim(id=34133)