作者: 胡显伟， 任世军
关键词: SAT问题；局部搜索算法；函数变换；最速下降法
摘要: 提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题.随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部极值为0,则该SAT问题就是可满足的.实验结果表明:与现有的求解SAT问题的算法相比,基于函数变换的求解算法在求解速度、成功率和求解问题的规模等方面都有明显的提高.
在线下载
乐山地区农网配变运行管理系统研究Research on the Operation Management of Rural Power Network Distribution in Leshan Area
刘的可
电气工程Vol.5 No.1, 全文下载: PDF HTML XML DOI:10.12677/JEE.2017.51002, March 20 2017
基于一个新的NCP函数的光滑牛顿法求解变分不等式问题Smooth Newton Method Based on a New NCP Function for Solving Variational Inequality Problems
贾春阳, 孙菊贺, 杨 峥 国家自然科学基金支持
应用数学进展Vol.6 No.9, 全文下载: PDF HTML XML DOI:10.12677/AAM.2017.69147, December 28 2017
基于S型传递函数的二进制乌鸦搜索算法求解0-1背包问题Binary Crow Search Algorithm Based on S-Type Transfer Function for Solving 0-1 Knapsack Problem
高泽贤, 张寒崧, 孙 菲, 王丽娜 科研立项经费支持
计算机科学与应用Vol.13 No.4, 全文下载: PDF HTML XML DOI:10.12677/CSA.2023.134089, April 28 2023
有理函数变换法求解两类扩展的(3 + 1)维Jimbo-Miwa方程The Transformed Rational Method for Solving Two Extended (3 + 1)-Dimensional Jimbo-Miwa Equations
哈金婷, 关雪, 张辉群
应用数学进展Vol.7 No.10, 全文下载: PDF HTML XML DOI:10.12677/AAM.2018.710145, October 22 2018
一类混合束方法子问题的求解研究Study on the Solution of a Hybrid Bundle Method Subproblem
李函阳
运筹与模糊学Vol.9 No.2, 全文下载: PDF HTML XML DOI:10.12677/ORF.2019.92019, May 29 2019
局域规范变换中协变导数Dμ的作用新探A New Study on the Role of Covariant Derivative Dμ in Local Gauge Transformation
赵国求
现代物理Vol.11 No.4, 全文下载: PDF HTML XML DOI:10.12677/MP.2021.114010, June 8 2021