Poset games are mathematical games of strategy where, given a poset P, two players alternate on choosing one point in P, removing it and and all points that are greater. The player who is left with no point to choose, loses.
Several popular specializations exist, such as Nim, Hackendot, Chomp, and Hackenbush.[1]
|
Contents
|
Given a poset (P, <), let

A poset game on P, played between Alice and Bob, is as follows:
Poset games are subject to the Sprague–Grundy theorem. The essential property of this theorem is the Grundy value. We define the Grundy value of a poset to be the least natural number which is not the Grundy value of any Px, x ∈ P. That is,

Since G(P) ≠ G(Px) for any x∈P, making a move in a poset game alters the Grundy value. If G(P) > 0, there must exist Px with G(Px) = 0. Since G(∅) = 0, it must be the case that Alice has a winning strategy if G(P) > 0, since she might then choose x such that G(Px) = 0, forcing Bob to choose y such that G(y) > 0.[2]
It has been shown that poset games are in PSPACE[1] and that they are NC1-hard. [3]
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)