Reinhard Selten proved that any game which can be broken into "sub-games" containing a sub-set of all the available choices in the main game will have a subgame perfect Nash Equilibrium strategy (possibly as a
mixed strategy giving non-deterministic sub-game decisions). Subgame perfection is only used with games of
complete information. Subgame perfection can be used with
extensive form games of complete but
imperfect information. The subgame-perfect Nash equilibrium is normally deduced by "
backward induction" from the various ultimate outcomes of the game, eliminating branches which would involve any player making a move that is
not credible (because it is not optimal) from that
node. One game in which the backward induction solution is well known is
tic-tac-toe, but in theory even
Go has such an optimum strategy for all players. The problem of the relationship between subgame perfection and backward induction was settled by Kaminski (2019), who proved that a generalized procedure of backward induction produces all subgame perfect equilibria in games that may have infinite length, infinite actions as each information set, and imperfect information if a condition of final support is satisfied. The interesting aspect of the word "credible" in the preceding paragraph is that taken as a whole (disregarding the irreversibility of reaching sub-games) strategies exist which are superior to subgame perfect strategies, but which are not credible in the sense that a threat to carry them out will harm the player making the threat and prevent that combination of strategies. For instance in the game of "
chicken" if one player has the option of ripping the steering wheel from their car they should always take it because it leads to a "sub game" in which their rational opponent is precluded from doing the same thing (and killing them both). The wheel-ripper will always win the game (making his opponent swerve away), and the opponent's threat to suicidally follow suit is not credible. ==See also==