Randomized Relaxation Methods for the Maximum Feasible Subsystem Problem

作者: Edoardo Amaldi , Pietro Belotti , Raphael Hauser

DOI: 10.1007/11496915_19

关键词:

摘要: In the Max FS problem, given an infeasible linear system Ax ≥ b, one wishes to find a feasible subsystem containing maximum number of inequalities. This NP-hard problem has interesting applications in variety fields. some challenging telecommunications and computational biology faces very large instances with up millions inequalities thousands variables. We propose tackle large-scale using randomized thermal variants classical relaxation method for solving systems present theoretical analysis particular version such which we derive lower bound on probability that it identifies optimal solution within iterations. bound, is expressed as function condition input data, implies 1 after finitely many also results obtained medium- arising planning digital video broadcasts modelling energy functions driving protein folding. Our experiments indicate these methods perform well practice.

参考文章(25)
Yair Al Censor, Stavros A. Zenios, Parallel Optimization: Theory, Algorithms, and Applications ,(1997)
B.T. Polyak, Random Algorithms for Solving Convex Inequalities Studies in Computational Mathematics. ,vol. 8, pp. 409- 422 ,(2001) , 10.1016/S1570-579X(01)80024-0
O. L. Mangasarian, Machine Learning via Polyhedral Concave Minimization Physica-Verlag HD. pp. 175- 188 ,(1996) , 10.1007/978-3-642-99789-1_13
Gianni Codato, Matteo Fischetti, Combinatorial Benders’ Cuts integer programming and combinatorial optimization. pp. 178- 195 ,(2004) , 10.1007/978-3-540-25960-2_14
Marco Mattavelli, Vincent Noel, Edoardo Amaldi, Fast Line Detection Algorithms Based on Combinatorial Optimization Lecture Notes in Computer Science. ,vol. 2059, pp. 410- 419 ,(2001) , 10.1007/3-540-45129-3_37
Alexander Schrijver, Theory of Linear and Integer Programming ,(1986)
Edoardo Amaldi, Raphael Hauser, Boundedness Theorems for the Relaxation Method Mathematics of Operations Research. ,vol. 30, pp. 939- 955 ,(2005) , 10.1287/MOOR.1050.0164
H. D. Block, S. A. Levin, On the boundedness of an iterative procedure for solving a system of linear inequalities Proceedings of the American Mathematical Society. ,vol. 26, pp. 229- 235 ,(1970) , 10.1090/S0002-9939-1970-0265383-5