中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
NB和PC的比较研究
作者: 李登峰
答辩日期: 2003
专业: 基础数学
授予单位: 中国科学院软件研究所
授予地点: 中国科学院软件研究所
学位: 博士
关键词: 可计算枚举图灵度 ; 极小对
其他题名: On the Relationship Between Nonbounding and Plus Cupping Turing Degrees
摘要: 一个可计算枚举(c.e.)图灵度a被称为Nonbounding,是指它没有囿界任何极小对;一个可计算枚举(c.e.)图灵度a被称为Plus cupping,是指对于任何一个可计算枚举(c.e.)图灵度x,如果x≠0并且x≤a,那么x是可杯的(cuppable)。我们用NB来表示所有Nollb011lldillg可计算枚举(c.e.)图灵度的集合,而用Pc来表示所有Plus cuppillg可计算枚举(c.e.)图灵度的集合。集合NB和集合PC都已有很多研究结果,但是到目前为止还没有给出两个集合相同或者不同的证明。本文研究上述两个集合的关系:构造了一个极小对-其并为一个PIus cuppillg可计算枚举(c.e.)图灵度,从而证明了Pc不包含于NB。
英文摘要: A computably enumerable (c.e.) degree a is called nonbounding, if it bounds no minimal pair, and plus cupping, if every nonzero c.e. degree x below it is cuppable. Let NB and PC be the sets of all nonbounding and plus cupping c.e. degrees, respectively. Both NB and PC are well understood, but it has not been possibe so far to distinguish between the two classes. In the present paper, we investigate the relationship between the classes NB and PC, and show that there exists a minimal pair which join to a plus cupping degree, so that PC?NB. This gives a first known difference between NB and PC.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/7422
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
LW011224.pdf(1408KB)----限制开放-- 联系获取全文

Recommended Citation:
李登峰. NB和PC的比较研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2003-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[李登峰]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[李登峰]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace