论文部分内容阅读
PCP定理是近十年来计算复杂性领域内的重要成果之一,介绍了从图灵计算模型到概率可验证明（PCP）计算模型的演变过程、PCP系统的基本理论,以及PCP定理应用于不可近似问题研究的基本原理和方法。
PCP定理及其在不可近似问题研究中的应用
【摘 要】
：
PCP定理是近十年来计算复杂性领域内的重要成果之一,介绍了从图灵计算模型到概率可验证明（PCP）计算模型的演变过程、PCP系统的基本理论,以及PCP定理应用于不可近似问题研究的基
【机 构】
：
贵州大学计算机科学系
【出 处】
：
计算机科学与探索
【发表日期】
：
2008年1期
【基金项目】
：
the Special Foundation for Improving Scientific Research Condition of Guizhou （贵州省高层次人才科研条件特助经费）.
其他文献
带有正负顾客的连续时间单台服务器的队列系统得到了深入研究且已应用于多agent服务系统和计算机网络系统，而带有正负顾客的离散时间Geo／Geo／1队列研究在最近才出现。在拓展离散
把赋值语句看作物理对象上的操作时，程序就呈现为物理对象上的操作构成的表达式（简称O表达式）。给出了定义O表达式语法的BNF公式，并用公理规定O表达式的语义。主动式的O表达式以
一段时间以来，我国的基础教育追求课程与教学的科学化、规范化。所以，以往的课程与教学变革多止步于教学的具体方法和基本的技能、技巧方面，基本属于课程与教学改革的浅层次。但
图形处理器(graphic processing unit,GPU)的最新发展已经能够以低廉的成本提供高性能的通用计算。基于GPU的CUDA(compute unified device architecture)和OpenCL(open computing language)编程模型为程序员提供了充足的类似于C语言的应用程序接口(application programming interface
在如今我们经常谈到的对构建社会主义和谐社会有着非常重要的引导作用的儒家思想是我国古代无数学者思想智慧的结晶。为了促进体育教学的发展，本文从儒家思想中的平等意识、人
根据网格实时事务处理的特点,对可推测并发控制协议（SCC）进行改进,提出了一种网格环境下实时事务并发控制机制中的事务级控制协议（GSCC）。该协议通过扩充事务操作类型减少事务冲