Game of Life mystery is solved

Matthew Sparkes

DOI: https://doi.org/10.1016/s0262-4079(24)00018-6

IF: 0.906

2024-01-06

The New Scientist

Abstract:Mathematicians have found a solution to a problem that has puzzled them for decades

multidisciplinary sciences

What problem does this paper attempt to address?

Resolving Bertrand's Probability Paradox

Jinchang Wang,R L Jackson

2011-01-01

Abstract:In this article we resolve Bertrand’s probability paradox and show why it has perplexed researchers for 120 years. This paradox appears to have three equally plausible, yet incompatible, solutions. We begin by showing two facts, the random chords referred to in Bertrand’s paradox are homogeneously distributed and there is no disagreement among people on this point. Based on these facts, we rigorously prove that two of the three alleged answers are not sound because of their false assumptions and that only one solution is correct. The paradox is therefore no longer paradoxical. We also reveal two significant stumbling blocks that have persistently caused puzzles with regard to this paradox: 1) misunderstanding of the nature of homogeneously distributed chords, and 2) a disparity between the problem as originally conceived in the mind and its subsequent representation. We conclude by presenting our reflections on the subtleties of the paradox and on some prevalent misconceptions that have historically plagued attempts to resolve it.
DeepMind AI outdoes human mathematicians on unsolved problem

Davide Castelvecchi

DOI: https://doi.org/10.1038/d41586-023-04043-w

IF: 64.8

2023-12-15

Nature

Abstract:Large language model improves on efforts to solve combinatorics problems inspired by the card game Set. Large language model improves on efforts to solve combinatorics problems inspired by the card game Set.

multidisciplinary sciences
Othello is Solved

Hiroki Takizawa

2024-01-03

Abstract:The game of Othello is one of the world's most complex and popular games that has yet to be computationally solved. Othello has roughly ten octodecillion (10 to the 58th power) possible game records and ten octillion (10 to the 28th power) possible game positions. The challenge of solving Othello, determining the outcome of a game with no mistake made by either player, has long been a grand challenge in computer science. This paper announces a significant milestone: Othello is now solved. It is computationally proved that perfect play by both players lead to a draw. Strong Othello software has long been built using heuristically designed search techniques. Solving a game provides a solution that enables the software to play the game perfectly.

Artificial Intelligence
Simplified Game of Life: Algorithms and Complexity

Krishnendu Chatterjee,Rasmus Ibsen-Jensen,Ismaël Jecker,Jakub Svoboda

DOI: https://doi.org/10.4230/LIPIcs.MFCS.2020.22

2020-07-07

Abstract:Game of Life is a simple and elegant model to study dynamical system over networks. The model consists of a graph where every vertex has one of two types, namely, dead or alive. A configuration is a mapping of the vertices to the types. An update rule describes how the type of a vertex is updated given the types of its neighbors. In every round, all vertices are updated synchronously, which leads to a configuration update. While in general, Game of Life allows a broad range of update rules, we focus on two simple families of update rules, namely, underpopulation and overpopulation, that model several interesting dynamics studied in the literature. In both settings, a dead vertex requires at least a desired number of live neighbors to become alive. For underpopulation (resp., overpopulation), a live vertex requires at least (resp. at most) a desired number of live neighbors to remain alive. We study the basic computation problems, e.g., configuration reachability, for these two families of rules. For underpopulation rules, we show that these problems can be solved in polynomial time, whereas for overpopulation rules they are PSPACE-complete.

Cellular Automata and Lattice Gases
Misère Connect Four is Solved

Robert Steele,Daniel B. Larremore

2024-10-08

Abstract:Connect Four is a two-player game where each player attempts to be the first to create a sequence of four of their pieces, arranged horizontally, vertically, or diagonally, by dropping pieces into the columns of a grid of width seven and height six, in alternating turns. Misère Connect Four is played by the same rules, but with the opposite objective: do not connect four. This paper announces that Misère Connect Four is solved: perfect play by both sides leads to a second-player win. More generally, this paper also announces that Misère Connect $k$ played on a $w \times h$ board is also solved, but the outcome depends on the game's parameters $k$, $w$, and $h$, and may be a first-player win, a second-player win, or a draw. These results are constructive, meaning that we provide explicit strategies, thus enabling readers to impress their friends and foes alike with provably optimal play in the misère form of a table-top game for children.

Combinatorics,Computer Science and Game Theory
Life-oriented Math Game Design

Tingsheng Weng

DOI: https://doi.org/10.1145/3582580.3582593

2022-12-16

Abstract:Learning mathematical knowledge from life experiences and solving practical problems independently can help students understand the significance and necessity of math in the process of independent exploration, cooperation, and exchanges. Further, they can understand and grasp fundamental life mathematical knowledge, skills, mathematical ideas, and methods and obtain extensive experience in mathematical activities. This study designed a game system to learn life-oriented math with Visual studio and Canva. Through activity designs and teaching-aid instruments, the life-oriented math games enable learners to experience the true essence of math from games in virtual life and enrich the meaning of life in the mathematical application. The game system for learning life-oriented math allows teachers and students to interact, learn, and discuss, forming a picture of learning together by discussing mathematical problems in the context of life experience.

Mathematics,Computer Science,Education
Resolution Of Conjectures Related To Lights Out! And Cartesian Products

Bryan Curtis,Jonathan Earl,David Livingston,Bryan Shader

DOI: https://doi.org/10.13001/1081-3810.3722

2018-02-21

Abstract:Lights Out!\ is a game played on a $5 \times 5$ grid of lights, or more generally on a graph. Pressing lights on the grid allows the player to turn off neighboring lights. The goal of the game is to start with a given initial configuration of lit lights and reach a state where all lights are out. Two conjectures posed in a recently published paper about Lights Out!\ on Cartesian products of graphs are resolved.
Computer science. Heads-up limit hold'em poker is solved

Michael Bowling,Neil Burch,Michael Johanson,Oskari Tammelin

DOI: https://doi.org/10.1126/science.1259433

IF: 56.9

2015-01-09

Science

Abstract:Poker is a family of games that exhibit imperfect information, where players do not have full knowledge of past events. Whereas many perfect-information games have been solved (e.g., Connect Four and checkers), no nontrivial imperfect-information game played competitively by humans has previously been solved. Here, we announce that heads-up limit Texas hold'em is now essentially weakly solved. Furthermore, this computation formally proves the common wisdom that the dealer in the game holds a substantial advantage. This result was enabled by a new algorithm, CFR(+), which is capable of solving extensive-form games orders of magnitude larger than previously possible.
A Mathematical Foundation for the Numberlink Game

Andrea Arauza Rivera,Matt McClinton,David Smith

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

2022-09-29

General Mathematics

Abstract:Numberlink is a puzzle game in which players are given a grid with nodes marked with a natural number, $n$, and asked to create $n$ connections with neighboring nodes. Connections can only be made with top, bottom, left and right neighbors, and one cannot have more than two connections between any neighboring nodes. In this paper, we give a mathematical formulation of the puzzles via graphs and give some immediate consequences of this formulation. The main result of this work is an algorithm which provides insight into characteristics of these puzzles and their solutions. Finally, we give a few open questions and further directions.
Murder at the Asylum

Tanya Khovanova

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

2018-03-15

Abstract:I describe a puzzle I wrote for the 2018 MIT Mystery Hunt which introduced new types of people in logic puzzles. I discuss the puzzle itself, the solution, and the mathematics behind it.

History and Overview
Solving a Mathematical Problem in Square War: a Go-like Board Game

Chu Luo

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

IF: 14.4

2015-07-26

Artificial Intelligence

Abstract:In this paper, we present a board game: Square War. The game definition of Square War is similar to the classic Chinese board game Go. Then we propose a mathematical problem of the game Square War. Finally, we show that the problem can be solved by using a method of mixed mathematics and computer science.
A detailed study on implementing new approaches in the Game of Life

Serafeim A. Triantafyllou

DOI: https://doi.org/10.56294/dm202395

2023-12-29

Abstract:In 1952, Alan Turing who is considered as a father of Computer Science, based on his previous scientific research on the theory of computation, he emphasized how important is the analysis of pattern formation in nature and developed a theory. In his theory, he described specific patterns in nature that could be formed from basic chemical systems. Turing in his previous studies in the theory of computation, he had constantly worked on symmetrical patterns that could be formed simultaneously and realized the necessity for further analysis of pattern formation in biological problems. However, it was until the late 1960s, when John Conway was the first to introduce the "Game of Life", an innovative mathematical game based on cellular automata, having a purpose to utilize the fundamental entities, called as cells, in two possible states described as "dead" or "alive". This paper tries to contribute to a better understanding of the "Game of Life" by implementing algorithmic approaches of this problem in PASCAL and Python programming languages. Also, inside the paper numerous variations and extensions of the Conway's Game of Life are proposed that introduce new ideas and concepts. Furthermore, several machine learning algorithms to learn patterns from large sets of Game of Life simulations and generate new rules or strategies are described in detail.
What makes math problems hard for reinforcement learning: a case study

Ali Shehper,Anibal M. Medina-Mardones,Bartłomiej Lewandowski,Angus Gruen,Piotr Kucharski,Sergei Gukov

2024-08-28

Abstract:Using a long-standing conjecture from combinatorial group theory, we explore, from multiple angles, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the mathematical context defined by the Andrews-Curtis conjecture, we propose algorithmic improvements that can be relevant in other domains with ultra-sparse reward problems. Although our case study can be formulated as a game, its shortest winning sequences are potentially $10^6$ or $10^9$ times longer than those encountered in chess. In the process of our study, we demonstrate that one of the potential counterexamples due to Akbulut and Kirby, whose status escaped direct mathematical methods for 39 years, is stably AC-trivial.

Machine Learning,Artificial Intelligence,Combinatorics,Group Theory,Geometric Topology
DeepMind hits milestone in solving maths problems — AI's next grand challenge

Davide Castelvecchi

DOI: https://doi.org/10.1038/d41586-024-02441-2

IF: 64.8

2024-07-26

Nature

Abstract:AlphaProof showed its prowess on questions from this year's Mathematical Olympiad — a step in the race to create substantial proofs with artificial intelligence. AlphaProof showed its prowess on questions from this year's Mathematical Olympiad — a step in the race to create substantial proofs with artificial intelligence.

multidisciplinary sciences
AI cracks hard maths

Alex Wilkins

DOI: https://doi.org/10.1016/s0262-4079(24)00157-x

IF: 0.906

2024-01-28

The New Scientist

Abstract:An AI from Google DeepMind scores almost as well as the best students on geometry questions from the International Mathematical Olympiad, finds Alex Wilkins

multidisciplinary sciences
A solver of single-agent stochastic puzzle: A case study with Minesweeper

Chang Liu,Shunqi Huang,Gao Naying,Mohd Nor Akmal Khalid,Hiroyuki Iida

DOI: https://doi.org/10.1016/j.knosys.2022.108630

2022-06-01

Abstract:People have enjoyed solving puzzles for decades because of the challenge and the satisfaction derived from solving problems. However, although previous researches focused on the puzzle's complexity, strategy, and solving automatically, few studies worked on sorting out puzzles from a solvability way related to the stochastic elements among the solving process. The contribution of the study is twofold. Firstly, a single-agent stochastic puzzle definition is established via Minesweeper testbed, a well-known puzzle synonymous with Microsoft Windows. Secondly, this study proposes an artificial intelligence (AI) solver based on the obtained information on the board, called the 'PAFG' strategy, which stands for the primary reasoning, the advanced reasoning, the first action strategy, and the guessing strategy. The first two strategies take advantage of knowledge-based rules and linear system transformation (Gauss-Jordan elimination algorithms) to determine the probability of making a move independently. The last two strategies explore the beginning and ways to determine hidden puzzle states to enhance the winning rate of the AI solver. The experimental simulation of various configurations and the AI solver with PAFG strategy yielded a high-level winning rate of 96.4%, 86.3%, and 45.6% for the 9×9|10, 16×16|40, and 16×30|99 Minesweeper board configuration, which is comparable to the state of the art study. Thus, such an AI solver could contribute to classifying single-agent stochastic puzzles and establishing the boundary of the puzzle-solving and game-playing paradigm.

computer science, artificial intelligence
Computing backwards with Game of Life, part 1: wires and circuits

Ville Salo,Ilkka Törmä

2023-08-20

Abstract:Conway's Game of Life is a two-dimensional cellular automaton. As a dynamical system, it is well-known to be computationally universal, i.e.\ capable of simulating an arbitrary Turing machine. We show that in a sense taking a single backwards step of Game of Life is a computationally universal process, by constructing patterns whose preimage computation encodes an arbitrary circuit-satisfaction problem, or (equivalently) any tiling problem. As a corollary, we obtain for example that the set of orphans is coNP-complete, exhibit a $6210 \times 37800$-periodic configuration that admits a preimage but no periodic one, and prove that the existence of a preimage for a periodic point is undecidable. Our constructions were obtained by a combination of computer searches and manual design.

Formal Languages and Automata Theory,Discrete Mathematics,Dynamical Systems
A Two-Player Game of Life

Mark Levene,George Roussos

DOI: https://doi.org/10.1142/S0129183103004346

2002-09-23

Abstract:We present a new extension of Conway's game of life for two players, which we call p2life. P2life allows one of two types of token, black or white, to inhabit a cell, and adds competitive elements into the birth and survival rules of the original game. We solve the mean-field equation for p2life and determine by simulation that the asymptotic density of p2life approaches 0.0362.

Soft Condensed Matter
Life, death, new species and children from a "Quantum Game of Life"

David Faux,Mayank Shah,Christopher Knapp

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

2019-02-19

Abstract:The classical "game of life" (GOL) due to Conway is a famous mathematical game constructed as a two-dimensional cellular automaton in which each cell is either alive or dead. A set of evolutionary rules determines whether a cell dies, survives or is born at each generation based on its local environment. The game of life is interesting because complexity emerges from simple rules and mimics real life in that a cell flourishes only if the environment is "just right" producing a breadth of life-like behavior including multi-cellular lifeforms. Results are presented from a quantum adaptation of the GOL which assigns a qubit to each cell which then evolves according to modified evolutionary rules. Computer simulation reveals remarkable evolutionary complexity that is distinct from the classical GOL and which mimics aspects of quantum biological processes and holds promise for the realistic simulation of species population dynamics. Liveness emerges as a probability density with universal statistical properties dependent solely on the evolutionary rules. New species of quantum lifeform are found. One quantum lifeform is shown to act as a seed to produce children, one or more classical and/or quantum lifeforms, classical oscillators, a liveness probability density or death with outcomes highly sensitive to the initial state. We observe the emergence of chaos and scaling phenomena making the quantum game of life an exciting prospect for further exploration as a model for life-like behaviors.

Quantum Physics
Problife: a Probabilistic Game of Life

Simon Vandevelde,Joost Vennekens

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

2022-01-24

Abstract:This paper presents a probabilistic extension of the well-known cellular automaton, Game of Life. In Game of Life, cells are placed in a grid and then watched as they evolve throughout subsequent generations, as dictated by the rules of the game. In our extension, called ProbLife, these rules now have probabilities associated with them. Instead of cells being either dead or alive, they are denoted by their chance to live. After presenting the rules of ProbLife and its underlying characteristics, we show a concrete implementation in ProbLog, a probabilistic logic programming system. We use this to generate different images, as a form of rule-based generative art.

Artificial Intelligence,Cellular Automata and Lattice Gases

Game of Life mystery is solved

Resolving Bertrand's Probability Paradox

DeepMind AI outdoes human mathematicians on unsolved problem

Othello is Solved

Simplified Game of Life: Algorithms and Complexity

Misère Connect Four is Solved

Life-oriented Math Game Design

Resolution Of Conjectures Related To Lights Out! And Cartesian Products

Computer science. Heads-up limit hold'em poker is solved

A Mathematical Foundation for the Numberlink Game

Murder at the Asylum

Solving a Mathematical Problem in Square War: a Go-like Board Game

A detailed study on implementing new approaches in the Game of Life

What makes math problems hard for reinforcement learning: a case study

DeepMind hits milestone in solving maths problems — AI's next grand challenge

AI cracks hard maths

A solver of single-agent stochastic puzzle: A case study with Minesweeper

Computing backwards with Game of Life, part 1: wires and circuits

A Two-Player Game of Life

Life, death, new species and children from a "Quantum Game of Life"

Problife: a Probabilistic Game of Life