加杯图灵度的一个层谱

来源 :中国科学院软件研究所 | 被引量 : 0次 | 上传用户:wucaixia303
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究计算可枚举图灵度的结构,提出并完成了一个加杯层谱的证明。 计算可枚举度(computably enumerable,c.e.degree)a被称作加杯的(plus cupping),若对任何c.e.度x,0<x≤a,存在c.e.度y≠0′, 满足x∨y=0′。我们称一个c.e.度是n-加杯的(n-plus—cupping),如果对每个c.e.度x,0<x≤a,存在lown c.e.度1,有x∨1=0′。定义PC和PCn分别为所有的加杯和n-加杯c.e.度的集合。我们有PC1(?)PC2(?)PC3=PC。在这篇文章中,我们证明了PC1(?)PC2,从而给出了加杯计算可枚举图灵度的一个非平凡层谱。该定理扩充了李昂生、吴国华、张再跃2000年提出的一个层谱:LC1(?)LC2(?)LC3=CUP,同时也扩充了Harrington1978年的加杯定理(Plus Cupping Theorem)。
其他文献
该文主要讨论均匀三向剖分上二元B样条的可加细性质.该文由三章组成:第一章为绪论,主要介绍了多元样条函数空间的相关概念和细分的基本思想.第二章中,我们首先讨论了可三向剖
刘文教授在解决大数定律中把首创的分析方法和矩母函数、条件矩母函数以及测度的网微分法结合起来,得出一系列极限结果,该论文继续并拓广这方面的研究.该论文利用条件矩母函
该文讨论极值统计量的指数速度子序列的弱收敛,给出其所有可能的极限分布及各极限分布的吸引场的充要条件.
该文研究工作的主要内容包括建立细观模型、理论分析、数值计算、结果验证与分析等几个主要部分.该文第一章简介了编织复合材料力学研究的历史和背景,介绍了目前研究方面的重
椭圆曲线密码体制和超椭圆曲线密码体制代表了当今公钥密码体制的主流发展方向.近年来,由于在(超)椭圆曲线密码体制中引入了双线性对,涌现出大量的基于双线性Weil对和Tate对的文
希尔伯特-黄变换(Hilbert-Huang Transform,HHT)是1998年由美籍华人科学家N.E.Huang提出的,用于分析非线性和非平稳信号的时频特征。与Fourier分析和小波分析相比较,HHT过程没有
该论文的主要内容即是通过借鉴Gold构造新序列的方式对模p=4t-1的素数的平方剩余序列即Legendre序列进行类似的操作.原平方剩余序列所对应的差集即为著名的Paley差集.由于本
该文首先综述了半群理论及半群表示与扰动理论的发展现状和研究成果,介绍了n次积分半群与n次积分C半群的基本理论.然后着重研究了C半群与n次积分半群的表示与扰动理论,而后利
该文讨论两类非线性动力系统的控制问题:p-规范型系统基于齐次性的混沌反控制问题和一类系统的非光滑分岔控制.关于p-规范型连续时间控制系统提出了一种新的反控制器.首先借
该文主要研究人工神经网络在组合优化领域的应用.该文首先对神经网络的历史概况、基本概念以及在组合化中的应用现状作了简单的介绍.在此基础上,该文对现有的神经网络算法进