Error Analysis and Correction for Weighted A*'s Suboptimality (Extended Version)

05/27/2019
by   Robert C. Holte, et al.
0

Weighted A* (wA*) is a widely used algorithm for rapidly, but suboptimally, solving planning and search problems. The cost of the solution it produces is guaranteed to be at most W times the optimal solution cost, where W is the weight wA* uses in prioritizing open nodes. W is therefore a suboptimality bound for the solution produced by wA*. There is broad consensus that this bound is not very accurate, that the actual suboptimality of wA*'s solution is often much less than W times optimal. However, there is very little published evidence supporting that view, and no existing explanation of why W is a poor bound. This paper fills in these gaps in the literature. We begin with a large-scale experiment demonstrating that, across a wide variety of domains and heuristics for those domains, W is indeed very often far from the true suboptimality of wA*'s solution. We then analytically identify the potential sources of error. Finally, we present a practical method for correcting for two of these sources of error and experimentally show that the correction frequently eliminates much of the error.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/18/2023

Optimal error bounds on the exponential wave integrator for the nonlinear Schrödinger equation with low regularity potential and nonlinearity

We establish optimal error bounds for the exponential wave integrator (E...
research
03/06/2020

A posteriori Error Estimation for the Spectral Deferred Correction Method

The spectral deferred correction method is a variant of the deferred cor...
research
07/21/2017

Towards learning domain-independent planning heuristics

Automated planning remains one of the most general paradigms in Artifici...
research
02/27/2015

Error-Correcting Factorization

Error Correcting Output Codes (ECOC) is a successful technique in multi-...
research
11/22/2022

The Burer-Monteiro SDP method can fail even above the Barvinok-Pataki bound

The most widely used technique for solving large-scale semidefinite prog...
research
04/02/2022

A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems

Verification planning is a sequential decision-making problem that speci...

Please sign up or login with your details

Forgot password? Click here to reset