We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly … computation. In this framework, many traditional game-theoretic results (such as the existence of a Nash equilibrium) no longer …