一致与非一致复杂类的模型论性质

来源 :自然杂志 | 被引量 : 0次 | 上传用户:eimayao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>自从1965年J.Edmonds和A.Cobham提出P-NP问题以来已有30年的研究历史。目前环绕这个问题的大量学术论文和研究专著已使它发展成为计算机科学中最新和最活跃的研究领域之一,近年来,人们除了对由各种类型的图灵机确定的复杂类(如P,NP,PSPACE等)进行研究外,对一些用其他方法定义的非一致复杂类(如P/poly,P/log,NP/poly等)也越来越有兴趣,而且许
其他文献
最近,日本学者高桥(音译)、高泽(音译)和美国学者凯勒曼等人,研究了上地幔中岩浆在运移过程中发生的它自身及其所经岩体的成分变化。这种变化是岩浆与其所经岩体相互作用而产生
一氧化氮(NO)是重要的细胞信使物质,它参与心血管活动的调节,许多心血管疾病与一氧化氮生物学功能紊乱有关,深入研究一氧化氮的生物学作用将会给心血管疾病的临床治疗提供亲折思路。
由国际生物电化学学会主席、意大利物理化学家G.Milazzo教授等合作编著的《标准电极电位表》(Tables of Standard Electrode Potentials)是一部有关标准电极电位的大型手册。
水库诱发地震是由水库等水体作用诱发的浅层地震,震源大抵数公里甚至仅数百米深度。水库诱发地震其本质,属人为地震。一说属人为—自然复合型地震。自从本世记30年代希腊马拉
本文论述了浑沌的本质,并通过理论阐述和实际计算,论证了数值计算中舍入误差并不从根本上改变浑沌系统的本质特征。进而证明了在处理浑沌问题中数值计算的可靠性,以及浑沌随
本文对引入宇宙常数A的历史作了较详细的考查,并对它在现代宇宙论和量子场论中的作用作了简单介绍。
含铝金属间化合物普遍存在由水汽诱发的环境脆性,这一现象,一般认为是由子空气中的水汽与铝化物中的Al在应力作用下发生表面反应,产生氢原子,引起氢脆所致,早期研究结果表明,
在河南省西部,位于秦岭东段南侧有一系列的自垩纪断陷盆地。这里埋藏着世界上最为丰富、保存状态完好和奇特的恐龙蛋化石群。1974年首先在淅川县的滔河盆地发现恐龙蛋化石,后
关于整个宇宙的演化,目前有一个最佳的候选理论——热大爆炸模型,又称为宇宙标准模型。它经历了一系列新的重大发现和观测事实的考验。
旋涡是流体运动的一个基本属性,但对旋涡的研究,已远远超出了流体力学范畴.非线性科学的发展,为我们提供了新的思想与研究方法. 对旋涡的度量,定义了涡量Ω(旋度),式中ν为流