Name
IsSubgamePerfect -- Returns whether a profile is a subgame perfect equilibrium
Synopsis
IsSubgamePerfect[profile->BEHAV] =: BOOLEAN |
Description
IsSubgamePerfect
returns True if profile
is known by Gambit to be a subgame perfect Nash
equilibrium, False if it is known not to be a
subgame perfect equilibrium, and Unknown otherwise.
There is currently no
definitive test in Gambit for whether an arbitrary profile is subgame
perfect. However, any Nash equilibrium of an extensive form game which
is computed when all subgames are marked will only return a subgame
perfect equilibrium.