Positional Game
   HOME

TheInfoList



OR:

A positional game is a kind of a
combinatorial game Combinatorial game theory is a branch of mathematics and theoretical computer science that typically studies sequential games with perfect information. Study has been largely confined to two-player games that have a ''position'' that the play ...
for two players. It is described by: *Xa
finite set In mathematics, particularly set theory, a finite set is a set that has a finite number of elements. Informally, a finite set is a set which one could in principle count and finish counting. For example, :\ is a finite set with five elements. Th ...
of elements. Often ''X'' is called the ''board'' and its elements are called ''positions''. *\mathcala family of subsets of X. These subsets are usually called the ''winning-sets''. * A criterion for winning the game. During the game, players alternately claim previously-unclaimed positions, until one of the players wins. If all positions in X are taken while no player wins, the game is considered a draw. The classic example of a positional game is
Tic-tac-toe Tic-tac-toe (American English), noughts and crosses (Commonwealth English), or Xs and Os (Canadian or Irish English) is a paper-and-pencil game for two players who take turns marking the spaces in a three-by-three grid with ''X'' or ''O''. T ...
. In it, X contains the 9 squares of the game-board, \mathcal contains the 8 lines that determine a victory (3 horizontal, 3 vertical and 2 diagonal), and the winning criterion is: the first player who holds an entire winning-set wins. Other examples of positional games are Hex and the
Shannon switching game The Shannon switching game is a connection game for two players, invented by American mathematician and electrical engineer Claude Shannon, the "father of information theory" some time before 1951. Two players take turns coloring the edges of an ...
. For every positional game there are exactly three options: either the first player has a
winning strategy Determinacy is a subfield of set theory, a branch of mathematics, that examines the conditions under which one or the other player of a game has a winning strategy, and the consequences of the existence of such strategies. Alternatively and simil ...
, or the second player has a winning strategy, or both players have strategies to enforce a draw. The main question of interest in the study of these games is which of these three options holds in any particular game. A positional game is finite, deterministic and has
perfect information In economics, perfect information (sometimes referred to as "no hidden information") is a feature of perfect competition. With perfect information in a market, all consumers and producers have complete and instantaneous knowledge of all market pr ...
; therefore, in theory it is possible to create the full
game tree In the context of Combinatorial game theory, which typically studies sequential games with perfect information, a game tree is a graph representing all possible game states within such a game. Such games include well-known ones such as chess, check ...
and determine which of these three options holds. In practice, however, the game-tree might be enormous. Therefore, positional games are usually analyzed via more sophisticated combinatorial techniques.


Alternative terminology

Often, the input to a positional game is considered a
hypergraph In mathematics, a hypergraph is a generalization of a graph in which an edge can join any number of vertices. In contrast, in an ordinary graph, an edge connects exactly two vertices. Formally, an undirected hypergraph H is a pair H = (X,E) wh ...
. In this case: * The elements of Xare called ''vertices'' (or ''points''), and denoted by V; * The elements of \mathcalare called ''edges'' (or ''hyperedges''), and denoted by E or H.


Variants

There are many variants of positional games, differing in their rules and their winning criteria.


Different winning criteria

;
Strong positional game A strong positional game (also called Maker-Maker game) is a kind of positional game. Like most positional games, it is described by its set of ''positions'' (X) and its family of ''winning-sets'' (\mathcal- a family of subsets of X). It is played ...
(also called Maker-Maker game): the first player to claim all of the elements of a winning-set wins. If the game ends with all elements of the board claimed, but no player has claimed all elements of a winning set, it is a draw. An example is classic
Tic-tac-toe Tic-tac-toe (American English), noughts and crosses (Commonwealth English), or Xs and Os (Canadian or Irish English) is a paper-and-pencil game for two players who take turns marking the spaces in a three-by-three grid with ''X'' or ''O''. T ...
. ;
Maker-Breaker game A Maker-Breaker game is a kind of positional game. Like most positional games, it is described by its set of ''positions/points/elements'' (X) and its family of ''winning-sets'' (\mathcal- a family of subsets of X). It is played by two players, ca ...
: the two players are called Maker and Breaker. Maker wins by claiming all elements of a winning set. If the game ends with all elements of the board claimed, and Maker has not yet won, then Breaker wins. Draws are not possible. An example is
Shannon switching game The Shannon switching game is a connection game for two players, invented by American mathematician and electrical engineer Claude Shannon, the "father of information theory" some time before 1951. Two players take turns coloring the edges of an ...
. ;
Avoider-Enforcer game An Avoider-Enforcer game (also called Avoider-Forcer game or Antimaker-Antibreaker game) is a kind of positional game. Like most positional games, it is described by a set of ''positions/points/elements'' (X) and a family of subsets (\mathcal), wh ...
: the players are called Avoider and Enforcer. Enforcer wins if Avoider ever claims all of the elements of a winning-set. If the game ends with all elements of the board claimed, and Avoider has not claimed a winning set, then Avoider wins. As in maker-breaker games, a draw is not possible. An example is Sim. ;
Discrepancy game A discrepancy game is a kind of positional game. Like most positional games, it is described by its set of ''positions/points/elements'' (X) and a family of ''sets'' (\mathcal- a family of subsets of X). It is played by two players, called ''Balan ...
: the players are called Balancer and Unbalancer. Balancer wins if he ensures that in all winning-sets, each player has roughly half of the vertices. Otherwise Unbalancer wins.


Different game-rules

; Waiter-Client game (also called Picker-Chooser game): the players are called Waiter and Client. In each turn, Waiter picks two positions and shows them to Client, who can choose one of them. ;
Biased positional game A biased positional game is a variant of a positional game. Like most positional games, it is described by a set of ''positions/points/elements'' (X) and a family of subsets (\mathcal), which are usually called the ''winning-sets''. It is played by ...
: each positional game has a ''biased'' variant, in which the first player can take ''p'' elements at a time and the second player can take ''q'' elements at a time (in the unbiased variant, ''p''=''q''=1).


Specific games

The following table lists some specific positional games that were widely studied in the literature.


See also

*
Topological game In mathematics, a topological game is an infinite game of perfect information played between two players on a topological space. Players choose objects with topological properties such as points, open sets, closed sets and open coverings. Time ...
, a generalization of a positional game to infinite sets *
Banach–Mazur game In general topology, set theory and game theory, a Banach– Mazur game is a topological game played by two players, trying to pin down elements in a set (space). The concept of a Banach–Mazur game is closely related to the concept of Baire s ...
, a game played on a
topological space In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...
by choosing among certain subsets, with winning conditions resembling those of a maker-breaker game


References

{{Reflist *