【摘 要】
：
该文主要关注的是结构复杂笥中的复杂类的非一致复杂笥和概率复杂性.对于NP的非一致复杂性,作者讨论了一个NP集与P/poly的关系.IP是比较新的复杂类,是使用了随机、交互的验证
论文部分内容阅读
该文主要关注的是结构复杂笥中的复杂类的非一致复杂笥和概率复杂性.对于NP的非一致复杂性,作者讨论了一个NP集与P/poly的关系.IP是比较新的复杂类,是使用了随机、交互的验证过程的复杂类,作者在此基础上定义了BIP,并讨论IP和BIP的非一致复杂性.得出IP∈NP/Poly.作者的另一部分工作是讨论可检查函数的性质.作者讨论了PC和NPC性质,并提出NPC<,SP>,用来表示不确定性图灵机在多项式时间内所"计算"的函数类.
其他文献
数据库的研究和应用是当今计算机最活跃的领域之一,其技术发展非常迅速.Client/Server作为当前流行的一种分布式计算模式,具有良好的可伸缩性和较优的性价比,其在 结构、开发
图像配准是数字图像处理中的一个基本问题，它是进一步全面、准确进行图像分析的前提和关键。图像配准是将由不同传感器在不同时间或不同视角下获取的同一场景的两幅或多幅图像
AppWare模型采用以中间件为核心的三层客户机/服务器的计算模式使系统具有更大的灵活性和安全性;在客户机部分使用组件技术简化了开发难度避免了重复开发和资源的浪费;使用中
近年来数据中心能耗不断增加，带来了巨大的成本开销，因此提高数据中心效能至关重要。一个数据中心通常包含若干计算、内部存储、外部存储、网络等资源，在完成计算任务时，这些资源
该文讨论将CORBA技术与构件思想相结合中产生的基于CORBA规范的分布式构件的性质,并对CORBA平台上开发分布式构件的方法做了尝试.鉴于一方面CORBA支持的编程语言有限,基于COR
该文对浏览器/服务器计算模式进行分析,讨论了网上高校教学管理系统(NTMS)的B/S构建,并从技术、性能和安全等方面进行了全面的分析.NTMS是适应教学管理现代化的计算机教学管
该文针对某财度算法,结合实际情况,重点对优先队列上包的插入和排序的方法做了较为深入的研究,分别提出了"分步建堆算法"和"固定范围插入算法"."分步建堆算法"在兼顾CPU资源
该文提出了一种新的算法.该算法采用了一种向量变换,这种向量变换满足针对向量量化的信号处理过程的最优属性.该算法还采用了多套多层结构的码书和动态位分配的向量量化技术.
云计算将数据中心的计算、存储和网络等资源进行平台化，为各式各样的互联网应用提供资源服务。虚拟化技术是进行云计算资源平台化的关键技术，可以提高云计算数据中心资源利用效
研究人员从手术仿真系统的研究背景出发,对构成手术仿真系统的几个主要组成部分的研究进展加以介绍.其中包含软组织模型的建模工作,主要是几何建模、物理/生理建模和计算模型