首页> 外文OA文献 >A Quick Search Algorithm of SAT Neighborhood
【2h】

A Quick Search Algorithm of SAT Neighborhood

机译:SAT邻域快速搜索算法

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

用局部搜索算法求解SAT问题,通常都需要在较大的邻域中,寻找合适的邻解。如果对邻域中的每个邻解,都通过重新判断每个子句是否为可满足来得到其可满足的子句个数,则时间耗费较多。已经有一些经典的处理方法,例如通过修改邻域结构,来减小搜索空间。从另外一个角度来考虑搜索过程,根据当前解和邻解的内在关系,介绍一种SAT邻域的快速搜索算法。该算法能在不影响解质量的前提下,快速寻找合适的邻解,从而进一步提高局部搜索算法的求解速度。另外,该算法还提供用于提高解质量的信息,有助于研究新的局部搜索算法。
机译:用局部搜索算法求解SAT问题,通常都需要在较大的邻域中,寻找合适的邻解。如果对邻域中的每个邻解,都通过重新判断每个子句是否为可满足来得到其可满足的子句个数,则时间耗费较多。已经有一些经典的处理方法,例如通过修改邻域结构,来减小搜索空间。从另外一个角度来考虑搜索过程,根据当前解和邻解的内在关系,介绍一种SAT邻域的快速搜索算法。该算法能在不影响解质量的前提下,快速寻找合适的邻解,从而进一步提高局部搜索算法的求解速度。另外,该算法还提供用于提高解质量的信息,有助于研究新的局部搜索算法。

著录项

  • 作者

    余晓星;

  • 作者单位
  • 年度 2012
  • 总页数
  • 原文格式 PDF
  • 正文语种 zh_CN
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号