链式卫星

在求解随机约束满足问题时,谨慎下降占优势。研究了随机局部搜索算法对K-可满足性(K-SAT)问题随机实例的性能。我们提出了一种随机局部搜索算法ChainSAT,它在问题实例的能量分布中不向上移动。ChainSAT是一种重点算法,它关注的是出现在未满足条件的子句中的变量。我们通过大量的数值研究表明,ChainSAT和其他聚焦算法几乎可以在线性时间内解决大型K-SAT实例,高达高子句与可变比率α;例如,对于K=4,我们观察到的线性时间性能远远超过了最近假设的解空间中的聚类和凝聚转变。ChainSAT的性能令人惊讶,因为通过设计,算法陷入了它遇到的第一个局部能量最小值,但是没有遇到这样的极小值。我们还研究了随机局部搜索算法访问的解空间的几何性质。


zbMATH参考文献(参考 7篇文章 参考)

显示结果1到7,共7个。
按年份排序(引用)

  1. Achlioptas,Dimitris;Iliopoulos,Fotis;Kolmogorov,Vladimir:聚焦随机算法的局部引理(2019)
  2. Caniou,Yves;Codognet,Philippe;Richoux,Florian;Diaz,Daniel;Abreu,Salvador:基于约束的局部搜索的大规模并行:costas数组案例研究(2015)
  3. Angione,Claudio;Occhipinti,Analisa;Nicosia,Giuseppe:Maxwell Boltzmann和Bose-Einstein统计分布的满意度(2014)
  4. Angione,Claudio;Occhipinti,Analisa;Stracquadanio,Giovanni;Nicosia,Giuseppe:可满足性问题中的Bose-Einstein凝聚(2013)
  5. Ahmed,Furqan;Tirkkonen,Olav;Peltomäki,Matti;Koljonen,Juha Matti;Yu,Chia Hao;Alava,Mikko:LTE网络自组织的分布式图着色(2010)ioport公司
  6. Albrecht,A.A.;Lane,P.C.R.;Steinhöfel,K.:(K)-SAT实例的本地搜索环境分析(2010)
  7. Alava,Mikko;Ardelius,John;Aurell,Erik;Kaski,Petteri;Krishnamurthy,Supriya;Orponen,Pekka;Seitz,Sakari:在解决随机约束满足问题时,谨慎下降占优势(2007年)ioport公司