计算复杂性理论

时间空间复杂度

高效算法

可忽略函数

使用不同的计算模型？强Church-Turning理论