Busy Beaver竞赛:宇宙级数字的追逐
2025-08-25
数学家Tibor Radó发明的Busy Beaver竞赛旨在寻找运行时间最长的图灵机。参赛者不断挑战,寻找拥有更多规则的图灵机,并计算其运行步数。近些年来,Shawn Ligocki和Pavel Kropitz在BB(6)问题上展开激烈竞争,不断刷新运行步数记录,数字之大甚至超越了宇宙中原子数量,展现了计算能力的飞速发展和算法的精妙之处。
科技