t-难于计算的实数的稠密性
吴淑岩
摘要(Abstract):
设R〔a,b〕为区间〔a,b〕〔0,1〕上所有可计算实数构成的类。在复杂性测度Φ下,对任一递归函数t,令R_tΦ〔a,b〕、D_tΦ〔a,b〕、D_tΦ〔a,b〕分别为〔a,b〕〔0,1〕上所有t—可计算实数所构成的类与t—难于计算的实数构成的类。我们将证明:对任意的有理数r、s,rΦ〔r,s〕是递归可枚举的。因而D_tΦ〔r,s〕是递归可枚举的。因而D_tΦ〔0,1〕在〔0,1〕中是稠密的。
关键词(KeyWords):
基金项目(Foundation):
作者(Author): 吴淑岩
参考文献(References):
- 〔1〕J.HARTMANIS and J.E.HOPCROFT,"An overview of the theory of computational complexity"J.ACM,vol.18,No.3,1971,pp.444-475.
- 〔2〕MANUEL BLUM,"A machine-independent theory of the complexity of recusive functions"J,ACM,vol.14,No.2,1967,pp.322-336.
- 〔3〕HARTLEY ROGERS.JR,"Godel numberings of partial recursive functions"The Journal of symbolic logic,vol,23,No,3,1958;pp.331-341.