| 能行可计算性函数渐进优超等价类的可达性质 |
| |
| 引用本文： | 张晓如,张再跃.能行可计算性函数渐进优超等价类的可达性质[J].扬州大学学报(自然科学版),2003,6(1):41-45. |
| |
| 作者姓名： | 张晓如 张再跃 |
| |
| 作者单位： | 扬州大学信息工程学院计算机科学与工程系,江苏扬州,225009 |
| |
| 基金项目： | 江苏省教育厅计划指导项目 (F0 0 0 9117) |
| |
| 摘 要： | 利用理想计算机URM关于能行可计算性函数的定义以及渐进分析的方法对能行可计算性函数进行分类后，建立了能行可计算性函数渐进优超等价类子结构，并通过引进可达性概念研究能行可计算性函数渐进优超等价类之间的关系，证明了任何一致无界能行可计算性函数渐进优超等价类都具有强不可达性质。此成果对算法复杂性函数渐进优超等价类数学结构的进一步研究有一定参考价值。
|
| 关 键 词： | 能行可计算性函数 渐进优超等价类 可达性质 算法复杂性 数学结构 算法分析 |
| 文章编号： | 1007-824X(2003)01-0041-05 |
ON ACCESSIBLE PROPERTIES OF EQUIVALENCE CLASSES OF EFFECTIVE COMPUTABLE FUNCTIONS |
| |
| ZHANG Xiao,ru,ZHANG Zai,yue.ON ACCESSIBLE PROPERTIES OF EQUIVALENCE CLASSES OF EFFECTIVE COMPUTABLE FUNCTIONS[J].Journal of Yangzhou University(Natural Science Edition),2003,6(1):41-45. |
| |
| Authors: | ZHANG Xiao ru ZHANG Zai yue |
| |
| Institution: | ZHANG Xiao ru ZHANG Zai yue * |
| |
| Abstract: | This paper studies the mathematical structure of asymptotically dominating equivalence classes, and establishes the structure of equivalence classes of effective computable functions by using the ideal computer URM and the methods of asymptotic analysis. It is proved in this structure that every uniformly unbounded equivalence class of effective computable functions has strongly inaccessible property. |
| |
| Keywords: | effective computable function asymptotically dominating equivalence classes |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
