The angel problem is a question in combinatorial game theory proposed by John Horton Conway. The game is commonly referred to as the angels and devils game.[1] The game is played by two players called the angel and the devil. It is played on an infinite chessboard (or equivalently the points of a 2D lattice). The angel has a power k (a natural number 1 or higher), specified before the game starts. The board starts empty with the angel in one square. On each turn, the angel jumps to a different empty square which could be reached by at most k moves of a chess king, i.e. the distance from the starting square is at most k in the infinity norm. The devil, on its turn, may add a block on any single square not containing the angel. The angel may leap over blocked squares, but cannot land on them. The devil wins if the angel is unable to move. The angel wins by surviving indefinitely.
The angel problem is: can an angel with high enough power win?
There must exist a winning strategy for one of the players. If the devil can force a win then it can do so in a finite number of moves. If the devil cannot force a win then there is always an action that the angel can take to avoid losing and a winning strategy for it is always to pick such a move. More abstractly, the "pay-off set" (i.e., the set of all plays in which the angel wins) is a closed set (in the natural topology on the set of all plays), and it is known that such games are determined. Of course, for any infinite game, if player 2 doesn't have a winning strategy, player 1 can always pick a move that leads to a position where player 2 doesn't have a winning strategy, but in some games, simply playing forever doesn't confer a win to player 1, so undetermined games may exist.
Conway offered a reward for a general solution to this problem ($100 for a winning strategy for an angel of sufficiently high power, and $1000 for a proof that the devil can win irrespective of the angel's power). Progress was made first in higher dimensions. In late 2006, the original problem was solved when independent proofs appeared, showing that an angel can win. Bowditch proved that a 4-angel (that is, an angel with power k = 4) can win[2] and Máthé[3] and Kloster[4] gave proofs that a 2-angel can win.
^John H. Conway, The angel problem, in: Richard Nowakowski (editor) Games of No Chance, volume 29 of MSRI Publications, pages 3–12, 1996.
^Brian H. Bowditch, "The angel game in the plane", Combin. Probab. Comput. 16(3):345-362, 2007.
^András Máthé, "The angel of power 2 wins", Combin. Probab. Comput. 16(3):363-374, 2007
^O. Kloster, A solution to the angel problem. Theoretical Computer Science, vol. 389 (2007), no. 1-2, pp. 152–161
The angelproblem is a question in combinatorial game theory proposed by John Horton Conway. The game is commonly referred to as the angels and devils...
beggar-my-neighbour (Brayden Casella, 2024) The angelproblem (Various independent proofs, 2006) Einstein problem (David Smith, Joseph Samuel Myers, Craig S...
"Thank You" Dido's "Thank You" from No AngelProblems playing this file? See media help. No Angel is the debut studio album by English singer-songwriter...
Angel Has Fallen is a 2019 American political action thriller film directed by Ric Roman Waugh. It is the third installment in the Has Fallen film series...
right to feed off another species, come and propose a plan to end the angelproblem for once and for all. They say that they need Willow's help as she can...
game of Sprouts (July 1967), Hackenbush (January 1972), and his angel and devil problem (February 1974). In the September 1976 column, he reviewed Conway's...
Fallen angels are angels who were expelled from Heaven. The literal term "fallen angel" does not appear in any Abrahamic religious texts, but is used...
The Monty Hall problem is a brain teaser, in the form of a probability puzzle, based nominally on the American television game show Let's Make a Deal...
theory and low-dimensional topology. He is also known for solving the angelproblem. Bowditch holds a chaired Professor appointment in Mathematics at the...
U-turns. Variational calculus Level-set method Apollonius pursuit problem Conway's Angelproblem, another mathematical game which pits a powerful and maneuverable...
Touched by an Angel is an American television drama television series that premiered on CBS on September 21, 1994, and ran for 211 episodes over nine...
Νικόλαος Σαραντάκος; born December 19, 1967), known professionally as Criss Angel, is an American magician, illusionist and musician. He is often referred...
2011). "Blue Angels Lynchburg Va. 2011 was this the problem formation?". Archived from the original on 3 November 2021 – via YouTube. Blue Angels Cancel Naval...
series, which followed the story of couple Dick Strawbridge and Angela ("Angel") Adoree and their family as they bought and renovated the 19th-century...
Hebrew: מֶטָטְרוֹן Meṭāṭrōn), or Matatron (מַטַּטְרוֹן, Maṭṭaṭrōn), is an angel in Judaism, Christianity, and Islam. Metatron is mentioned three times in...
The Angel of Independence, most commonly known by the shortened name El Ángel and officially known as Monumento a la Independencia ("Monument to Independence")...
The Angels of Mons is one of many stories of the reputed appearance of a variety of supernatural entities which protected the British Army from defeat...
The problem of Hell is an ethical problem in the Abrahamic religions of Christianity, Islam and Judaism, in which the existence of Hell (Jahannam) for...