【摘 要】
：
<正> 当前,在计算机理论中存在许多悬而未决的问题.在这些问题中,就其在理论上和实践中影响之深远,研究者之众多,因而成果之丰富程度而言,当推 NP =?P问题最为重要. 1971年,
论文部分内容阅读
<正> 当前,在计算机理论中存在许多悬而未决的问题.在这些问题中,就其在理论上和实践中影响之深远,研究者之众多,因而成果之丰富程度而言,当推 NP =?P问题最为重要. 1971年,在美国第三届ACM计算理论学术会议上,S.Cook发表了其著名论文“TheComplexity of Theorem-Proving Procedures”.在这篇文章中,他第一次正式地提出了NP是否等于P的问题.十多年来,许多人作了不懈的努力,有的企图证明它们相等,更多的人猜测并试图证明它们不等,还有人认为该问题可能是独立于公理化系统的.各种迹象表明,这是一个十分困难的问题.然而,通过它却带动了许多问题的研究,出现了许多有趣的新的问题,发展起了一个庞大的理论系统.
其他文献
面对国际投融资日益加强和经济多元化发展的现实环境,动漫产业要想求得长期的生存和发展,必须确立长期的产业发展战略。财务战略作为产业战略中职能战略的重要组成部分,强调
历史课是一个具有结构性、层次性且时间顺序非常强的课程。我国是拥有五千年历史文明的国家,在初中阶段的历史教学中,如何让知识基础比较薄弱的初中生了解我国悠久的历史文明
金融消费者是金融产业发展的根本基础。在金融产业迅速发展、金融产品复杂化、金融消费风险增加和金融消费者群体不断壮大的背景下,如何保护金融市场上的消费者,成为我国金融
<正> 一部近代中外关系史,其主体就是侵略与反侵略的历史。当然其间也有积极的乃至进步意义的文化交流,但即令是文化交流,也往往带有侵略与反侵略的印记。因此,民族情绪便必
针对寒区隧道支护结构需设置隔热保温材料和防火板要求,本文收集了工程中常用的隔热保温材料和防火板,并对其各项性能参数进行了对比分析。
目的:分析山东省高血压患者住院费用的变化及影响因素,提出相关政策建议。方法:选择山东省2005-2010年6所县医院36892个高血压住院病例为研究对象,采用方差分析和多元逐步回
超大规格铝合金薄壁管生产难度大。试验研究了外径270 mm、壁厚6 mm的6061铝合金管材生产工艺技术。在45 MN挤压机上采用无润滑半穿孔反向挤压出尺寸精度高的管坯;在拉拔工序
我国服务外包企业发展迅速,势态良好,但我们也要清醒看到在服务外包企业发展的过程中潜藏的各种财务风险,只有采取积极有效的措施才能避免各种财务风险的发生。本文结合我国
目的观察溃疡性结肠炎(UC)小鼠模型结肠组织中TLR2、TLR4和TLR9的表达情况,为UC发病机制的研究提供新思路。方法将6~8周龄健康雄性BALB/c小鼠随机分为两组:正常对照组(n=10)
简要介绍了反式脂肪酸(TFAs)的化学结构特征,反式脂肪酸的生成途径及主要的食物来源,反式脂肪酸对人体健康的主要危害和影响;综述了反式脂肪酸的分析检测方法如气相色谱法、