後ろ向き帰納法

展開形ゲームにおいて，もっとも端点に近いサブゲームのナッシュ均衡を，まず，求める．次いで，そのサブゲームの始点をナッシュ均衡利得と置換する．これを繰り返してサブゲーム完全均衡を求めるアルゴリズムのこと．全体のナッシュ均衡はサブゲーム完全均衡となる．

Vita brevis, ars longa. Omnia vincit Amor.