Corrigendum: `` Computational Complexity and the Existence of Complexity Gaps''
暂无分享,去创建一个
Let • be a complexity measure, g a nonde-creasing recursive function such that (Vx)g(x) >_ x. Then 3 an increasing recursive function t such that no ~i satisfies t(x) < ~(x) _~ g o t(x) i.o. x.
[1] Allan Borodin,et al. Computational Complexity and the Existence of Complexity Gaps , 1972, JACM.