Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Statistical Regimes Across Constrainedness Regions

Carla P. GomesContact Information, Cèsar FernándezContact Information, Bart SelmanContact Information and Christian BessièreContact Information

(1)  Department of Computer Science, Cornell University, Ithaca, USA
(2)  Department d'Informàtica, Universitat de Lleida, Jaume II, 69, E-25001 Lheida, Spain
(3)  LIRMM-CNRS, 161 rue Ada, 34392 Montpellier Cedex 5, France

Abstract  Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of problem hardness, typical case complexity, and backtrack search behavior has been obtained. One example of a recent insight into backtrack search concerns so-called heavy-tailed behavior in randomized versions of backtrack search. Such heavy-tails explain the large variance in runtime often observed in practice. However, heavy-tailed behavior does certainly not occur on all instances. This has led to a need for a more precise characterization of when heavy-tailedness does and when it does not occur in backtrack search. In this paper, we provide such a characterization. We identify different statistical regimes of the tail of the runtime distributions of randomized backtrack search methods and show how they are correlated with the “sophistication” of the search procedure combined with the inherent hardness of the instances. We also show that the runtime distribution regime is highly correlated with the distribution of the depth of inconsistent subtrees discovered during the search. In particular, we show that an exponential distribution of the depth of inconsistent subtrees combined with a search space that grows exponentially with the depth of the inconsistent subtrees implies heavy-tailed behavior.

Keywords  backtrack search - runtime distributions - heavy-tailed distributions - phase transitions - typical case analysis

Research supported by the Intelligent Information Systems Institute, Cornell University (AFOSR grant F49620-01-1-0076), MURI (AFOSR grant F49620-01-1-0361) and Ministerio de Educación y Ciencia (TIN-2004 grant 07933-C03-03). We thank the anonymous reviewers for their insightful comments.

Contact Information Carla P. Gomes
Email: gomes@cs.cornell.edu

Contact Information Cèsar Fernández
Email: cesar@eps.udl.es

Contact Information Bart Selman
Email: selman@cs.cornell.edu

Contact Information Christian Bessière
Email: bessiere@lirmm.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this article
Export this article as RIS | Text
 
Referenced by
2 newer articles

  1. Kovács, András (2009) A global constraint for total weighted completion time for unary resources. Constraints
    [CrossRef]
  2. Heckman, Ivan (2009) Understanding the behavior of Solution-Guided Search for job-shop scheduling. Journal of Scheduling
    [CrossRef]
Remote Address: 38.107.191.111 • Server: mpweb21
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)