Completeness of Unbounded Best-First Game Algorithms

09/11/2021
by   Quentin Cohen-Solal, et al.
0

In this article, we prove the completeness of the following game search algorithms: unbounded best-first minimax with completion and descent with completion, i.e. we show that, with enough time, they find the best game strategy. We then generalize these two algorithms in the context of perfect information multiplayer games. We show that these generalizations are also complete: they find one of the equilibrium points.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/09/2012

Experiments with Game Tree Search in Real-Time Strategy Games

Game tree search algorithms such as minimax have been used with enormous...
research
06/07/2018

Gamorithm

Examining games from a fresh perspective we present the idea of game-ins...
research
10/12/2018

Granularity of wagers in games and the (im)possibility of savings

In a casino where arbitrarily small bets are admissible, any betting str...
research
09/18/2023

Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract)

Bounded proofs are convenient to use due to the high degree of automatio...
research
06/25/2021

A Curiously Effective Backtracking Strategy for Connection Tableaux

Automated proof search with connection tableaux, such as implemented by ...
research
02/23/2018

Abstract Completion, Formalized

Completion is one of the most studied techniques in term rewriting and f...
research
08/03/2020

Learning to Play Two-Player Perfect-Information Games without Knowledge

In this paper, several techniques for learning game state evaluation fun...

Please sign up or login with your details

Forgot password? Click here to reset