Abstract:Simulated annealing (SA) attracts more attention among classical heuristic algorithms because many combinatorial optimization problems can be easily recast as the ground state search problem of the Ising Hamiltonian. However, for practical implementation, the annealing process cannot be arbitrarily slow and hence, it may deviate from the expected stationary Boltzmann distribution and become trapped in a local energy minimum. To overcome this problem, this paper proposes a heuristic search algorithm by expanding search space from a Markov chain to a recursive depth limited tree based on SA, where the parent and child nodes represent the current and future spin states. At each iteration, the algorithm selects the best near-optimal solution within the feasible search space by exploring along the tree in the sense of "look ahead". Furthermore, motivated by the coherent Ising machine (CIM), the discrete representation of spin states is relaxed to a continuous representation with a regularization term, which enables the use of the reduced dynamics of the oscillators to explore the surrounding neighborhood of the selected tree nodes. We tested our algorithm on a representative NP-hard problem (MAX-CUT) to illustrate the effectiveness of the proposed algorithm compared to semi-definite programming (SDP), SA, and simulated CIM. Our results show that with the primal heuristics SA and CIM, our high-level tree search strategy is able to provide solutions within fewer epochs for Ising formulated combinatorial optimization problems.

Two Heuristic Strategies for Solving Satisfiability Problem

An enhanced heuristic searching algorithm for complicated constrained optimization problems

Improving Two-mode Algorithm Via Probabilistic Selection for Solving Satisfiability Problem

An algorithm based on tabu search for satisfiability problem

General Method for Solving Four Types of SAT Problems

Two Spatial Constraint Solving Algorithms

Optimization Analyses and Studies Based on the Simulated Annealing Algorithm

A Heuristic Complete Algorithm for SAT Problem by Approximation Solution

Geometric Constraint Satisfaction Using Genetic Simulated Annealing Algorithm

Solving SAT Problem by Heuristic Polarity Decision-Making Algorithm

Improving probability selection based weights for satisfiability problems

An Efficient Resolution Based Algorithm for SAT

Bayesian Optimization Algorithm for SAT Problem Incorporating Heuristic Operator

A tree search algorithm towards solving Ising formulated combinatorial optimization problems

Solving Geometric Constraints with Genetic Simulated Annealing Algorithm

Advances in Satisfiability Solving Techniques

Satisfiability and Integer Programming As Complementary Tools

New Boolean satisfiability problem heuristic strategy: Minimal Positive Negative Product Strategy

Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems

Symbiosis of Search and Heuristics for Random 3-SAT

Simulated annealing method on global optimization of nonconvex NLP problems