利用受挫循环生成加权MAX-2-SAT实例：RBM案例研究
Yan Ru Pei、Haik Manukian、Massimiliano Di Ventra; 21(159):1−55, 2020.
摘要
许多优化问题可以转化为最大可满足性（MAX-SAT）形式，并且已经开发了许多求解器来解决此类问题。要评估MAXSAT解算器，可以方便地使用已知解生成硬MAX-SAT实例。在这里，我们提出了一种生成加权MAX-2-SAT实例的方法，该方法受到量子退火团体使用的阻挠-停止算法的启发。我们将该算法推广到一般二部耦合的情况，相关的优化问题是使节点值上的受限Boltzmann机器（RBM）能量最小化，这有助于有效地预训练RBM。生成实例的硬度可以通过称为挫折指数的中心参数进行调整。给出了该算法的两个版本：随机循环算法和结构化循环算法。对于随机Lop算法，我们从挫败度的角度对其数学性质进行了深入的理论和实证分析，并在挫败度指数驱动的硬度标度行为中观察到了双相变行为。对于结构化回路算法，我们表明，在高回路密度的情况下，它比随机回路算法在硬度上有了改进，硬度的变化可以通过受挫权重的集中进行调节。
[腹肌]
[pdf格式][围兜] [代码]
