基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
局部搜索算法是求解大规模SAT问题的高效算法.经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的.本文提出了用单纯形法产生"初始概率"(每个变量取1的概率),用"初始概率"对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度.通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率.
推荐文章
并行蚁群算法求解加权MAX-SAT
蚁群算法
加速比
并行
最大化可满足性问题(MAX-SAT)
加权MAX-SAT
多核
一种混合局部搜索算法的嵌套分区算法
嵌套分区算法
局部搜索算法
Lin-Kernighan算法
带约束的3-opt算法
旅行商问题
MAX-SAT问题的一种改进的禁忌搜索算法
MAX-SAT问题
禁忌搜索
单纯形法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 MAX-SAT问题一种改进的局部搜索算法
来源期刊 计算机工程与科学 学科 工学
关键词 MAX-SAT问题 局部搜索 单纯形法
年,卷(期) 2008,(11) 所属期刊栏目 算法研究
研究方向 页码范围 50-52,79
页数 4页 分类号 TP301.6
字数 4145字 语种 中文
DOI 10.3969/j.issn.1007-130X.2008.11.016
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 朱文兴 福州大学离散数学与理论计算机科学研究中心 44 465 10.0 21.0
2 赵同昇 福州大学数学与计算机科学学院 1 5 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (1)
节点文献
引证文献  (5)
同被引文献  (7)
二级引证文献  (4)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(2)
  • 引证文献(1)
  • 二级引证文献(1)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
MAX-SAT问题
局部搜索
单纯形法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与科学
月刊
1007-130X
43-1258/TP
大16开
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
42-153
1973
chi
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
福建省自然科学基金
英文译名:Natural Science Foundation of Fujian Province of China
官方网址:http://www.fjinfo.gov.cn/fz/zrjj.htm
项目类型:重大项目
学科类型:
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导