【摘 要】
：
命题公式的可满足性问题是理论计算机科学和人工智能中的著名问题,判断命题公式可满足性的一个直接办法就是穷举法,但该方法计算量大,因此高效实用的SAT算法设计与分析一直是
论文部分内容阅读
命题公式的可满足性问题是理论计算机科学和人工智能中的著名问题,判断命题公式可满足性的一个直接办法就是穷举法,但该方法计算量大,因此高效实用的SAT算法设计与分析一直是计算机科学界的研究热点。膨胀图是具有良好连通性的稀疏图,已引起了科学家们的关注,并广泛应用于证明计算复杂性理论的结论。本文在膨胀图的基础上,利用膨胀图来诱导SAT算法搜索的随机步,提出了一种新的SAT算法。经证明:新的SAT算法能够降低随机算法对随机位的依赖程度。
其他文献
当今世界风云变幻,在新世纪人类三大浪潮的推动下,将整个世界融为一体,而这恰好为我国教育的发展带来了前所未有的机遇与挑战。100多年来,美国凭借其"全世界人力资本积聚的强
目的：探讨清洁切口手术围术期患者预防性抗菌用药干预的效果。方法：选择60例清洁切口手术患者，调查抗菌药物预防性应用情况，比较干预前后药品种选择及用药疗程。结果：干预前共使用
<正> 糖尿病属于祖国医学“消渴”的范畴。是一种常见的内分泌代谢性疾病。近年来,随着广泛深入开展糖尿病的中西医结合研究,使糖尿病的临床疗效不断提高,而且更进一步认识了
留仙庄空白区位于招(远)-平(度)断裂带中南段,道北庄子金矿东侧。招平带中南段已发现大、中型金矿3处,由南向北依次为夏甸、姜家窑、道北庄子金矿。通过收集分析已知金矿床最
编者按$$“一带一路”倡议的实施，使得区域经济协作趋势加强。本文以水泥行业为例，通过分析“一带一路”沿线国家的基础设施发展情况、经济发展状况、经济及产业发展战略与中国
<正> 壁虎又名蜒、守宫、天龙、蝎虎、壁宫,为壁虎科动物无蹼壁虎Gekko SuinhounaGunther或其他几种壁虎的全体。守富最早见于《俣普本草》,在梁代《本草经集注》和唐代《新
数学语言是用来表达数量关系和空间形式的数学化了的语言,是数学特有的形式化符号体系,它具有精确性、简洁性、逻辑性和抽象性的特点。数学语言既是数学知识和数学思想的重要
在教学过程中,教师常常会发现有些内容学生理解起来比较困难。数学理解的产生,需要在反复体验的过程中不断积累经验和丰富表象。课堂教学有时因时空的限制而导致体验过程不够
程度副词"都"表示"某性状或情况适用于它在语义上所指向的某个集合中的每一个个体,而且无一例外"的语法意义。"同乡"一类词的语义特征分析可以加深我们对"都"的语法意义的理
党的十七大报告第一次将公民教育列入国家政治发展目标，也是第一次将公民教育的重要地位确定为社会主义民主政治与构建和谐社会的基石——这为公民教育的开展指明了方向。我国