【摘 要】
:
本文证明了一个一般性的关于复杂性集类集合剖分的定理。此定理叙述如下:设C1、C2是二递归集类,C1(?)P,C1与C2均递归可表现,C1封闭于有限对称差,C2中之集均无穷。则对任意的递
论文部分内容阅读
本文证明了一个一般性的关于复杂性集类集合剖分的定理。此定理叙述如下:设C1、C2是二递归集类,C1(?)P,C1与C2均递归可表现,C1封闭于有限对称差,C2中之集均无穷。则对任意的递归集A(?)C1∪C2,存在Bi、Di(i=1,2,3)剖分A,使得1)Bi、Di(?)C1∪C2;2)Bi、Di≤mpA;3)Bi、Di是C2禁集;4)(Bi,Di)是p-极小对。由此定理可直接推出许多有趣结果,例如,假设P≠NP,则对任何A∈NP-(P∪NPT),存在Bi、Di(i=1,2,3)∈NP-(P∪NPT)剖分
其他文献
本文在整理刑科题本婺源财产命案档案的基础上,试图以其为核心史料,考察清代婺源财产纠纷的基本情况、财产命案的成因、财产命案的主体以及官府对财产命案的审理等问题,以深化对清代徽州地方社会的认识,并冀对清代法制史的研究有所裨益。本文整理的刑科题本婺源财产命案档案共有78个卷宗,涉及命案62件。这批档案资料的内容十分丰富,是研究清代婺源财产纠纷和财产命案的第一手资料,对于了解清代婺源地方社会的其他方面也颇
<正>在观赏类水产动物中,锦鲤以其多彩的花色和矫健的游姿赢得人们的喜爱,是广大观赏鱼爱好者最为欣赏且养殖持续时间最长的品种之一。该鱼与传统鲤鱼最大的差异在于其独特的
本文讨论了如仅加强对政府重大投资项目和重特大突发公共事件的跟踪审计,识别和化解跟踪审计风险,进一步促进结构调整和优化,更好地服务经济发展方式转变。
知识经济在带来现代社会的经济政治结构、社会生产方式及生活方式的深刻变化的同时,也呼唤着能驾驭这一变化的高素质管理人才。研究知识经济对管理者素质的要求,科学引导管理
本文和文[1]一起,对具一般形式非线性右端项的非线性波动方程的柯西问题的整体经典解的存在唯一性,给出了[1]中所述结果的完整的证明。更多还原
通过熔盐法制备了片状Bi5Ti3FeO15纳米粉体。研究了反应原料中氧化物/盐的摩尔比对粉体结构和形貌的影响。采用XRD,SEM,UV-vis等一系列测试手段,对所制备样品的物相结构、微
推动医疗服务贸易发展对进一步扩大我国服务业对外开放、促进经济高质量发展、提升国际竞争力有着重要的意义和作用。文章在深入剖析全球医疗服务贸易发展特点和趋势基础上,
若a*)为R<sup>+</sup>上非负的函数的。且lim[α(t)/t]=0。若g,f<sub>1</sub>,…,f<sub>n</sub>(?)H<sup>∞</sup>(R).且R的Green函数的临界点在单位圆上的拉回是一个插值序列。则(?
荣昌县人民政府为了强化土地管理,1988年4月,建立了统管城乡土地、地籍地政的县国土局,土地管理工作才开始走上依法、统一、全面、科学管理的轨道。县国土局成立以来,坚持以
抗震设计时,框架结构的自振周期是决定其地震作用的重要因素之一。各国规范均考虑了填充墙对框架结构自振周期的折减作用,但有的考虑了填充墙布置的影响,另外一些则没有。为