Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · cond-mat/0408190

From spin glasses to hard satisfiable formulas

Haixia Jia·Cristopher Moore·Bart Selman
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce a highly structured family of hard satisfiable 3-SAT formulas corresponding to an ordered spin-glass model from statistical physics. This model has provably "glassy" behavior; that is, it has many local optima with large energy barriers between them, so that local search algorithms get stuck and have difficulty finding the true ground state, i.e., the unique satisfying assignment. We test the hardness of our formulas with two Davis-Putnam solvers, Satz and zChaff, the recently introduced Survey Propagation (SP), and two local search algorithms, Walksat and Record-to-Record Travel (RRT). We compare our formulas to random 3-XOR-SAT formulas and to two other generators of hard satisfiable instances, the minimum disagreement parity formulas of Crawford et al., and Hirsch's hgen. For the complete solvers the running time of our formulas grows exponentially in sqrt(n), and exceeds that of random 3-XOR-SAT formulas for small problem sizes. SP is unable to solve our formulas with as few as 25 variables. For Walksat, our formulas appear to be harder than any other known generator of satisfiable instances. Finally, our formulas can be solved efficiently by RRT but only if the parameter d is tuned to the height of the barriers between local minima, and we use this parameter to measure the barrier heights in random 3-XOR-SAT formulas as well.

Explore related subjects

cond-mat.stat-mechcond-mat.dis-nncs.AI

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Haixia Jia, Cristopher Moore, Bart Selman. 2012-10-17. From spin glasses to hard satisfiable formulas. https://arxiv.org/abs/cond-mat/0408190

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Nonuniform asymmetric exclusion process: Stationary densities and domain walls

We compute the stationary densities in totally asymmetric exclusion processes (TASEP) with open boundary conditions and spatially nonuniform hopping rates. The stationary densities in the low and and high density phases can be discontinuous, only when the space-dependent hopping rate is spatially discontinuous. In contrast, the stationary density profile in the maximal current phase can be discontinuous, even when the space-dependent hopping rate is continuous. We further investigate the domain walls, which are delocalised with complex shapes. In striking contrast to a delocalised domain wall (DDW) in an open, uniform TASEP, these DDWs can also form at the transitions between the low or high density phases and maximal current phase, and can cover the entire TASEP channel or a part of it, depending upon the specific forms of the site-dependence of the hopping rates and the associated phase transitions. We calculate their envelopes, which are curved lines, revealing their dependence on the spatial nonuniformity of the hopping rates. The phase diagrams in the plane of the control parameters show universal topology. The associated phase transitions are explored, which can be different from their counterparts in an open uniform TASEP.

cond-mat.stat-mech↗
arXiv2026

Intermittency in Wind-Driven Fires

We construct a wind-driven forest-fire model in one dimension in which a fire can jump gaps between trees to ignite disjoint downwind forests. The size of a gap that a fire can jump depends on the fire intensity, which increases as the fire propagates through trees and diminishes as the fire jumps gaps. Trees grow on empty sites at rate $r$ and lightning strikes each site with rate $f$. When $f\ll r/L$, where $L$ is the system length, lightning is sufficiently rare that quasi-deterministic dynamics arises where all trees are consumed when a lightning-induced fire occurs. For $f\gg L^{-μ}$ with $μ\approx 0.8$, lightning is sufficiently frequent that a steady state is reached, but with unexpected behaviors for the forest- and gap-size distributions. Intermittency arises in between these regimes, with coexisting temporal domains of deterministic and chaotic dynamics.

cond-mat.stat-mech↗
arXiv2026

Uphill and downhill first passage of an active Brownian particle: Asymmetry and exact path reweighting

First passage processes in active systems combine stochastic transport with self-propulsion and orientational persistence, making motion along and against an external bias sensitive to the internal active dynamics. For passive biased diffusion, opposite exits can have different splitting probabilities while their conditional first passage time distributions remain identical. We study how this relation changes for an active Brownian particle driven by a constant external force between two absorbing boundaries. Self-propulsion breaks the equality of the uphill and downhill first passage time distributions and modifies the splitting probabilities. Nevertheless, the two directional path ensembles remain exactly related by spatial reflection, which pairs downhill and uphill first passage paths of the same duration while preserving their orientational history. The log-ratio of the probabilities of a path and its reflected partner defines a path-dependent asymmetry functional and provides an exact reweighting between the two ensembles. In the symmetric half-weighted representation, the uphill and downhill first passage time distributions coincide for arbitrary orientational persistence. The same path relation also allows rare uphill statistics to be reconstructed from the more frequently sampled downhill trajectories. Numerical simulations confirm the weighted equality across the explored bias and persistence regimes, while perturbative and asymptotic analyses clarify how orientational persistence produces the directional asymmetry of the unweighted statistics. The exact relation between the two directional path ensembles suggests that similar symmetry-based reconstruction protocols may be found in other nonequilibrium first-passage problems.

cond-mat.stat-mech↗