链卫星 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文件 全部的 前5名21位作者引用 3 吉勒亨·塞梅尔健 2 克劳迪奥·安吉奥内 2 路易丝·布丁斯基 2 朱塞佩·尼科西亚 2 安娜丽莎·奥奇芬蒂 1 萨尔瓦多阿布雷乌 1 阿奇利奥普塔斯,迪米特里斯 1 安德烈亚斯·阿尔布雷希特。 1 阿尔弗雷多·布劳恩斯坦 1 伊夫·卡尼奥 1 菲利普·科多涅特 1 卢卡·达尔阿斯塔 1 丹尼尔·迪亚兹 1 Iliopoulos,福蒂斯 1 弗拉基米尔·科尔莫戈罗夫 1 彼得·C·R·莱恩。 1 费德里科·里奇·泰辛吉 1 佛罗里达州里丘 1 Steinhöfel,Kathleen K。 1 乔瓦尼·斯特拉夸达尼奥 1 伦卡州兹德博罗娃 全部的 前5名6篇连载文章中引用 3 统计力学杂志:理论与实验 1 SIAM计算机杂志 1 欧洲运筹学杂志 1 限制条件 1 ACM实验算法杂志 1 计算机科学中的数学 在5个字段中引用 6 计算机科学(68至XX) 3 统计力学,物质结构(82-XX) 3 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文