DMCA
Efficient initial solution to extremal optimization algorithm for weighted MAXSAT problem (2003)
| Venue: | In Proceedings of the 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-2003), LNAI 2718 |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Menai03efficientinitial,
author = {Mohamed El-bachir Menai and Mohamed Batouche},
title = {Efficient initial solution to extremal optimization algorithm for weighted MAXSAT problem},
booktitle = {In Proceedings of the 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-2003), LNAI 2718},
year = {2003},
pages = {592--603},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Stochastic local search algorithms are proved to be one of the most effective approach for computing approximate solutions of hard combinatorial problems. Most of them are based on a typical randomness related to some uniform distributions for generating initial solutions. Particularly, Extremal Optimization is a recent meta-heuristic proposed for finding high quality solutions to hard optimization problems. In this paper, we introduce an algorithm based on another distribution, known as the Bose-Einstein distribution in quantum physics, which provides a new stochastic initialization scheme to an Extremal Optimization procedure. The resulting algorithm is proposed for the approximated solution to an instance of the weighted maximum satisfiability problem (MAX SAT). We examine its effectiveness by computational experiments on a large set of test instances and compare it with other existing meta-heuristic methods. Our results are remarkable and show that this approach is appropriate for this class of problems. 1
Keyphrases
efficient initial solution optimization algorithm weighted maxsat problem initial solution uniform distribution quantum physic test instance hard optimization problem typical randomness computational experiment stochastic local search algorithm meta-heuristic method effective approach extremal optimization procedure large set extremal optimization hard combinatorial problem bose-einstein distribution new stochastic initialization scheme max sat approximate solution weighted maximum satisfiability problem approximated solution high quality solution
