来说，空间复杂度越小，演算法越好。我们假设有一个图灵机来解决某一类语言的某一问题，设有formula_1个字（word）属于这个问题，把formula_1放入这个图灵机的输入端，这个图灵机为解决此问题所需要的工作带格子数总和称为空间。复杂度理论和可计算性理论不同，可计算性理论的重心在于问题能否解决，不管需要多少资源。而复杂性理论作为计算理论的分支，某种程度上被认为和算法理论是一种“矛”与“盾”的关系，即算法理论专注于设计有效的算法，而复杂性理论专注于理解为什么对于某类问题，不存在有效的算法。Sect