×

链卫星

swMATH ID: 9444
软件作者: M.Alava、J.Ardelius、E.Aurell、P.Kaski、S.Krishnamurthy、P.Orponen、S.Seitz
描述: 在求解随机约束满足问题时,普遍存在着规避下降现象。我们研究了K-SAT问题随机实例的随机局部搜索算法的性能。我们提出了一种随机局部搜索算法ChainSAT,该算法通过永不上升的能量,在问题实例的能量景观中移动。ChainSTAT是一种聚焦算法,因为它专注于出现在未满足子句中的变量。我们通过大量的数值研究表明,ChainSAT和其他聚焦算法几乎可以在线性时间内解决大型K-SAT实例,达到高子句与变量比率α;例如,对于K=4,我们观察到的线性时间性能远远超出了解决方案空间中最近假设的聚类和凝聚转换。ChainSAT的性能令人惊讶,因为通过设计,算法陷入了它遇到的第一个局部能量最小值,但没有遇到这样的最小值。我们还研究了随机局部搜索算法访问的解空间的几何结构。
主页: http://www.pnas.org/content/105/40/15253.short网站
相关软件: 徒步旅行;ManySAT公司;TTTPLOTS公司;局部解算器;彗星;电网BnB;斯派罗2011;PaMiraXT公司;CSPLib数据库;佩尔;c-sat卫星;;BG徒步SAT
引用于: 8文件

按年份列出的引文