We propose two new online methods for estimating the size of a backtracking search tree. The first method is based on a weighted sample of the branches visited by chronologi-cal backtracking. The second is a recursive method based on assuming that the unexplored part of the search tree will be similar to the part we have so far explored. We compare these methods against an old method due to Knuth based on random probing. We show that these methods can reliably estimate the size of search trees explored by both optimiza-tion and decision procedures. We also demonstrate that these methods for estimating search tree size can be used to select the algorithm likely to perform best on a particular problem instance
Affordable, fast computers with large memories have lessened the demand for program efficiency, but ...
When not enough time is available to fully explore a search tree, different algorithms will visit di...
Ordinary digital search trees (DSTs) stores one word in each of its internal nodes and leaves, but a...
We propose two new online methods for estimating the size of a backtracking search tree. The first m...
We propose two new online methods for estimating the size of a backtracking search tree. The first m...
We show how recently-defined abstract models of the Branch & Bound algorithm can be used to obta...
The SAT and CSP communities make a great use of search effort comparisons to assess the validity of ...
We propose a simple and general online method to measure the search progress within the Branch-and-B...
This paper derives upper bounds on the expected number of search tree nodes visited during an m-solu...
Consider an infinite binary search tree in which the branches have independent random costs. Suppose...
Many practical problems in Artificial Intelligence have search trees that are too large to search ex...
eaburns at cs.unh.edu and ruml at cs.unh.edu Abstract. The memory requirements of best-first graph s...
This thesis aims to analyze the costs of various binary search tree (BST) algorithms. BST is one of ...
Abstract. In this survey we present results and the used proof techniques concerning the analysis of...
In this paper we introduce Stratified Sampling with Du-plicate Detection (SSDD), an algorithm for es...
Affordable, fast computers with large memories have lessened the demand for program efficiency, but ...
When not enough time is available to fully explore a search tree, different algorithms will visit di...
Ordinary digital search trees (DSTs) stores one word in each of its internal nodes and leaves, but a...
We propose two new online methods for estimating the size of a backtracking search tree. The first m...
We propose two new online methods for estimating the size of a backtracking search tree. The first m...
We show how recently-defined abstract models of the Branch & Bound algorithm can be used to obta...
The SAT and CSP communities make a great use of search effort comparisons to assess the validity of ...
We propose a simple and general online method to measure the search progress within the Branch-and-B...
This paper derives upper bounds on the expected number of search tree nodes visited during an m-solu...
Consider an infinite binary search tree in which the branches have independent random costs. Suppose...
Many practical problems in Artificial Intelligence have search trees that are too large to search ex...
eaburns at cs.unh.edu and ruml at cs.unh.edu Abstract. The memory requirements of best-first graph s...
This thesis aims to analyze the costs of various binary search tree (BST) algorithms. BST is one of ...
Abstract. In this survey we present results and the used proof techniques concerning the analysis of...
In this paper we introduce Stratified Sampling with Du-plicate Detection (SSDD), an algorithm for es...
Affordable, fast computers with large memories have lessened the demand for program efficiency, but ...
When not enough time is available to fully explore a search tree, different algorithms will visit di...
Ordinary digital search trees (DSTs) stores one word in each of its internal nodes and leaves, but a...