Name
IsNash -- Returns whether a profile is a Nash equilibrium
Synopsis
IsNash[profile->BEHAV] =: BOOLEAN
IsNash[profile->MIXED] =: BOOLEAN |
Description
IsNash
returns True when profile
is known by Gambit to be a
Nash equilibrium of the corresponding game, and False
if profile is known to not be Nash.
Otherwise, the return value
is Unknown.
If profile is complete (probabilities sum
to one for every player, and every information set), then there is a
definitive test for Nash equilibrium. However if the profile is
incomplete (i. e., it does not specify actions at off the equilibrium
path information sets), then it is possible that a profile (or set of
all completions of the profile) may be Nash, but is not known by
Gambit to be Nash.