理论计算机科学

理论计算机科学（TCS）是计算机科学的数学基础分支，研究计算的根本性限制与可能性，典型议题包括 P vs NP、算法下界、通信复杂度、密码学假设等。

TCSExam 是一个覆盖理论计算机科学（TCS）全谱系研究能力的统一评测基准，包含定理证明、求解器工程、构造和直接尝试解决开放猜想四条并行赛道。

超越最坏情况分析是理论计算机科学的一个开放问题，需要确定对于自然问题应提取哪些细节以供算法利用。

超越最坏情况分析被认为是理论计算机科学非常重要的前进方向。

理论计算机科学需要更多关注建模和问题构建，而不仅仅是求解明确定义的问题。

唯一游戏猜想是理论计算机科学中悬而未决数十年的核心问题。

理论计算机科学（TCS）是以数学方法研究计算本质的计算机科学分支，核心领域包括计算复杂性理论、算法设计与分析、密码学、可计算性理论与形式语言等。

理论计算机科学中的重大声明需要经过严格的同行评议和社区复现，仅凭一篇预印本或PDF文件，尚不足以让领域内研究者轻易接受根本性结论。

在理论计算机科学中，整数乘法的复杂度一直是一个核心问题。

理论计算机科学中并未严格证明 n log n 就是整数乘法的下界，它更多是一种基于现有技术范式的合理猜测。