【摘 要】
：
近30年来,随着计算机科学的迅速发展,复杂性理论(ComplexityTheory)的研究受到了越来越多的关注,也取得了许多很有价值和广泛应用的研究成果.本文将以概率图灵机作为计算模型
【机 构】
：
复旦大学计算机科学与工程系,上海,200433
【出 处】
：
2004年全国理论计算机科学学术年会
论文部分内容阅读
近30年来,随着计算机科学的迅速发展,复杂性理论(ComplexityTheory)的研究受到了越来越多的关注,也取得了许多很有价值和广泛应用的研究成果.本文将以概率图灵机作为计算模型,讨论一些介于P和PSPACE之间的语言类.基于概率图灵机模型,人们定义了很多介于P和PSPACE之间的语言类:ZPP,RP,BPP,PP,关于它们之间的关系也已经有了很多工作[4].我们首先就ZPP和PP展开研究,考虑不同的出错概率,提出了两个与ZPP和PP等价的定义.另外,我们对BPP和PP做更进一步的研究,引入了两类介于它们之间的复杂性类:BP1和BP2.2语言类RP3语言类ZPP4语言类PP5语言类BPP
其他文献
·适用范围: 可广泛用于石油、化工、冶金、煤矿、油田、纺织、机械、印刷、塑料、食品、码头、装卸、给排水、粮油加工等各类行业交流异步电动机拖动设备。如:抽油机、液体
按照通常的观点,软件由程序和文档两部分构成,文档的检测涉及太多的非技术的因素,而目前在软件测试性计算的文献中多把程序测试性和软件测试性当作同一概念,借用此观点,这里
在计算机软件开发领域,多年的经验积累得出这样的结论:在软件过程中软件测试占有最大百分比的技术工作量.并且伴随着软件功能的极度提高和软件规模的扩大,这种趋势还在加剧.
对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传
胰腺转移癌较为罕见,且关于其相关治疗措施的研究很少。为评价胰腺切除术的安全性和有效性,Niess H等回顾性分析了1991~2010年期间接受胰腺转移癌切除手术的26例患者的临床资
目的建立LC-MS/MS法测定人血浆中泮托拉唑浓度并进行健康志愿者体内的药动学研究。方法血浆样品用甲醇沉淀,以水(4mmol·L-1乙酸铵,0.08%甲酸)-甲醇(10∶90)为流动相,流速0.8
本文对M矩阵的并行判定算法进行了研究，并通过具体的演算和推断详细介绍了其算法设计、算法分析以及其实验结果。
安全协议的主要目标是使多个通信主体能够在开放式的网络环境(如Internet)中正确地进行身份认证和安全地交换敏感数据(如会话密钥、电子交易数据等).安全协议的安全性质包括
随着Internet的普及,计算机开始转向支持商务过程,最初的应用软件是基于在操作系统平台上开发的,这大大限制了企业的更深远的发展.所以,随着应用规模的不断扩大,常规的应用软
[病例1]患儿,男,18个月,体质量12 kg,因咳嗽12 d,间断发热5 d来院治疗。患儿既往无药物过敏和食物过敏史,自测体温37℃以上。到医院门诊经头孢替安皮试阴性后给予头孢替安和