 Backward Induction Backward Induction computes optimal moves for players. More specifically, at each choice node of an extensive form game, one or more of the available moves is labeled as optimal. For each player this set of optimal moves often forms a strategy in the usual game-theoretic sense, i.e., a function selecting a unique action to take at each of her choice nodes. Yet, there are degenerate cases where backward induction merely creates a relational strategy, restricting the available moves, while still leaving some choices to the player.