DeepAI AI Chat
Log In Sign Up

On AO*, Proof Number Search and Minimax Search

03/30/2021
by   Chao Gao, et al.
0

We discuss the interconnections between AO*, adversarial game-searching algorithms, e.g., proof number search and minimax search. The former was developed in the context of a general AND/OR graph model, while the latter were mostly presented in game-trees which are sometimes modeled using AND/OR trees. It is thus worth investigating to what extent these algorithms are related and how they are connected. In this paper, we explicate the interconnections between these search paradigms. We argue that generalized proof number search might be regarded as a more informed replacement of AO* for solving arbitrary AND/OR graphs, and the minimax principle might also extended to use dual heuristics.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/05/2021

Towards solving the 7-in-a-row game

Our paper explores the game theoretic value of the 7-in-a-row game. We r...
04/05/2014

Nearly Optimal Minimax Tree Search?

Knuth and Moore presented a theoretical lower bound on the number of lea...
02/08/2021

On Computation Complexity of True Proof Number Search

We point out that the computation of true proof and disproof numbers for...
03/30/2018

On the Diameter of Tree Associahedra

We consider a natural notion of search trees on graphs, which we show is...
05/07/2015

Best-First and Depth-First Minimax Search in Practice

Most practitioners use a variant of the Alpha-Beta algorithm, a simple d...
05/06/2021

Searching by Heterogeneous Agents

In this work we introduce and study a pursuit-evasion game in which the ...
04/22/2022

The mixed search game against an agile and visible fugitive is monotone

We consider the mixed search game against an agile and visible fugitive....