The OPTMILP Procedure

Overview: OPTMILP Procedure

The OPTMILP procedure is a solver for general mixed integer linear programs (MILPs).

A standard mixed integer linear program has the following formulation:

\displaystyle\mathop{\min} & \mathbf{c}^t \mathbf{x} & \    {subject to} & \mathb...   ...f{x} \le \mathbf{u} & \    & \mathbf{x}_i \in \mathbb{z} \forall i \in \cal{s} &
where

\mathbf{x}\in\mathbb{r}^nis the vector of structural variables
\mathbf{a}\in\mathbb{q}^{m x n}is the matrix of technological coefficients
\mathbf{c}\in\mathbb{q}^n is the vector of objective function coefficients
\mathbf{b}\in\mathbb{q}^mis the vector of constraints right-hand sides (RHS)
\mathbf{l}\in\mathbb{q}^n is the vector of lower bounds on variables
\mathbf{u}\in\mathbb{q}^n is the vector of upper bounds on variables
{\cal s}  is a nonempty subset of the set \{1     ... ,n\} of indices

The OPTMILP procedure implements an LP-based branch-and-bound algorithm. This divide-and-conquer approach attempts to solve the original problem by solving linear programming relaxations of a sequence of smaller subproblems. The OPTMILP procedure also implements advanced techniques such as presolving, generating cutting planes, and applying primal heuristics to improve the efficiency of the overall algorithm.

The OPTMILP procedure requires a mixed integer linear program to be specified using a SAS data set that adheres to the MPS format, a widely accepted format in the optimization community. Chapter 14 discusses the MPS format in detail. It is also possible to input an incumbent solution in MPS format; see the section "Warm Start" for details.

You can use the MPSOUT= option to convert typical PROC LP format data sets into MPS-format SAS data sets. The option is available in the LP, INTPOINT, and NETFLOW procedures. For details about this option, see Chapter 3, "The LP Procedure," Chapter 2, "The INTPOINT Procedure," and Chapter 5, "The NETFLOW Procedure."

The OPTMILP procedure provides various control options and solution strategies. In particular, you can enable, disable, or set levels for the advanced techniques previously mentioned.

The OPTMILP procedure outputs an optimal solution or the best feasible solution found, if any, in SAS data sets. This enables you to generate solution reports and perform additional analyses by using SAS.

Previous Page | Next Page | Top of Page