求解SAT问题的拟物拟人算法—Solar 被引量：23

原文传递

导出

摘要利用拟物与拟人的方法,为合取范式可满足性问题的高效率近似求解得出了继承策略、新路策略和赦免策略,然后对著名的Bart Selman跳坑策略给出了一个直观解释.综合这些策略得出了一个新的求解算法——Solar.

作者黄文奇金人超

机构地区华中理工大学计算机系

出处《中国科学（E辑）》 CSCD 1997年第2期179-186,共8页 Science in China(Series E)

基金国家"八六三"高科技计划国家自然科学基金数学天元基金资助项目

关键词合取范式拟物法拟人法计算机算法 SAT

分类号 TP301.6 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献5

1黄文奇.求解Covering问题的拟物方法——NP难度问题的一个处理途径[J].计算机学报,1989,12(8):610-616. 被引量：16
2黄文奇，国际离散数学与算法研讨会文集，1994年
3李未，中国科学.A，1994年，25卷，1期，1208页
4Gu J，Sigart Bull，1992年，3卷，1期，8页
5黄文奇，应用数学学报，1979年，2期，176页

二级参考文献6

1黄文奇，数学季刊，1986年，9卷，4期，143页
2洪加威，计算机理论通讯，1983年，1期，1页
3詹叔浩，数学季刊，1983年，6卷，1期，34页
4黄文奇，数学季刊，1979年，2卷，2期，176页
5团体著者，DJS-21机标准程序汇编.第2分册，1974年，15页
6吴文俊，力学在几何学中的一些应用，1962年

共引文献15

1程爱华,葛宝忠,季中恒.无线传感器网络区域覆盖的拟物拟人优化方法[J].传感技术学报,2007,20(12):2668-2673. 被引量：4
2HUANG Jia yuan (College of Computer Science, Huazhong University of Science and Technology, Wuhan 430074, China).A quasi-physical algorithm for solving the linear separation problem in n-dimensional space[J].Journal of Central South University of Technology,2001,8(4):272-277. 被引量：1
3黄文奇,朱虹,许向阳,宋益民.求解方格packing问题的启发式算法[J].计算机学报,1993,16(11):829-836. 被引量：14
4王强.模拟退火算法的改进及其应用[J].应用数学,1993,6(4):392-397. 被引量：12
5冯玉才,黄文奇,周旋.求解雷达群监视目标群问题的拟物算法[J].中国科学（A辑）,1995,25(9):982-988.
6滕弘飞,高轩,郁志诚.中国围棋棋谱在装填布局中的工程应用[J].大连理工大学学报,1995,35(4):487-492. 被引量：2
7Huang Wen\|qi College of Computer Science, Huazhong University of Science and Technology, Wuhan 430074,China,Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China.Concrete Physics Method for Solving NP hard Problem[J].Wuhan University Journal of Natural Sciences,2001,6(Z1):140-146.
8丁立新,康立山,陈毓屏,李元香.演化计算研究进展[J].武汉大学学报（自然科学版）,1998,44(5):561-568. 被引量：9
9LIU ZhiYong,ZHANG David,LI YuGang.Fast and convergence-guaranteed algorithm for linear separation[J].Science China(Information Sciences),2010,53(4):729-737.
10黄文奇,许如初.支持求解圆形packing问题的两个拟人策略[J].中国科学（E辑）,1999,29(4):347-353. 被引量：40

同被引文献108

1杨青,马军.遗传算法用于NP完全问题的求解[J].山东大学学报（理学版）,2001,36(2):171-177. 被引量：8
2杜立智,张晓龙.一个高效的3SAT到Hamilton环转化方法[J].南京理工大学学报,2013,37(4):506-510. 被引量：1
3黄文奇,朱虹,许向阳,宋益民.求解方格packing问题的启发式算法[J].计算机学报,1993,16(11):829-836. 被引量：14
4黄文奇,黄勤波,石赫.求解蛋白质结构预测问题的二维连续模型及其相应的拟物算法[J].计算机研究与发展,2004,41(11):1959-1965. 被引量：7
5杨晋吉,苏开乐.SAT问题中局部搜索法的改进[J].计算机研究与发展,2005,42(1):60-65. 被引量：12
6李韶华,张健.Survey Propagation:一种求解SAT的高效算法[J].计算机科学,2005,32(1):132-137. 被引量：5
7黄达尧,余峰.基于遗传算法的3-SAT问题的解决方案[J].现代计算机,2005,11(4):90-93. 被引量：1
8邵明,李光辉,李晓维.求解可满足问题的调查传播算法以及步长的影响规律[J].计算机学报,2005,28(5):849-855. 被引量：8
9吴胜.用遗传算法求解3-SAT问题[J].福建电脑,2005,21(7):49-49. 被引量：2
10李未,黄文奇.一种求解合取范式可满足性问题的数学物理方法[J].中国科学（A辑）,1994,24(11):1208-1217. 被引量：21

引证文献23

1黄文奇,吴玉清.另辟蹊径求解工厂作业调度问题[J].计算机应用,2003,23(z1):141-142.
2黄文奇,何大华.求解单位等边三角形PACKING问题的最小损伤法[J].武钢大学学报,2000,12(1):1-3. 被引量：1
3邵明,李光辉,李晓维.求解可满足问题的调查传播算法以及步长的影响规律[J].计算机学报,2005,28(5):849-855. 被引量：8
4万良.随机填充问题与排课系统[J].贵州教育学院学报,2007,23(2):14-16.
5秦永彬,许道云.警示传播算法的原理分析及算法改进[J].计算机工程与应用,2010,46(19):1-6. 被引量：3
6秦永彬,张秋菊.基于关键文字的求解SAT问题的启发式算法[J].计算机与数字工程,2010,38(10):1-4. 被引量：1
7秦永彬,许道云,王晓峰.基于警示传播与DPLL算法的启发式极性决策算法[J].计算机科学,2010,37(12):178-181. 被引量：3
8金人超,黄文奇.并行计算:提高SAT问题求解效率的有效方法[J].软件学报,2000,11(3):398-400. 被引量：4
9胡显伟,任世军.基于函数变换的求解SAT问题的新算法[J].智能计算机与应用,2012,2(3):33-36. 被引量：3
10李庄.求解蛋白质折叠问题的变步长拟物算法[J].湖北成人教育学院学报,2013,19(1):190-192.

二级引证文献62

1陈卫东.求图符号控制数的完全算法研究[J].计算机工程与应用,2004,40(24):45-47.
2陈卫东.求图符号控制数的拟人退火算法[J].华南师范大学学报（自然科学版）,2004,36(3):47-52.
3刘静,钟伟才,刘芳,焦李成.组织进化算法求解SAT问题[J].计算机学报,2004,27(10):1422-1428. 被引量：8
4罗端高,王家宝.k部图的符号控制数的一个下界[J].华东交通大学学报,2004,21(5):136-137.
5黄文奇,李宗.基于模拟退火算法的蛋白质折叠问题求解[J].计算机工程与应用,2005,41(7):40-41. 被引量：5
6李文锋,陶培基,李慧.TC正交数组设计及其应用——在银行充值系统测试用例设计中的应用[J].计算机工程与应用,2005,41(17):200-202. 被引量：1
7ZHANGDe-Fu LIXin.A Personified Annealing Algorithm for Circles Packing Problem[J].自动化学报,2005,31(4):590-595. 被引量：5
8黄文奇,陈昊.求解蛋白质结构问题的改进模拟退火算法[J].计算机应用研究,2005,22(8):66-67. 被引量：2
9凌应标,吴向军,姜云飞.基于子句权重学习的求解SAT问题的遗传算法[J].计算机学报,2005,28(9):1476-1482. 被引量：15
10贺毅朝,王彦祺,寇应展.一种求解3-SAT问题的新方法[J].计算机工程与应用,2006,42(16):70-72. 被引量：6

1汪学舜,余少华,戴锦友.新颖的WDMEPON动态带宽调度算法[J].通信学报,2012,33(2):69-75. 被引量：6
2曾振柄.求合取范式可满足性问题全部解的一个算法[J].计算机科学,2002,29(z1):152-154. 被引量：1
3刘峰,马履中.多指护理灵巧手的优化[J].机械传动,2005,29(6):20-22. 被引量：1
4YE La-mei.A Performative Approach to Aporia in The Turn of the Screw[J].US-China Foreign Language,2011,9(7):421-431.
5余丰人,丘海明.一个SAT问题有解的充要条件[J].中山大学学报（自然科学版）,2004,43(2):37-39. 被引量：1
6曾卫华,黄文奇.预测蛋白质结构的拟物拟人算法[J].电子技术应用,2006,32(6):25-27.
7丁宇新,程虎.高阶Hopfield神经网求解合取范式可满足性问题[J].计算机学报,1998,21(10):914-920. 被引量：2
8黄文奇,王瑞民.求解单位等边三角形Packing问题的占角算法[J].鄂州大学学报,2000,7(2):1-3. 被引量：2
9许如初,黄文奇.解不等圆 packing 问题拟物拟人算法初态选取[J].华中理工大学学报,1998,26(4):1-3. 被引量：1
10黄文奇,赵孝武.求解正交数组问题的拟物拟人算法[J].计算机研究与发展,2002,39(2):205-212. 被引量：3

中国科学（E辑）

1997年第2期

浏览历史

内容加载中请稍等...