An estimation method for game complexity

Alexander Yong,David Yong

DOI: https://doi.org/10.48550/arXiv.1901.11161

2019-01-30

History and Overview

Abstract:We looked at a method for estimating the complexity measure of game tree size (the number of legal games). It seems effective for a number of children's games such as Tic-Tac-Toe, Connect Four and Othello.

What problem does this paper attempt to address?

THE GAME TREE SEARCH ALGORITHM BASED ON OPTIMIZED ITERATIVE DEEPENING

Wang Qi,Sun Jianling

DOI: https://doi.org/10.3969/j.issn.1000-386X.2008.02.083

2008-01-01

Abstract:The Game is a general designation for brainpower actions,such as the chess,the card and the war.Many practical productions are gained through the research on game.The main techniques in the research on game tree search are discussed,and then an improved algorithm of game tree search based on optimized iterative deepening is presented.According to the experimental data,the new algorithm displays good performance.
On the complexity of Dark Chinese Chess

Cong Wang,Tongwei Lu

DOI: https://doi.org/10.48550/arXiv.2112.02989

IF: 14.4

2021-12-06

Artificial Intelligence

Abstract:This paper provides a complexity analysis for the game of dark Chinese chess (a.k.a. "JieQi"), a variation of Chinese chess. Dark Chinese chess combines some of the most complicated aspects of board and card games, such as long-term strategy or planning, large state space, stochastic, and imperfect-information, which make it closer to the real world decision-making problem and pose great challenges to game AI. Here we design a self-play program to calculate the game tree complexity and average information set size of the game, and propose an algorithm to calculate the number of information sets.
Evaluation of Monte Carlo tree search and the application to Go

Shogo Takeuchi,Tomoyuki Kaneko,Kazunori Yamaguchi

DOI: https://doi.org/10.1109/cig.2008.5035639

2008-12-01

Abstract:Recent improvements to Monte Carlo tree search have produced strong computer Go programs. This paper presents a method of measuring the accuracy of Monte Carlo tree search in game programming. We use the win percentage of positions in a large database of game records as a benchmark and compare the win probability obtained by simulations with the benchmark. By applying our method to Monte Carlo tree search in Go, we found differences between search methods and their parameters, and the effect of the properties of positions such as the move numbers and the existence of stones in threats. This paper also introduces numerical metrics to evaluate the performance of search methods. Our experiments in Go, as well as Chess, Othello, and Shogi revealed that the metrics were quite close to our empirical understanding of the performance of various search methods and their parameters.
Using Symbolic Computation to analyze some Children's Board Games

Shalosh B. Ekhad,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.1907.09132

2019-07-19

Abstract:In a delightful article that recently appeared in Mathematics Magazine, David and Lori Mccune analyze the board game "Count Your Chickens!", recommended to children three and up. Alas, they use the advanced theory of Markov chains, that presupposes a knowledge of linear algebra, that few three-years-olds are likely to understand. Here we present a much simpler, more intuitive, approach, that while unlikely to be understood by three-year-olds, will probably be understood by a smart 14-year-old. Moreover, our approach accomplishes much more, and is more efficient. It uses symbolic, rather than numeric computation.

History and Overview,Combinatorics,Probability
Towards a Characterisation of Monte-Carlo Tree Search Performance in Different Games

Dennis J.N.J. Soemers,Guillaume Bams,Max Persoon,Marco Rietjens,Dimitar Sladić,Stefan Stefanov,Kurt Driessens,Mark H.M. Winands

2024-06-13

Abstract:Many enhancements to Monte-Carlo Tree Search (MCTS) have been proposed over almost two decades of general game playing and other artificial intelligence research. However, our ability to characterise and understand which variants work well or poorly in which games is still lacking. This paper describes work on an initial dataset that we have built to make progress towards such an understanding: 268,386 plays among 61 different agents across 1494 distinct games. We describe a preliminary analysis and work on training predictive models on this dataset, as well as lessons learned and future plans for a new and improved version of the dataset.

Artificial Intelligence
Monte-Carlo Tree Search with Epsilon-Greedy for Game of Amazons

Chen Tian

DOI: https://doi.org/10.54254/2755-2721/6/20230956

2023-01-01

Abstract:The Game of the Amazons is an abstract strategy board game. It has a high computational complexity similar to the game of Go. Due to its NP-complete nature and large branching factor of game tree, finding the optimal move given a specific game state is infeasible and it is not trivial to design a computer algorithm that is competitive to an expert in the game of amazons. One way to tackle this problem is to leverage the Monte-Carlo Tree Search by using random simulations. In this article, a computationally cheap heuristic function is proposed and use together with Monte-Carlo Tree Search algorithm with Epsilon-Greedy policy aiming to design a competitive AI for the Game of the Amazon. The effectiveness of the -greedy based Monte-Carlo algorithm is compared to the widely used MCTS with Upper Confidence Bound and other classical tree search method such as breadth-first search, depth-first search, minmax search and alpha-beta pruning.
Heuristic Reasoning on Graph and Game Complexity of Sudoku

Zhe Chen

DOI: https://doi.org/10.48550/arXiv.0903.1659

IF: 14.4

2009-03-09

Artificial Intelligence

Abstract:The Sudoku puzzle has achieved worldwide popularity recently, and attracted great attention of the computational intelligence community. Sudoku is always considered as Satisfiability Problem or Constraint Satisfaction Problem. In this paper, we propose to focus on the essential graph structure underlying the Sudoku puzzle. First, we formalize Sudoku as a graph. Then a solving algorithm based on heuristic reasoning on the graph is proposed. The related r-Reduction theorem, inference theorem and their properties are proved, providing the formal basis for developments of Sudoku solving systems. In order to evaluate the difficulty levels of puzzles, a quantitative measurement of the complexity level of Sudoku puzzles based on the graph structure and information theory is proposed. Experimental results show that all the puzzles can be solved fast using the proposed heuristic reasoning, and that the proposed game complexity metrics can discriminate difficulty levels of puzzles perfectly.
The Complexities of Random-Turn Hex, Square, and Triangle Games

Yi Yang,Shuigeng Zhou,Jihong Guan,Chuansheng Shen

DOI: https://doi.org/10.1109/tg.2020.3033720

IF: 1.237

2022-01-01

IEEE Transactions on Games

Abstract:In random-turn games, players toss a coin to decide who moves. This article studies the complexities of the algorithms for playing random-turn connection games perfectly on regular tessellations. Our study theoretically shows that there are algorithms playing random-turn hex, square, and triangle perfectly in O(n(9) . 2.618(n)), O(n(9) . 2.746(n)), andO(n(9) . 3.645(n)) time for each move, respectively, where n is the board size. We then implement the perfect-playing algorithm for the random-turn square andmeasure the actual running time it costs for eachmove. We then compute and analyze the game lengths on random-turn square, hex, and triangle and conjecture that the asymptotic complexity of their game lengths are the same. We finally compare the perfect-playing algorithm with the sampling algorithm by competing against each other, and the numbers of their wins and losses are reported.
Space-state complexity of Korean chess and Chinese chess

Donghwi Park

DOI: https://doi.org/10.48550/arXiv.1507.06401

2015-07-23

General Mathematics

Abstract:This article describes how to calculate exact space-state complexities of Korean chess and Chinese chess. The state-space complexity (a.k.a. search-space complexity) of a game is defined as the number of legal game positions reachable from the initial position of the game. The number of exact space-state complexities are not known for most of games. However, we calculated actual space-state complexities of Korean chess and Chinese chess.
e-Valuate: A Two-player Game on Arithmetic Expressions -- An Update

Sarang Aravamuthan,Biswajit Ganguly

DOI: https://doi.org/10.48550/arXiv.1202.0862

2014-09-13

Abstract:e-Valuate is a game on arithmetic expressions. The players have contrasting roles of maximizing and minimizing the given expression. The maximizer proposes values and the minimizer substitutes them for variables of his choice. When the expression is fully instantiated, its value is compared with a certain minimax value that would result if the players played to their optimal strategies. The winner is declared based on this comparison. We use a game tree to represent the state of the game and show how the minimax value can be computed efficiently using backward induction and alpha-beta pruning. The efficacy of alpha-beta pruning depends on the order in which the nodes are evaluated. Further improvements can be obtained by using transposition tables to prevent reevaluation of the same nodes. We propose a heuristic for node ordering. We show how the use of the heuristic and transposition tables lead to improved performance by comparing the number of nodes pruned by each method. We describe some domain-specific variants of this game. The first is a graph theoretic formulation wherein two players share a set of elements of a graph by coloring a related set with each player looking to maximize his share. The set being shared could be either the set of vertices, edges or faces (for a planar graph). An application of this is the sharing of regions enclosed by a planar graph where each player's aim is to maximize the area of his share. Another variant is a tiling game where the players alternately place dominoes on a $8 \times 8$ checkerboard to construct a maximal partial tiling. We show that the size of the tiling $x$ satisfies $22 \le x \le 32$ by proving that any maximal partial tiling requires at least $22$ dominoes.

Combinatorics,Artificial Intelligence
Skill vs. Chance Quantification for Popular Card & Board Games

Tathagata Banerjee,Anushka De,Subhamoy Maitra,Diganta Mukherjee

2024-10-18

Abstract:We consider a few online and offline games under actual playing conditions. Generally it is expected that initially a player obtains additional skill with experience of playing more number of games and then it should finally saturate. This phase is identified when a player, with the experience of very few games, loses more when she plays against players with much longer history. Then the winning proportion curve moves up and finally it saturates. We benchmark our analysis and discussion against Chess, the most skilled one among the games we consider here. We use proprietary data from actual games (online and offline) as well as experiments for our statistical analysis. In this regard, we show that Rummy has stronger skill and learning effects. Ludo has similar characteristics as Rummy, but at a weaker level. Similarly, a game that is perceived as almost no skill such as Teen Patti indeed presents much less skill in the analysis. In the next section we describe the game structures.

Computer Science and Game Theory,Applications
An Upper Bound on the State-Space Complexity of Brandubh

Kiernan Compy,Alana Evey,Hunter McCullough,Lindsay Allen,Aaron S. Crandall

DOI: https://doi.org/10.48550/arXiv.2106.05353

2021-06-09

Computer Science and Game Theory

Abstract:Before chess came to Northern Europe there was Tafl, a family of asymmetric strategy board games associated strongly with the Vikings. The purpose of this paper is to study the combinatorial state-space complexity of an Irish variation of Tafl called Brandubh. Brandubh was chosen because of its asymmetric goals for the two players, but also its overall complexity well below that of chess, which should make it tractable for strong solving. Brandubh's rules and characteristics are used to gain an understanding of the overall state-space complexity of the game. State-spaces will consider valid piece positions, a generalized rule set, and accepted final state conditions. From these states the upper bound for the complexity of strongly solving Brandubh is derived. Great effort has been placed on thoroughly accounting for all potential states and excluding invalid ones for the game. Overall, the upper bound complexity for solving the game is around 10^14 states, between that of connect four and draughts (checkers).
Playing With Monte-Carlo Tree Search [AI-eXplained]

Yunlong Zhao,Chengpeng Hu,Jialin Liu

DOI: https://doi.org/10.1109/mci.2023.3328150

IF: 9.809

2024-02-01

IEEE Computational Intelligence Magazine

Abstract:This paper provides an accessible explanation of the working mechanism of Monte-Carlo Tree Search, an influential search algorithm. The paper summarizes the procedure of Monte-Carlo Tree Search, including selection, expansion, simulation, and backpropagation. Additionally, immersive examples based on Tic-Tac-Toe, Go, and Sokoban, two two-player competitive games and a classic single-player puzzle game, are presented to illustrate how Monte-Carlo Tree Search works. The full article with interactive contents is published on IEEE Xplore.

computer science, artificial intelligence
On the estimation of the core for TU games

Alejandro Saavedra-Nieves,Paula Saavedra-Nieves

DOI: https://doi.org/10.1016/j.eswa.2023.123132

IF: 8.5

2024-01-10

Expert Systems with Applications

Abstract:The core of a transferable utility (TU) game, if it is not empty, is prescribed by the set of all stable allocations. The exact determination of the core reaches exponential time complexity. Therefore, its exact computation is often avoided as the number of players increases. In this work, we propose an estimator for the core of a TU game based on the statistical theory of set estimation. Concretely, we provide a core reconstruction that is obtained in polynomial time for general dimension. Additionally, convergence rates for the estimation error are derived. Finally, a consistent core-center estimator is established as a geometrical application of this methodology.

computer science, artificial intelligence,engineering, electrical & electronic,operations research & management science
Dynamic supergames on trees

Hui Ou,Zhongxing Ye

DOI: https://doi.org/10.1109/PIC.2010.5687436

2010-01-01

Abstract:A class of discrete-time, dynamic supergames played by infinitely many players on tree is studied. Each player plays a number of two-person games with her neighbors simultaneously and updates her strategy stochastically based on the information from her neighbors' strategies and the payoff she gets. Under the conditions of the pre-specified updating rules and the transition probabilities, the relevant strategy evolution process of the supersgame is proved to be a reversible Markov chain. The invariant Gibbsian measures which represent the long-run equilibrium plays with binary strategy and symmetric payoffs are obtained. They are well known Ising models on trees which exhibit phase transition phenomena in certain cases.
A multi-computational exploration of some games of pure chance

Thotsaporn “Aek” Thanatipanonda,Doron Zeilberger

DOI: https://doi.org/10.1016/j.jsc.2020.04.003

IF: 0.97

2021-05-01

Journal of Symbolic Computation

Abstract:<p>In the spirit of "multi-culturalism", we use four kinds of computations: simulation, numeric, symbolic, and "conceptual", to explore some "games of pure chance" inspired by children board games like "Snakes and Ladders" (aka "Chutes and Ladders") and "gambler's ruin with unlimited credit". Even more interesting than the many computer-generated specific results described in this paper and its web-site extension, is our broad-minded, ecumenical approach, not favoring, a priori, any one of the above four kinds of computation, but showing that, a posteriori, symbolic computation is the most important one, since (except for simulation) numerics can be made more efficient with the help of symbolics (in the "downward" direction), and, (in the "upward" direction) the mere existence of certain symbolic-computational algorithms imply interesting "qualitative" results, that certain numbers are always rational, or always algebraic, and certain sequences are always polynomial, or C-recursive, or algebraic, or holonomic. This article is accompanied by four Maple packages, and numerous input and output files, that readers can use as templates for their own investigations.</p>

mathematics, applied,computer science, theory & methods
The Game Value of Sequential Compounds of Integers and Stars

Kengo Hashimoto

2024-11-13

Abstract:A combinatorial game is a two-player game without hidden information or chance elements. One of the major approaches to analyzing games in combinatorial game theory is to break down a given game position into a disjunctive sum of multiple sub-positions, then evaluate the game value of each component of the sum, and finally integrate these game values to find which player has a winning strategy in the whole position. Accordingly, finding the game value of a given position is a major topic in combinatorial game theory. The sequential compound proposed by Stromquist and Ullman is a combinatorial game consisting of two combinatorial games. In the sequential compound of games $G$ and $H$, the players make moves on $G$ until $G$ is over, and then they play on $H$. In this paper, we investigate the general properties of sequential compounds. As the main result, we give the game values of sequential compounds of a finite number of integers and stars, which are basic and typical games in combinatorial game theory.

Combinatorics
An efficient characterization of submodular spanning tree games

Zhuan Khye Koh,Laura Sanità

DOI: https://doi.org/10.1007/s10107-020-01499-w

IF: 2.7

2020-04-25

Mathematical Programming

Abstract:Abstract Cooperative games form an important class of problems in game theory, where a key goal is to distribute a value among a set of players who are allowed to cooperate by forming coalitions. An outcome of the game is given by an allocation vector that assigns a value share to each player. A crucial aspect of such games is submodularity (or convexity ). Indeed, convex instances of cooperative games exhibit several nice properties, e.g. regarding the existence and computation of allocations realizing some of the most important solution concepts proposed in the literature. For this reason, a relevant question is whether one can give a polynomial-time characterization of submodular instances, for prominent cooperative games that are in general non-convex. In this paper, we focus on a fundamental and widely studied cooperative game, namely the spanning tree game . An efficient recognition of submodular instances of this game was not known so far, and explicitly mentioned as an open question in the literature. We here settle this open problem by giving a polynomial-time characterization of submodular spanning tree games.

mathematics, applied,computer science, software engineering,operations research & management science
Cdmtcs Research Report Series Games with Unknown past Games with Unknown Past

Bakhadyr Khoussainov,Alexander Yakhnis,Vladimir Yakhnis

1997-01-01

Abstract:We de ne a new type of two player game occurring on a tree. The tree may have no root and may have arbitrary degrees of nodes. These games extend the class of games considered by Gurevich-Harrington in [5]. We prove that in the game one of the players has a winning strategy which depends on nite bounded information about the past part of a play and on future of each play that is isomorphism types of tree nodes. This result extends further the GurevichHarrington (GH) determinacy theorem from [5].
Finding and Certifying (Near-)Optimal Strategies in Black-Box Extensive-Form Games

Brian Hu Zhang,Tuomas Sandholm

DOI: https://doi.org/10.48550/arXiv.2009.07384

2021-03-17

Abstract:Often -- for example in war games, strategy video games, and financial simulations -- the game is given to us only as a black-box simulator in which we can play it. In these settings, since the game may have unknown nature action distributions (from which we can only obtain samples) and/or be too large to expand fully, it can be difficult to compute strategies with guarantees on exploitability. Recent work \cite{Zhang20:Small} resulted in a notion of certificate for extensive-form games that allows exploitability guarantees while not expanding the full game tree. However, that work assumed that the black box could sample or expand arbitrary nodes of the game tree at any time, and that a series of exact game solves (via, for example, linear programming) can be conducted to compute the certificate. Each of those two assumptions severely restricts the practical applicability of that method. In this work, we relax both of the assumptions. We show that high-probability certificates can be obtained with a black box that can do nothing more than play through games, using only a regret minimizer as a subroutine. As a bonus, we obtain an equilibrium-finding algorithm with $\tilde O(1/\sqrt{T})$ convergence rate in the extensive-form game setting that does not rely on a sampling strategy with lower-bounded reach probabilities (which MCCFR assumes). We demonstrate experimentally that, in the black-box setting, our methods are able to provide nontrivial exploitability guarantees while expanding only a small fraction of the game tree.

Computer Science and Game Theory

An estimation method for game complexity

THE GAME TREE SEARCH ALGORITHM BASED ON OPTIMIZED ITERATIVE DEEPENING

On the complexity of Dark Chinese Chess

Evaluation of Monte Carlo tree search and the application to Go

Using Symbolic Computation to analyze some Children's Board Games

Towards a Characterisation of Monte-Carlo Tree Search Performance in Different Games

Monte-Carlo Tree Search with Epsilon-Greedy for Game of Amazons

Heuristic Reasoning on Graph and Game Complexity of Sudoku

The Complexities of Random-Turn Hex, Square, and Triangle Games

Space-state complexity of Korean chess and Chinese chess

e-Valuate: A Two-player Game on Arithmetic Expressions -- An Update

Skill vs. Chance Quantification for Popular Card & Board Games

An Upper Bound on the State-Space Complexity of Brandubh

Playing With Monte-Carlo Tree Search [AI-eXplained]

On the estimation of the core for TU games

Dynamic supergames on trees

A multi-computational exploration of some games of pure chance

The Game Value of Sequential Compounds of Integers and Stars

An efficient characterization of submodular spanning tree games

Cdmtcs Research Report Series Games with Unknown past Games with Unknown Past

Finding and Certifying (Near-)Optimal Strategies in Black-Box Extensive-Form Games