Anytime AND/OR depth-first search for combinatorial optimization

  • Authors:
  • Lars Otten;Rina Dechter

  • Affiliations:
  • (Correspd. E-mail: lotten@ics.uci.edu) Department of Computer Science, University of California, Donald Bren Hall, Irvine, CA 92697, USA. Fax: +1 949 824 4056/ E-mails: {lotten, dechter}@ics.uci.e ...;Department of Computer Science, University of California, Donald Bren Hall, Irvine, CA 92697, USA. Fax: +1 949 824 4056/ E-mails: {lotten, dechter}@ics.uci.edu

  • Venue:
  • AI Communications - The Symposium on Combinatorial Search
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

One popular and efficient scheme for solving combinatorial optimization problems over graphical models exactly is depth-first Branch and Bound. However, when the algorithm exploits problem decomposition using AND/OR search spaces, its anytime behavior breaks down. This article (1) analyzes and demonstrates this inherent conflict between effective exploitation of problem decomposition (through AND/OR search spaces) and the anytime behavior of depth-first search (DFS), (2) presents a new search scheme to address this issue while maintaining desirable DFS memory properties, and (3) analyzes and demonstrates its effectiveness through comprehensive empirical evaluation. Our work is applicable to any problem that can be cast as search over an AND/OR search space.