更新时间:2022-03-29 09:43
间隙定理(gap theorem)是2018年公布的计算机科学技术名词。
在复杂性类的层谱中存在任意大的可计算间隔。对任意一个表示计算资源增加的可计算函数 f ,一定存在一个计算资源的函数 T ,使得对任意 n,T(n) 和 f(T(n)) 资源内计算的类是一样的。
《计算机科学技术名词 》第三版。