Nash equilibrium
展開形ゲーム後方の最小のサブゲームのナッシュ均衡を先に求め、そのサブゲームをそのナッシュ均衡から得られる利得の組に置き換えることによって得られるゲームを縮約ゲーム（）と呼ぶ。縮約ゲーム自体がそれ自身以外にサブゲームを持たないゲームになるまでこの操作を繰り返して得られるナッシュ均衡はサブゲーム完全均衡と一致することが知られている。このようなサブゲーム完全均衡の求め方は、後ろ向き帰納法（）と呼ばれる。