The colourful feasibility problem

We study a colourful generalization of the linear programming feasibility problem, comparing the algorithms introduced by Barany and Onn with new methods. This is a challenging problem on the borderline of tractability, its complexity is an open question. We perform benchmarking on generic and ill-conditioned problems, as well as recently introduced highly structured problems. We show that some algorithms can lead to cycling or slow convergence and we provide extensive numerical experiments which show that others perform much better than predicted by complexity arguments. We conclude that the most efficient method is a proposed multi-update algorithm.

[1]  Jirí Matousek,et al.  Quadratically Many Colorful Simplices , 2007, SIAM J. Discret. Math..

[2]  Emo Welzl,et al.  A Continuous Analogue of the Upper Bound Theorem , 2001, Discret. Comput. Geom..

[3]  Imre Bárány,et al.  Colourful Linear Programming and its Relatives , 1997, Math. Oper. Res..

[4]  David Ullrich,et al.  Carathéodory’s theorem , 2008, University Lecture Series.

[5]  Imre Bárány,et al.  A generalization of carathéodory's theorem , 1982, Discret. Math..

[6]  Tamon Stephen,et al.  A quadratic lower bound for colourful simplicial depth , 2008, J. Comb. Optim..

[7]  R. J. Webster,et al.  Carathéodory's Theorem , 1972, Canadian Mathematical Bulletin.

[8]  Tamon Stephen,et al.  Colourful Simplicial Depth , 2006, Discret. Comput. Geom..

[9]  Philip Wolfe,et al.  Finding the nearest point in A polytope , 1976, Math. Program..

[10]  V. Klee,et al.  HOW GOOD IS THE SIMPLEX ALGORITHM , 1970 .

[11]  Imre Ba´ra´ny,et al.  Quadratically Many Colorful Simplices , 2007 .

[12]  Imre Bárány,et al.  Caratheodory's theorem, colourful and applicable , 1997 .