一类随机限制满足问题的相变现象及相关运算复杂性研究

来源 :首都师范大学 | 被引量 : 1次 | 上传用户:zq19900303
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在本文中我们首先回顾了NP完全问题的发展历史和一些相关问题的研究,随后我们提出了两个新的随机限制满足问题(CSP)模型RB′/RD′,它们是对RB/RD模型的推广,然后从理论上证明了RB′模型不仅存在相变,而且给出了阀值点的准确位置,最后,文章分析了RB′/RD′模型的分解复杂度,利用CSP编码成CNF公式,证明了由RB′/RD′模型产生的实例几乎没有长度小于2Ω(n)的树状分解,从而得出RB′/RD′模型能产生很多难的实例。
其他文献
在本文中,我们用V.Turaev的标号加细挠量来分析透镜空间上反定向自同胚的存在性的问题。V.TuraeV用标号加细挠量对三维透镜空间给出了一个充要条件,在本文中我们考察了高维透镜空间上反定向的对合及4-周期的反定向自同胚。用标号加细挠量给出了一个经典结论的新证明,并且用它来分析维数是4l+1的透镜空间上的反定向对合存在的条件。最后我们用代数拓扑的方法分析了维数是4l+3的透镜空间上的4-周期反定
超级电容器由于其具有较长的循环寿命、较快的充放电速率以及较宽的电压窗口等优点,在电化学领域备受关注。超级电容器按储能机理分为法拉第赝电容器和双电层电容器。电极材料是决定超级电容器储能机理及电容性能的关键。本课题制备了双电层电容器负极材料生物质多孔碳和赝电容器正极材料氧化镍并对其电化学性能进行研究。利用XRD、XPS以及FTIR对所制备材料进行了成分分析,并采用SEM、氮气吸脱附曲线分别对电极材料的
本文主要运用变分方法、上下解方法和临界点理论,通过构造适当的截断函数研究下列方程的最大正解及多解的存在性,其中λ>0是一个参数,Ω(?) RN是具有C~2边界的有界区域, (?)为p-Laplace算子,并假设1<p<τ1<τ2<p*,其中p*是临界Sobolev指标,按如下定义
在这篇文章里,首先定义了空间H~2×R中曲面的Gauss映射,然后给出了给定平均曲率曲面的Weierstass表示公式。最后讨论了这种表示的完全可积条件,最后得到一个关于Gauss映射的二阶偏微分方程,这个方程是这种表示的完全可积条件。
摘要:本文试图给出以下收敛性定理([1])的一个详细证明:设Min,gi是一串紧致黎曼流形,(X,d)是一个紧致度量空间,(Min,gi)(?)(X,d).则当k充分大时,有微分同胚:fl:Ml→Mk(l≥k)。定义:M:=Mk,则将Ml(l≥k)上的度量拉回到M上后,存在{Min,gi)的一个子序列{Mikn,gik},使得在M上,度量gik收敛到一个M上的C1,α度量g,于是有X同胚于M.
由Harish-Chandra Cuspidal准则(定理1.1)可知,连通的约化的p-ADIC群的不可约可容许表示的分类问题被分成了两个部分:一,构造所有的不可约supercuspidal表示,二,研究从抛物子群的supercuspidal表示诱导得到的表示。因此,不可约supercuspidal表示的构造对于p-ADIC群的表示理论和自守型及其表示理论是非常重要的。本论文主要考虑单连通约化群G
论文选用氯化钠、氯化镁、氯化钙、氯化锌、氯化铝五种无机盐作为甘蔗渣(BFS)的改性剂,采用挤出-注塑成型法制备了一系列甘蔗渣-聚乙烯醇(PVA)/淀粉(ST)复合材料,通过红外光谱(FT-IR)、X射线光电子能谱(XPS)、X射线衍射(XRD)、扫描电镜(SEM)、差示扫描量热(DSC)、动态热机械分析(DMA)和电子万能试验机等表征了甘蔗渣的结构与形态,考察了改性甘蔗渣增强PVA/ST复合材料的
本文主要研究H~2×R及S~2×R中完备的常高斯曲率曲面的存在性.第一章主要介绍一些相关的预备知识.第二章证明了H~2×R中存在完备的常高斯曲率大于等于-1的旋转曲面;S~2×R中存在完备的常高斯曲率大于等于1或者等于0的旋转曲面.第三章证明了H~2×R及S~2×R中不存在完备的常高斯曲率小于-1的曲面.第四章主要研究S~2×R中完备的常高斯曲率大于0小于1或者大于等于-1小于0的曲面的存在性.证
多复变函数论中不变度量的研究是国际上的热门研究方向之一。通常经典不变度量是指Bergman度量、Carath(?)odary度量、和Kobayashi度量。近来EinsteinK(a|¨)hler度量也被认为是经典不变度量的一种。这样就得到了四类经典的不变度量。在解决Calabi猜想过程中,K(a|¨)hler流形上的Einstein-K(a|¨)hler度量的存在性和这个K(a|¨)hler流形
本文研究了一类等时系统在共振条件下周期解的存在性.假设系统x’’+V’(x)=0的所有解都是(?)周期的,V(x)是严格凸的势函数,V(x)的导数满足局部Lipschitz条件,p(t)∈Lloc1(R)是2π周期的.假设:且g(x),F(x)(F(x)=∫0x f(u)du)有界.另外,极限(?),(?)=G±存在且有限,其中G(z)=∫0x g(u)du,(?)(x)=∫0x F(u)du.定