Uncertainty in Artificial Intelligence
First Name   Last Name   Password   Forgot Password   Log in!
    Proceedings         Authors   Author's Info   Article details         Search    
Evaluating Las Vegas Algorithms - Pitfalls and Remedies
Holger Hoos, Thomas Stutzle
Abstract:
Stochastic search algorithms are among the most sucessful approaches for solving hard combinatorial problems. A large class of stochastic search approaches can be cast into the framework of Las Vegas Algorithms (LVAs). As the run-time behavior of LVAs is characterized by random variables, the detailed knowledge of run-time distributions provides important information for the analysis of these algorithms. In this paper we propose a novel methodology for evaluating the performance of LVAs, based on the identification of empirical run-time distributions. We exemplify our approach by applying it to Stochastic Local Search (SLS) algorithms for the satisfiability problem (SAT) in propositional logic. We point out pitfalls arising from the use of improper empirical methods and discuss the benefits of the proposed methodology for evaluating and comparing LVAs.
Keywords: Las Vegas algorithms, empirical analysis of algorithms, stochastic local search, sati
Pages: 238-245
PS Link: http://www.intellektik.informatik.th-darmstadt.de/~hoos/ps/uai98.ps
PDF Link: /papers/98/p238-hoos.pdf
BibTex:
@INPROCEEDINGS{Hoos98,
AUTHOR = "Holger Hoos and Thomas Stutzle",
TITLE = "Evaluating Las Vegas Algorithms - Pitfalls and Remedies",
BOOKTITLE = "Proceedings of the Fourteenth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-98)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Francisco, CA",
YEAR = "1998",
PAGES = "238--245"
}


hosted by DSL   •   site info   •   help