Comparing Extremal and Hysteretic Optimization on the Satisfiability Problem

ORAL

Abstract

We apply physically inspired optimization methods to the classical combinatorial Satisfiablity problem. Treating the usual boolean variables as Ising spins and each clause as a p-spin interaction we can use the pre-existing physical intuition about spin glasses and magnetic systems to find the optimal solution for this problem (the ground state energy). We compare the performance of Extremal Optimization\footnote{PRL 23:5211, 2001} ($\tau EO$) and Hysteretic Optimization\footnote{PRL 89:150201, 2002} ($HO$) and determine the parameter values that provide the best results. Comparisons with previously published results on well known benchmarks\footnote{DIMACS 35:393, 1997} are also made.

Authors

  • Bruno Gon\c{c}alves

    Emory University

  • Stefan Boettcher

    Emory University, Physics Department, Emory University