期刊文章详细信息
一种求解合取范式可满足性问题的数学物理方法
文献类型：期刊文章
机构地区：[1]北京航空航天大学计算机系,北京100083 [2]华中理工大学计算机系,武汉430074
基 金：国家"八六三"高技术;国家自然科学基金
年 份：1994
卷 号：24
期 号：11
起止页码：1208-1217
语 种：中文
收录情况：CSCD、CSCD2011_2012、ZMATH、普通刊
摘 要：给出合取范式与带电质点在某类静电场中势函数的一一对应关系,证明判断一个合取范式是否可满足等价于判断一个带电质点在相应的静电场中是否有使其势函数为零的位置,由于带电质点在静电场中总是沿使其势能下降最快的方向,也就是沿其势函数梯度指引的方向运动,并最终达到势能最低的位置。因此,对一个客观上可满足的合取范式所对应的势函数,使用梯度算法是求使该合取范式成真的赋值的高效算法。
关 键 词：合取范式 可满足性问题 数学物理算法 NP问题
分 类 号：TP301.6]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
