您的位置： 专家智库 > >

赵同昇

作品数：2 被引量：2H指数：1
供职机构：福州大学数学与计算机科学学院更多>>
发文基金：国家自然科学基金福建省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...

主题

  • 2篇单纯形
  • 2篇单纯形法
  • 2篇搜索
  • 2篇搜索算法
  • 2篇局部搜索
  • 2篇局部搜索算法
  • 1篇收敛速度

机构

  • 2篇福州大学

作者

  • 2篇朱文兴
  • 2篇赵同昇

传媒

  • 1篇计算机工程与...
  • 1篇2008年全...

年份

  • 2篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
MAX-SAT问题一种改进的局部搜索算法
局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的.本文提出了用单纯形法产生'初始概率'(每个变量取1的概率),用'初始概率'对局...
赵同昇朱文兴
关键词：局部搜索单纯形法搜索算法收敛速度
文献传递
MAX-SAT问题一种改进的局部搜索算法被引量：2
2008年
局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生"初始概率"(每个变量取1的概率) ,用"初始概率"对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度。通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率。
赵同昇朱文兴
关键词：局部搜索单纯形法
全选 清除 导出
共1页<1>
聚类工具0