The SAT phase transition

来源 :中国科学:技术科学英文版 | 被引量 : 0次 | 上传用户:yin329060357
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Phase transition is an important feature of SAT problem. For random k-SAT model, it is proved that as r(ratio of clauses to variables) increases, the structure of solutions will undergo a sudden change like satisfiability phase transition when r reaches a
其他文献
The basic problem of a radar group monitoring an object group that has all along been a problem of concern in the international circles of military science has
In 1991, J. Labed, et al. offered a formula of passive measurement of directional emissiv-ity of object in laboratory. It is based on two preconditions, blackbody background radiation and the temperat
在 ZL114A ( Al-7Si )演员组合金的最容易溶解的 Si 的现在的工作,微观结构上的踪迹元素 Sr 的效果,张力的性质,金属断面的显微镜观察和形态学, investigated.The 被扔 ZL114A 铝
Based on three-dimensional elastic equations for piezoelectric materials, the state equations for piezoelectric circular plate under axisymmetric deformation ar
This paper studies how to describe the real-time behaviour of programs using duration calculus. Since program variables are interpreted as functions over time i
轮流出现的差别块方法和他们的差别图的一个班的一般概念被介绍。方法是无条件地稳定的,并且根据差别图,平行算法的设计和方法的节目灵活、容易。传统的轮流出现的明确含蓄的方
The material of surface layer absorbs the energy of laser and produces plasma, when the high power laser radiates the surface of material. The plasma blows up a
抑制多客观的 multi-degree-of-freedom 优化(CMMO ) 为复杂工业进程从优化控制的应用程序背景被建议。CMMO 作为一个 QP 问题被提出。通过与参数把它转变成一个线性互补编程
A novel asymmetrical twin-core photonic crystal fiber was proposed, whose effective overlap core area Aeff can be designed to synchronize the variation of Raman
In nonequilibrium nonlinear region, by assuming that there is local equilibrium at the solid/liquid interface, and considering that curvature, temperature and c