引用本文:吕义忠,刘建斌.受限外部信息源计算的P─NP性质.软件学报,1994,5(4):40-48
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览 4470次   下载 5287 本文二维码信息
码上扫一扫!
分享到: 微信 更多
受限外部信息源计算的P─NP性质
吕义忠1, 刘建斌1
南京大学数学系,南京 210008
摘要:
本文对Oracle图灵机在接受计算中的查询次数加以限制,并且得到结果:存在无穷多个非多项式等价的递归集A,B,A′,B″,A″,B″,A,B,它们满足性质:P(A,q)=P(A,q+1),P(B,q)≠P(B,q+1),p(A′,q)=P(A′),P(B′,q)≠P(B′).NP(A″,q)=NP(A″,q+1),NP(B″,q)≠NP(B″,q+1),NP(A,q)=NP(A),NP(B,q)≠NP(B).
关键词:  计算复杂性,P─NP问题,递归集,外部信息源
DOI:
分类号:
基金项目:
THE P-NP PROPERTIES OF BOUNDED QUERY COMPUTATIONS
Lu Yizhong,Liu Jianbin
Abstract:
his paper restricts oracle Turing machine to query its oracle in an accepting computation, and obtains result: there exist infinite number of recursive sets A, B, A',B', A", B", A, B, which are not equivalent satisfying properties: P(A,q) =P(A,q+ 1 ), P(B,q ) ≠P(B,q+1)p(a',q)=P(A' ),P(B',q)≠P(B' ),NP(A",q) = NP(A",q + 1),NP(B",q) ≠ (B",q+ 1 ),NP (A,q) =NP(A), NP(B,q)≠NP(B).
Key words:  Computational complexity  P-NP question  recursive set  oracle.