Language:   Search:   Contact
World of
Mathematics
Database
»ZMATH«
MSC 2000
MSC 2010
Reviewer
Service
Subscription
»ZMATH«
ZMATH Database | Simple Search Print
Read more | Try MathML | Hide
Zentralblatt MATH has released its new 2010 interface!

ZMATH Database Simple Search Advanced Search Command Search

Simple Search

Query:
Enter a query and click »Search«...
Format:
Display: entries per page entries
Zbl 0971.68147
Korf, R.E.; Reid, M.; Edelkamp, S.
Time complexity of iterative-deepening-$A^{*}$.
(English)
[J] Artif. Intell. 129, No.1-2, 199-218 (2001). ISSN 0004-3702

Summary: We analyze the time complexity of iterative-deepening-A$^{*}$ (IDA$^{*}).$ We first show how to calculate the exact number of nodes at a given depth of a regular search tree, and the asymptotic brute-force branching factor. We then use this result to analyze IDA$^{*}$ with a consistent, admissible heuristic function. Previous analyses relied on an abstract analytic model, and characterized the heuristic function in terms of its accuracy, but do not apply to concrete problems. In contrast, our analysis allows us to accurately predict the performance of IDA$^{*}$ on actual problems such as the sliding-tile puzzles and Rubik's Cube. The heuristic function is characterized by the distribution of heuristic values over the problem space. Contrary to conventional wisdom, our analysis shows that the asymptotic heuristic branching factor is the same as the brute-force branching factor. Thus, the effect of a heuristic function is to reduce the effective depth of search by a constant, relative to a brute-force search, rather than reducing the effective branching factor.
MSC 2000:
*68T20 Problem solving
68Q25 Analysis of algorithms and problem complexity

Keywords: problem solving; heuristic search; iterative-deepening-A; time complexity; branching factor; heuristic branching factor; sliding-tile puzzles; eight puzzle; fifteen puzzle; Rubik's Cube

Login Username: Password:

Highlights
Overhang
Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.
Elementary number theory. Primes, congruences, and secrets.

Master Server

Zentralblatt MATH Berlin [Germany]

© FIZ Karlsruhe GmbH

Zentralblatt MATH master server is maintained by the Editorial Office in Berlin, Section Mathematics and Computer Science of FIZ Karlsruhe and is updated daily.

Other Mirror Sites



Copyright © 2010 Zentralblatt MATH | European Mathematical Society | FIZ Karlsruhe | Heidelberg Academy of Sciences
Published by Springer-Verlag | Webmaster