Abstract. There has been considerable research interest into the sol-ubility phase transition, and its eect on search cost for backtracking algorithms. In this paper we show that a similar easy-hard-easy pattern occurs for local search, with search cost peaking at the phase transition. This is despite problems beyond the phase transition having fewer solu-tions, which intuitively should make the problems harder to solve. We examine the relationship between search cost and number of solutions at dierent points across the phase transition, for three dierent local search procedures, across two problem classes (CSP and SAT). Our nd-ings show that there is a signicant correlation, which changes as we move through the phase transition
The easy-hard-easy pattern in the difficulty of combinatorial search problems as constraints are add...
In many domains, different actions have different costs. In this paper, we show that various kinds o...
Random k-CNF formulas at the anticipated k-SAT phase-transition point are prototypical hard k-SAT in...
We show that a rescaled constrainedness parameter provides the basis for accurate numerical models o...
AbstractWe describe how techniques that were originally developed in statistical mechanics can be ap...
AbstractMany recent studies have identified phase transitions from under- to overconstrained instanc...
In the recent years, there has been significant work on the difficulty of heuristic search problems,...
AbstractIn recent years, numerous studies have observed that many hard combinatorial decision proble...
Real-time heuristic search algorithms are suitable for situated agents that need to make their decis...
We study the scaling properties of sequential and parallel versions of a local search algorithm, Wal...
Phase transitions in the solubility of problem instances are known in many types of computational pr...
We study the scaling properties of sequential and parallel ver-sions of a local search algorithm, Wa...
The local search algorithm WSat is one of the most successful algorithms for solving the satisabilit...
Local search algorithms for global optimization often suffer from getting trapped in a local optimum...
This paper addresses the following question: what is the essential difference between stochastic loc...
The easy-hard-easy pattern in the difficulty of combinatorial search problems as constraints are add...
In many domains, different actions have different costs. In this paper, we show that various kinds o...
Random k-CNF formulas at the anticipated k-SAT phase-transition point are prototypical hard k-SAT in...
We show that a rescaled constrainedness parameter provides the basis for accurate numerical models o...
AbstractWe describe how techniques that were originally developed in statistical mechanics can be ap...
AbstractMany recent studies have identified phase transitions from under- to overconstrained instanc...
In the recent years, there has been significant work on the difficulty of heuristic search problems,...
AbstractIn recent years, numerous studies have observed that many hard combinatorial decision proble...
Real-time heuristic search algorithms are suitable for situated agents that need to make their decis...
We study the scaling properties of sequential and parallel versions of a local search algorithm, Wal...
Phase transitions in the solubility of problem instances are known in many types of computational pr...
We study the scaling properties of sequential and parallel ver-sions of a local search algorithm, Wa...
The local search algorithm WSat is one of the most successful algorithms for solving the satisabilit...
Local search algorithms for global optimization often suffer from getting trapped in a local optimum...
This paper addresses the following question: what is the essential difference between stochastic loc...
The easy-hard-easy pattern in the difficulty of combinatorial search problems as constraints are add...
In many domains, different actions have different costs. In this paper, we show that various kinds o...
Random k-CNF formulas at the anticipated k-SAT phase-transition point are prototypical hard k-SAT in...