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