间隙定理

（计算机科学技术名词）

间隙定理（gap theorem）是2018年公布的计算机科学技术名词。在复杂性类的层谱中存在任意大的可计算间隔。对任意一个表示计算资源增加的可计算函数 f ，一定存在一个计算资源的函数 T ，使得对任意 n，T(n) 和 f(T(n)) 资源内计算的类是一样的。