Tuned Simulated Annealing Based on Boltzmann and Bose-Einstein Distribution Applied to Maxsat Problem
In this paper, a hybrid Simulated Annealing algorithm using Boltzmann and Bose-Einstein Distributions (SABBE) is proposed. SABBE was designed for solving satisfiability (SAT) instances, and it has three phases: i) BP (Boltzmann Phase), ii) BEP (Bose-Einstein Phase), and iii) DEP (Dynamical Equilibrium Phase). BP and BEP are simulated annealing searching procedures based on Boltzmann and Bose-Einstein distributions respectively. BP ranges from high to low temperature values, while BEP goes from low to very low temperatures. Another simulated annealing search procedure, DEP, is applied at the final temperature of the second phase. However, DEP uses a particular heuristic for detection of stochastic equilibrium by employing a least squares method during its execution. Finally, SABBE parameters are tuned with an analytical method, which considers the maximal and minimal deterioration of SAT instances.
Year of publication: |
2014
|
---|---|
Authors: | Frausto-Solis, Juan |
Published in: |
Journal of Asian Scientific Research. - Asian Economic and Social Society. - Vol. 4.2014, 1, p. 14-26
|
Publisher: |
Asian Economic and Social Society |
Subject: | C630 - Computational Techniques | Simulated Annealing | Heuristic Algorithms |
Saved in:
freely available
Saved in favorites
Similar items by subject
-
Heuristic Algorithms for the Multiple Depot Vehicle Scheduling Problem
Dell'Amico, Mauro, (1993)
-
Planning for Agricultural Forage Harvesters and Trucks: Model, Heuristics, and Case Study
Blanco, Victor, (2010)
-
A Comprehensive System for the Exploration and Analysis of Hydrological Data
Tsakalias, George, (1999)
- More ...