FIXP-membership via Convex Optimization: Games, Cakes, and Markets

Aris Filos-Ratsikas, Kristoffer Arnsfelt Hansen, Kasper Høgh +1

We introduce a new technique for proving membership of problems in FIXP - the class capturing the complexity of computing a fixed-point of an algebraic circuit. Our technique const…