吴淑岩

摘要(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)：

Abstract:

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.