搜索技巧 海洋云增白 开源地图 AI 搜索答案 沙丘魔堡2 压缩机站 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 PostgreSQL AI工具 证券 DirectX DrawingPics 化学 KDE 披萨农场 多动症 植物学 分析化学 Three.js 大会 残疾人学校 初创 QB64 更多

一个关于柯拉兹猜想的巧合 (www.sligocki.com)

这篇文章探讨了多个图灵机冠军,包括S(5)、BBB(4)和S(2,4)冠军,发现它们都模拟了相同的类柯拉兹轨迹。这种轨迹在统计上不太可能出现,这表明这些图灵机可能利用了这种“幸运”的轨迹来实现其长时间运行。

BB(3, 4) > Ack(14) (www.sligocki.com)

本文介绍了Pavel发现的一种3状态4符号图灵机,它能够计算“阿克曼级别”的函数,并在纸带上留下[(2↑^15 5)+14]个非零符号后停止。文章详细分析了该图灵机的行为,并通过双重归纳法证明了其停止性。此外,文章还探讨了该图灵机的不同起始状态对其最终得分的影响,并将其与其他已知图灵机进行了比较。