标签
本文探讨了Gold-Angluin极限语言识别模型中的开放问题，展示了仅使用小字母表且直接从语言定义的计算轨迹即可实现极限识别，无需底层机器模型。
讨论了一篇2014年的论文，该论文驳斥了3SUM猜想，提出了3SUM问题的亚二次算法，对计算几何和图算法有影响。
免费开放教科书《Introduction to Theoretical Computer Science》已在哈佛课程中使用，涵盖基础理论，包括计算、算法、复杂性和量子计算。
哥德尔奖得主Ryan Williams对P vs NP提出了逆向观点，认为我们对多项式时间计算的理解仍然肤浅且充满惊喜，他将P≠NP的信心定在80%。
麻省理工学院教授、哥德尔奖得主瑞安·威廉姆斯在一期播客中深入讨论了算法优化、细粒度复杂性理论以及强指数时间假说等前沿计算机科学话题。
一篇文章讨论混淆作为一种强大的密码学原语，因其理论和实践上的挑战，可能成为密码学的‘终极Boss’。
麻省理工学院硬度小组的研究证明，超级马里奥关卡可能无法判定，意味着没有任何计算机程序总能确定马里奥能否到达城堡，将超级马里奥置于最难复杂度类别中。
Chatterjee、Ghosh、Gurjar、Raj 和 Thierauf 的一篇论文声称证明了二分图匹配问题属于复杂度类 NC，从而解决了 1980 年代以来并行算法与去随机化领域的一个核心开放问题。
本文提出了一种间接计算模型和间接形式化方法，用于优化云计算，并以中文信息数据为例，实现从数据中心向知识中心的转变。