Mathematical programs are a class of optimization problems with a goal of maximizing or minimizing an objective function with respect to a set of decision variables, subject to constraints on those decision variables. These optimization problems are categorized by the structure of the objective function and the constraints.
Mathematical programming techniques in SAS/OR software help solve mathematical programs that can correspond to a wide range of problems including resource allocation, distribution, product mix and blending, production planning, capital budgeting, asset allocation, and portfolio selection and staffing, to name a few.
Specialized algorithms (called solvers) that exploit the structure in the problem have been developed for solving specific categories of mathematical programs. The approach is to exploit characteristics of the problem to find optimal solutions more efficiently. All optimization procedures in SAS/OR software employ such specialized algorithms and are defined by the structure of the mathematical program that they solve. The following sections detail these structural categories.
Linear programs (LPs) are problems that have an objective function and constraints that are defined by using linear functions of the decision variables. The constraints can be a set of linear equalities or inequalities or both.
The OPTMODEL procedure solves linear programs. The syntax of the procedure's modeling language enables you to express the problem in a form that very closely resembles the symbolic form. PROC OPTMODEL provides three LP solvers: primal simplex, dual simplex, and interior-point. The simplex solvers implement a two-phase simplex method, and the interior point solver implements a primal-dual predictor-corrector algorithm. All three solvers are designed for excellent performance and scalability. Presolvers, which work aggressively to reduce the effective size of problems before the solvers are invoked, are also provided.
The OPTLP procedure also solves linear programs by using the same LP solvers that are available in PROC OPTMODEL. PROC OPTLP accepts linear programming problems that are submitted in a SAS data set that has a mathematical programming system (MPS) format. The MPS-format SAS data set corresponds closely to the MPS-format text file that is commonly used in the optimization community.
The legacy LP procedure solves linear programs using a primal simplex solver. PROC LP provides interactive control of the solution process and printing; handles sparse and dense input formats; and enables you to perform ranging, objective and right-hand-side sensitivity analysis, and parametric programming. In addition, the procedure saves intermediate results for "warm-starts."
The legacy INTPOINT procedure solves general linear programming problems by using the interior point algorithm. To solve LP problems using PROC INTPOINT, you save a representation of the LP variables and the constraints in one or two SAS data sets. These data sets are then passed to PROC INTPOINT for solution. The data is specified in the same format that is used by PROC LP. Therefore, any model-building techniques that apply to models for PROC LP also apply to PROC INTPOINT.
Mixed-integer linear programs (MILPs) are problems that have an objective function, a set of linear equality or inequality constraints (or both) that are defined using linear functions of the decision variables, and an additional constraint that requires some or all of the decision variables to be integer-valued.
The OPTMODEL procedure solves mixed-integer linear programming problems using the MILP solver. The MILP sover implements an LP-based branch-and-bound algorithm. The algorithm also implements advanced techniques including presolvers, cutting planes, and primal heuristics. The resulting improvements in efficiency enable you to use PROC OPTMODEL to solve larger and more complex optimization problems.
The OPTMILP procedure solves mixed-integer linear programming problems using the same MILP solver that is provided with PROC OPTMODEL. PROC OPTMILP accepts mixed-integer linear programming problems that are submitted in an MPS-format SAS data set.
The legacy LP procedure solves integer and mixed-integer programs using an LP-based branch-and-bound algorithm. PROC LP provides interactive control of the solution process and printing and also handles sparse and dense input formats.
A network consists of a collection of nodes joined by a collection of arcs. The arcs connect nodes and convey flow of one or more commodities that are supplied at supply nodes and demanded at demand nodes in the network. Each arc has a cost per unit of flow, a flow capacity, and a lower flow bound associated with it. Constrained network models can be used to describe a wide variety of real-world applications ranging from production, inventory, and distribution problems to financial applications.
To solve a network flow programming problem using the OPTMODEL procedure, you can formulate the corresponding linear programming problem and call the LP solver.
The legacy NETFLOW procedure also solves network flow programming problems by finding the shortest path, the maximum flow, or the minimum cost flow through a network, using a specialized simplex algorithm. In this procedure, the decision variables represent the flow through a network that has sources of flow and demands for flow. The procedure also supports linear side constraints on the flows through the network and on additional nonarc decision variables. PROC NETFLOW solves both network flow problems and pure linear programs by using an interior-point optimization method. PROC NETFLOW also provides options that enable you to model and solve generalized networks, in which it is possible to have losses or gains in the flow over various arcs.
The legacy INTPOINT procedure solves the network program with side constraints problem by using the interior point algorithm.
Nonlinear programming (NLP) problems involve minimizing or maximizing a continuous nonlinear function subject to linear and nonlinear, equality and inequality, and lower and upper bound constraints. Problems of this type are found in many settings ranging from optimal control to maximum likelihood estimation.
The OPTMODEL procedure's modeling language enables you to formulate and solve nonlinear programming problems in a very concise manner. You can choose from a variety of optimization techniques provided by four nonlinear programming solvers: the NLPU solver, which is designed to solve unconstrained NLP problems, the NLPC solver, which is designed to solve linearly constrained NLP problems, and the SQP (sequential quadratic programming) and IPNLP (interior-point NLP) solvers, both of which are designed to solve general NLP problems.
The legacy NLP procedure solves mathematical programs in which the objective function is a general nonlinear function of the decision variables and the constraints are linear or general nonlinear functions of the decision variables. The procedure includes a variety of algorithms, each specializing in solving different variants of the general nonlinear program.
A quadratic programming (QP) problem is identified by a quadratic term (in addition to or without a linear component) in the objective function, and a collection of linear constraints including general linear constraints along with lower or upper bounds (or both) on the decision variables.
The OPTMODEL procedure solves quadratic programming problems by using the QP solver. This solver implements an infeasible primal-dual predictor-corrector interior point algorithm.
The OPTQP procedure solves quadratic programs by using the same QP solver that is provided with PROC OPTMODEL. You specify the problem input data in a SAS data set that has a quadratic programming system (QPS) format.
Statistics and Operations Research Home Page | Operations Research