共 2 篇相关文章
Yuri Gurevich 提出真正的算法永远是确定性的，概率与量子算法只是通过预言机等外部助手获取信息。本文梳理其抽象状态机三公设、Spec Explorer 与欧盟反垄断案往事，以及这一框架对理解现代计算系统的启示。
在线凸优化中追踪少量专家的计算复杂性研究：信息论最优遗憾与多项式时间可达遗憾存在本质分离，超图种植团猜想下证明计算低效性固有。
