加杯图灵度的一个层谱

来源 :中国科学院软件研究所 | 被引量 : 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)。
其他文献
椭圆曲线密码体制和超椭圆曲线密码体制代表了当今公钥密码体制的主流发展方向.近年来,由于在(超)椭圆曲线密码体制中引入了双线性对,涌现出大量的基于双线性Weil对和Tate对的文
希尔伯特-黄变换(Hilbert-Huang Transform,HHT)是1998年由美籍华人科学家N.E.Huang提出的,用于分析非线性和非平稳信号的时频特征。与Fourier分析和小波分析相比较,HHT过程没有