Lifting is a procedure for deriving strong valid inequalities for a closed set from inequalities that are valid for its lower dimensional restrictions. It is arguably one of the most effective ways of strengthening linear programming relaxations of 0–1 programming problems. Wolsey (1977) and Gu et al. (2000) show that superadditive lifting functions lead to sequence independent lifting of valid...

A short introduction to Integer Programming (IP). Problems leading to IP models. Some modelling tricks and reformulations. Geometry of linear IP. TUM matrices. Brief notes on polyhedral analysis. Separation theory. Chvatal cut hierarchy, Gomory cuts, Disjunctive cuts, RLT cut hierarchy. Iterative methods: Branch-and-Bound, Cutting Plane, Branch-and-Cut, Branch-and-Price. Lower bounds: Lagrangia...

Computing the exact ideal and nadir criterion values is a very ‎important subject in ‎multi-‎objective linear programming (MOLP) ‎problems‎‎. In fact‎, ‎these values define the ideal and nadir points as lower and ‎upper bounds on the nondominated points‎. ‎Whereas determining the ‎ideal point is an easy work‎, ‎because it is equivalent to optimize a ‎convex function (linear function) over a con...

The beauty of linear programming theory arises from linear programming duality that provides a short certificate that a given pair of primal and dual feasible solutions are optimal. One of the central fundaments of this duality result is the so-called Farkas Lemma that establishes that a given system of linear inequalities has a solution if and only if another system of linear inequalities is i...

in this paper a new method is proposed for path planning of planar manipulators amid obstacles through mathematical programming in a way that the robot’s links avoid collision with obstacles throughout their motion from an initial to a goal configuration. after inputting the workspace geometry, the shortest feasible path for the robot’s end-effector is planned toward its goal position using gen...

zinc is the first modelling language which supports solver and technique independence. this means that a high level conceptual model can be automatically mapped into an appropriate low level design model for a specific solver or technique. to date, zinc uses three different techniques to solve a model: constraint programming (cp), local search (ls), and mixed integer programming (mip). in this ...

A standard trick in integer programming is to replace each bounded integer-constrained variable with a small number of binary variables, using the bit representation of the given variable. We show that, in the case of mixed-integer quadratic programs (MIQPs), this process can enable one to obtain stronger linear programming relaxations. Moreover, we give a simple sufficient condition under whic...

Presented here is a generalization of the implicit enumeration algorithm that can be applied when the objec-tive function is being maximized and can be rewritten as the difference of two non-decreasing functions. Also developed is a computational algorithm, named linear speedup, to use whatever explicit linear constraints are present to speedup the search for a solution. The method is easy to u...