理论学家拆解:如何用单带图灵机模拟对数字长 RAM
rrwilliams · x · 2026-10-07
知名复杂度理论学者 Ryan Williams 回复解释:对于字长 O(log t) 的 Word RAM,可将其内存的(地址, 字)对存放在图灵机带上约 t·poly(log t) 个单元中,这样 RAM 的每一步都可在约 t·poly(log t) 时间内模拟(遍历磁带找到目标地址,再写入新记录)。这一讨论源于 OpenAI 论文中单带图灵机模拟的相关推论。
所属事件:OpenAI图灵机模拟结果被指隐含RAM空间复杂度新推论(3 条相关)→
「研究」频道最新
- ANU 团队放出 ECCV'26 扩散模型后训练教程全套幻灯片 — CSProfKGD · 2026-10-08
- 重温 Norvig 名文:统计学习两文化之争,别为优雅理论舍弃真实现象 — 3scorciav · 2026-10-08
- DatologyAI 开源 Zephon:换 GPU 数量不再悄悄扭曲训练实验结果 — lmoroney · 2026-10-08
- ProactiveCoach:分层程序理解让主动式 AI 助手性能提升 57 个百分点 — skku · 2026-10-08
- STEPQuant:6-bit 量化 Delta-rule 循环状态,服务内存最多省 68.7% — zju-community · 2026-10-08
- RoboQuest 基准:最强多模态智能体具身探索成功率仅 23% — declare-lab · 2026-10-08