We show that using max-algebraic techniques it is possible to generate the set of all solutions to a system of inequalities x(i) - x(j) >= b(ij), i,j = 1,..., n using n generators. This efficient description enables us to develop a pseudopolynomial algorithm which either finds a bounded mixed-integer solution, or decides that no such solution exists. (c) 2008 Elsevier B.V. All rights reserved.
机构:
Univ Laval, CRISI Res Consortium Ind Syst Engn 4 0, FORAC Res Consortium, 2325 Rue Univ, Quebec City, PQ G1V 0A6, CanadaUniv Laval, CRISI Res Consortium Ind Syst Engn 4 0, FORAC Res Consortium, 2325 Rue Univ, Quebec City, PQ G1V 0A6, Canada