DeepAI AI Chat
Log In Sign Up

Implicit State and Goals in QBF Encodings for Positional Games (extended version)

01/18/2023
by   Irfansha Shaik, et al.
0

We address two bottlenecks for concise QBF encodings of maker-breaker positional games, like Hex and Tic-Tac-Toe. Our baseline is a QBF encoding with explicit variables for board positions and an explicit representation of winning configurations. The first improvement is inspired by lifted planning and avoids variables for explicit board positions, introducing a universal quantifier representing a symbolic board state. The second improvement represents the winning configurations implicitly, exploiting their structure. The paper evaluates the size of several encodings, depending on board size and game depth. It also reports the performance of QBF solvers on these encodings. We evaluate the techniques on Hex instances and also apply them to Harary's Tic-Tac-Toe. In particular, we study scalability to 19×19 boards, played in human Hex tournaments.

READ FULL TEXT

page 1

page 2

page 3

page 4

11/14/2014

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games

Simple board games, like Tic-Tac-Toe and CONNECT-4, play an important ro...
03/08/2022

Logic-based AI for Interpretable Board Game Winner Prediction with Tsetlin Machine

Hex is a turn-based two-player connection game with a high branching fac...
01/17/2022

Spatial State-Action Features for General Games

In many board games and other abstract games, patterns have been used as...
07/29/2022

Designing Programming Exercises from Board Games

This paper introduces a collection of board games specifically chosen to...
01/10/2023

Measuring Board Game Distance

This paper presents a general approach for measuring distances between b...
09/10/2020

Finite Group Equivariant Neural Networks for Games

Games such as go, chess and checkers have multiple equivalent game state...
01/27/2020

Polygames: Improved Zero Learning

Since DeepMind's AlphaZero, Zero learning quickly became the state-of-th...