一种求解合取范式可满足性问题的数学物理方法

来源 :中国科学(A辑 数学 物理学 天文学 技术科学) | 被引量 : 0次 | 上传用户:kkaJov2Qc88R
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出合取范式与带电质点在某类静电场中势函数的一一对应关系,证明判断一个合取范式是否可满足等价于判断一个带电质点在相应的静电场中是否有使其势函数为零的位置,由于带电质点在静电场中总是沿使其势能下降最快的方向,也就是沿其势函数梯度指引的方向运动,并最终达到势能最低的位置。因此,对一个客观上可满足的合取范式所对应的势函数,使用梯度算法是求使该合取范式成真的赋值的高效算法。
其他文献
在铁路运输行业中,收入和支出直接决定着铁路运输行业的整体利润率,因此,在开源的情况下如何节流成为企业反思的关键。在我国的铁路运输行业中,企业越来越重视成本管理,结合
本文记述了国内多部门管理的汽车行业统计工作现状,提出相应的信息统计思路,建议构建与国际接轨的标准体系。
[目的]探索"七窍相通"理论的内涵及"七窍相通"理论对于五官七窍生理病理治疗的临床意义。[方法]通过查阅历代医著,搜集部分医家的学术观点,整理"七窍相通"理论的相关文献,结
<正>在一个越来越多使用电子设备和太阳能的世界里,对交流电的需求越来越小。1903年,为了保住直流电作为全美配电标准的地位,托马斯·爱迪生(Thomas Edison)最后一搏,他导演
<正>国库集中支付制度是财政资金支出改革的重大举措之一,是国家预算执行和财政管理制度的重大创新,也是从源头上预防和治理腐败的一项重要工作。国库集中支付制度是把财政资
以微信、微博为代表的SNS以深入到人们的工作生活,将微信、微博平台分别与CRM端口相连,可以提高企业的竞争优势。但微信平台下的CRM和微博平台下的CRM,各具基因,有不同的优势
本文利用1994-2009年金融年鉴的相关数据计算出我国当前银行业市场集中率和HHI,并根据贝恩的市场结构经验标准和赫希曼-赫芬达尔指数标准,分析我国银行业市场结构。在SCP分析
4·3分析与评价(1)GCSE和GCE的数学考试以考生为主轴,根据能力层次和能力倾向设定不同类型、不同层次的试卷,试卷类型多样,试卷层次分明,构成整体.考生可以自由选择,满足了不
气化炉是煤化工的核心设备,大庆油田金属结构厂与哈尔滨锅炉厂合作,为某大型石化企业制造了一台侧壁4个烧嘴对置式新型气化炉,该气化炉是目前国内同类产品中最大的气化炉。文章
磨刀门水道水平定向钻穿越工程于2008年1月13日7:00回拖成功,创造了新的水平定向钻穿越长度世界纪录(2630米),继钱塘江穿越工程之后,采用世界先进导向孔对接技术再次获得巨大