Walksat公司

GSAT和WalkSat是解决布尔可满足性问题的局部搜索算法。这两种算法都适用于已转换为合取范式的公式。它们首先给每个变量分配一个随机值。如果赋值满足所有子句,则算法终止,返回赋值。否则,将翻转一个变量,然后重复上述操作,直到满足所有子句。WalkSAT和GSAT在选择要翻转的变量的方法上有所不同。GSAT会做出改变,使新赋值中不满足的子句数量最小化,或者以某种概率随机选择一个变量。WalkSAT首先选择当前赋值不满足的子句,然后在该子句中翻转一个变量。该条款通常是在不满意的条款中随机挑选出来的。通常会选择变量,这将导致最少的先前满足的子句变得不满足,并且有一定的概率随机选择其中一个变量。保证了当前随机抽取的随机变量中至少有一个是不正确的。当选择一个猜测的最佳变量时,WalkSAT需要比GSAT做更少的计算,因为它考虑的可能性更小(资料来源:http://en.wikipedia.org/wiki/WalkSAT)


zbMATH中的参考文献(参考 204篇文章

显示204的结果1到20。
按年份排序(引文)

1 2 ... 9 10 11 下一个

  1. Achlioptas,Dimitris;Iliopoulos,Fotis;Kolmogorov,Vladimir:聚焦随机算法的局部引理(2019)
  2. Demaine,Erik D.;Fekete,Sándor P.;Keldenich,Phillip;Meijer,Henk;Scheffer,Christian:协调运动规划:重新配置有界伸展的标签机器人群(2019年)
  3. Bernardini,Sara;Fagnani,Fabio;Smith,David E.:从提升的时间规划域中提取互斥不变量(2018)
  4. Daniel Gnad;Hoffmann,Jörg:恒星拓扑解耦状态空间搜索(2018)
  5. 2018年,夏尔瓦·席尔瓦(Jomalial),解决方案
  6. Fotakis,Dimitris;Kaporis,Alexis C.;Lianeas,Thanasis;Spirakis,Paul G.:解决随机网络中的Braess悖论(2017)
  7. Hutter,Frank;Lindauer,Marius;Balint,Adrian;Bayless,Sam;Hoos,Holger;Leyton Brown,Kevin:可配置SAT解算器挑战赛(CSSC)(2017)
  8. Karapetyan,Daniel;Punnen,Abraham P.;Parkes,Andrew J.:二部布尔二次规划问题的马尔可夫链方法(2017)
  9. Paes,Aline;Zaverucha,Gerson;Costa,Vítor Santos:关于使用随机局部搜索技术从实例中修正一阶逻辑理论(2017)
  10. Steinmetz,Marcel;Hoffmann,Jörg:状态空间搜索nogood learning:规划中关键路径死端检测器的在线优化(2017)
  11. Surynek,Pavel:基于时间扩展图的协同寻径优化求解命题编码(2017)
  12. Wang,Jinyan;Yin,Minghao;Wu,Jingli:模型计数的两种近似算法(2017)
  13. Daniel Berend;Twitto,Yochai:随机最大(r)-SAT的归一化自相关长度以概率收敛到((1-1/2^r)/r)(2016)
  14. Bischl,Bernd;Kerschke,Pascal;Kotthoff,Lars;Lindauer,Marius;Malitsky,Yuri;Fréchette,Alexandre;Hoos,Holger;Hutter,Frank;Leyton Brown,Kevin;Tierney,Kevin;Vanshoren,Joaquin:ASlib:算法选择的基准库(2016)
  15. Triska,Markus:SWI prolog的布尔约束求解器(系统描述)(2016)
  16. Adam Douglass,Adam;King,Andrew D.;Raymond,Jack:用量子退火器构建SAT滤波器(2015)
  17. 高建;王建安;尹明浩:编制可满足性问题的相变实验分析(2015)ioport公司
  18. Wagner,Glenn;Choset,Howie:多机器人路径规划的子维度扩展(2015)
  19. 王金燕;尹明浩;吴敬礼:基于扩展规则的近似模型计数(2015)
  20. Angione,Claudio;Occhipinti,Analisa;Nicosia,Giuseppe:Maxwell Boltzmann和Bose-Einstein统计分布的满意度(2014)

1 2 ... 9 10 11 下一个