Colorful linear programming, Nash equilibrium, and pivots

The colorful Carathéodory theorem, proved by Bárány in 1982, states that given d+1 sets of points S₁,…,S_d+1 in R^d, with each S_i containing 0 in its convex hull, there exists a set T⊆⋃_i=1 ^d+1S_i containing 0 in its convex hull and such that |T∩S_i|≤1 for all i∈{1,…,d+1}. An intriguing question–still open–is whether such a set T, whose existence is ensured, can be found in polynomial time. In 1997, Bárány and Onn defined colorful linear programming as algorithmic questions related to the colorful Carathéodory theorem. The question we just mentioned comes under colorful linear programming. The traditional applications of colorful linear programming lie in discrete geometry. In this paper, we study its relations with other areas, such as game theory, operations research, and combinatorics. Regarding game theory, we prove that computing a Nash equilibrium in a bimatrix game is a colorful linear programming problem. We also formulate an optimization problem for colorful linear programming and show that as for usual linear programming, deciding and optimizing are computationally equivalent. We discuss then a colorful version of Dantzig's diet problem. We also propose a variant of the Bárány algorithm, which is an algorithm computing a set T whose existence is ensured by the colorful Carathéodory theorem. Our algorithm makes a clear connection with the simplex algorithm and we discuss its computational efficiency. Related complexity and combinatorial results are also provided.