收藏本站
《2005年全国理论计算机科学学术年会论文集》2005年
收藏 | 手机打开
二维码
手机客户端打开本文

关于多项式时间谱系中语言的多项式图灵完全性

李雅瑞  
【摘要】:正 1 引言到目前为止,P=NP以及NP=CO-NP是否成立都尚未得知,而多项式图灵完全集对于这些问题的解决而言是十分重要的。R.H.Landweber,R.J.Lipton和E.L Robertson在文中证明了:如果P≠NP,那么存在A∈NP-P,并且A不是NP中的多项式图灵完全集。Uwe SchOning在文中得到了:如果NP≠CO-NP,那么存在A∈
【作者单位】:桂林空军学院
【分类号】:TP301

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 黄雄;NP最优化问题的可近似性[J];北京大学学报(自然科学版);1995年05期
2 吕义忠,陈玉泉;UP、β_n和FewP完全问题的相对同构性[J];计算机研究与发展;1995年06期
3 刘根深;;public—key密码系统破裂问题浅介[J];长沙电力学院学报(自然科学版);1989年04期
4 李宏宙;Few算子和多项式时间概率算法PP的能力[J];计算机学报;1996年09期
5 李雅瑞;;_n~p和■_n~p的递归可表示性[J];梧州学院学报;2007年03期
6 张立昂;NP完全性理论介绍[J];计算机工程与应用;1984年05期
7 罗海鹏;黄苏宁;;NP=P?[J];广西科学院学报;1989年02期
8 李强;刘亚军;;基于Petri网模型的工作流实例迁移算法[J];计算机工程与设计;2007年21期
9 张宏,马绍汉;一类诱导问题的多项式时间算法[J];计算机研究与发展;1995年06期
10 王泽辉;;二维随机矩阵置乱变换的周期及在图像信息隐藏中的应用[J];计算机学报;2006年12期
中国重要会议论文全文数据库 前10条
1 李雅瑞;;关于多项式时间谱系中语言的多项式图灵完全性[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 陈庆燕;许道云;;MAX~+(k)中公式改名的多项式时间可判定性(英文)[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 李鑫;刘田;彭瀚;孙宏涛;朱嘉奇;;几个图论问题在固定BT模型下的指数下界[A];2006年全国理论计算机科学学术年会论文集[C];2006年
4 倪晟宇;;在流数据模式下计算最长递增子序列长度[A];2005年全国理论计算机科学学术年会论文集[C];2005年
5 王海涛;李建;葛启;朱洪;;内点带权的最小生成树的近似算法[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 赵红岩;余靖;刘国华;;关于极少必要信息共享的算法研究[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 岳昊;;三划分问题可多项式归约为唯一可达向量Petri网可达性问题[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
8 葛丽芳;;一种计算道路网中最大车辆密集度区域的高效算法[A];2010重庆汽车工程学会年会论文专辑[C];2010年
9 张忠平;余靖;朱扬勇;;基于函数依赖的XML键的推理及其求解算法[A];第二十一届中国数据库学术会议论文集(研究报告篇)[C];2004年
10 袁野;王国仁;;面向不确定图的概率可达查询[A];NDBC2010第27届中国数据库学术会议论文集A辑一[C];2010年
中国重要报纸全文数据库 前2条
1 吴昊;软银中国CEO披露入股阿里巴巴内幕[N];经理日报;2007年
2 戴智杰;数据集中 简化管理[N];中国计算机报;2002年
中国博士学位论文全文数据库 前10条
1 姜海涛;基因组比较算法研究[D];山东大学;2011年
2 潘锐;设施选址与K-中间点问题的复杂性与近似算法[D];山东大学;2007年
3 马海涛;Active XML数据管理基础问题研究[D];哈尔滨工业大学;2009年
4 张强锋;单体分型和单体型频率估计[D];中国科学技术大学;2006年
5 钟军;群数字签名方案的设计与研究[D];西南交通大学;2007年
6 郝凡昌;有向基因组复合操作重组排序算法研究[D];山东大学;2011年
7 崔筠;无向基因组的移位排序算法[D];山东大学;2006年
8 杨朝霞;超图嵌入圈问题的近似算法[D];山东大学;2010年
9 江赟;网状结构膜系统的计算能力研究[D];华中科技大学;2011年
10 王以松;逻辑程序的相容性与环公式研究[D];贵州大学;2007年
中国硕士学位论文全文数据库 前10条
1 胡核算;基于MIP算法的系统Petri网模型中的死锁预防[D];西安电子科技大学;2005年
2 李强;TSP的结构特征挖掘与启发式算法设计[D];大连理工大学;2007年
3 张庆顺;可满足公式到MU(1)公式的扩张[D];贵州大学;2006年
4 刘长云;概率可验证明(PCP)系统研究[D];贵州大学;2007年
5 徐德志;启发式将3-SAT化为2-SAT的DPLL算法[D];贵州大学;2008年
6 冯富宝;集合覆盖问题研究[D];山东大学;2006年
7 常乐;参数化点覆盖及最小点覆盖问题研究[D];中南大学;2007年
8 金波;微阵列数据集的频繁闭合模式挖掘算法研究[D];桂林电子科技大学;2007年
9 宁丹;Matching和packing问题的参数算法研究[D];中南大学;2007年
10 王剑波;DNA计算在两类特殊应用问题上的研究[D];湖南大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026