TFNP: An Update

Paul W. Goldberg, Christos H. Papadimitriou

Abstract: The class TFNP was introduced a quarter of a century ago to capture problems in NP that have a witness for all inputs. A decade ago, this line of research culminated in the proof that the Nash equilibrium problem is complete for the subclass PPAD. Here we review some interesting developments since.