IsNash

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.