The following example shows how to solve Example 6.11 using PROC OPTMODEL. The input data sets are the same as in that example.
The following PROC OPTMODEL statements read the data sets, build the linear programming model, solve the model, and output
the optimal solution to a SAS data set called GENETOUT
:
proc optmodel; set <str> NODES; num _sd_ {NODES} init 0; read data gnodes into NODES=[_node_] _sd_; set <str,str> ARCS; num _lo_ {ARCS} init 0; num _capac_ {ARCS} init .; num _cost_ {ARCS}; num _mult_ {ARCS} init 1; read data garcs nomiss into ARCS=[_from_ _to_] _cost_ _mult_; NODES = NODES union (union {<i,j> in ARCS} {i,j}); var Flow {<i,j> in ARCS} >= _lo_[i,j]; min obj = sum {<i,j> in ARCS} _cost_[i,j] * Flow[i,j]; con balance {i in NODES}: sum {<(i),j> in ARCS} Flow[i,j] - sum {<j,(i)> in ARCS} _mult_[j,i] * Flow[j,i] = _sd_[i]; num infinity = constant('BIG'); /* change equality constraint to le constraint for supply nodes */ for {i in NODES: _sd_[i] > 0} balance[i].lb = -infinity; solve; num _supply_ {<i,j> in ARCS} = (if _sd_[i] ne 0 then _sd_[i] else .); num _demand_ {<i,j> in ARCS} = (if _sd_[j] ne 0 then -_sd_[j] else .); num _fcost_ {<i,j> in ARCS} = _cost_[i,j] * Flow[i,j].sol; create data gnetout from [_from_ _to_] _cost_ _capac_ _lo_ _mult_ _supply_ _demand_ _flow_=Flow _fcost_; quit;
To solve a generalized network flow problem, the usual balance constraint is altered to include the arc multiplier “_mult_[j,i]” in the second sum. The balance constraint is initially declared as an equality, but to mimic the PROC NETFLOW EXCESS=SUPPLY option, the sense of this constraint is changed to “” by relaxing the constraint’s lower bound for supply nodes. The output data set contains the same optimal solution as Output 6.11.2. The log is displayed in Output 6.16.1.
Output 6.16.1: OPTMODEL Log
NOTE: There were 6 observations read from the data set WORK.GNODES. |
NOTE: There were 7 observations read from the data set WORK.GARCS. |
NOTE: Problem generation will use 4 threads. |
NOTE: The problem has 7 variables (0 free, 0 fixed). |
NOTE: The problem has 6 linear constraints (3 LE, 3 EQ, 0 GE, 0 range). |
NOTE: The problem has 14 linear constraint coefficients. |
NOTE: The problem has 0 nonlinear constraints (0 LE, 0 EQ, 0 GE, 0 range). |
NOTE: The OPTMODEL presolver is disabled for linear problems. |
NOTE: The LP presolver value AUTOMATIC is applied. |
NOTE: The LP presolver removed 2 variables and 2 constraints. |
NOTE: The LP presolver removed 4 constraint coefficients. |
NOTE: The presolved problem has 5 variables, 4 constraints, and 10 constraint |
coefficients. |
NOTE: The LP solver is called. |
NOTE: The Dual Simplex algorithm is used. |
Objective |
Phase Iteration Value Time |
D 1 1 0.000000E+00 0 |
D 2 2 1.500000E+01 0 |
D 2 3 2.500000E+01 0 |
NOTE: Optimal. |
NOTE: Objective = 25. |
NOTE: The Dual Simplex solve time is 0.00 seconds. |
NOTE: The data set WORK.GNETOUT has 7 observations and 10 variables. |
Now consider the previous example but with a slight modification to the arc multipliers, as in Example 6.11.
data garcs1; input _from_ $ _to_ $ _cost_ _mult_; datalines; s1 d1 1 0.5 s1 d2 8 0.5 s2 d1 4 . s2 d2 2 . s2 d3 1 . s3 d2 5 0.5 s3 d3 4 0.5 ;
The following PROC OPTMODEL statements are identical to the preceding statements, except for the balance constraint. It is still initially declared as an equality, but to mimic the PROC NETFLOW EXCESS=DEMAND option, the sense of this constraint is changed to “” by relaxing the constraint’s upper bound for demand nodes.
proc optmodel; set <str> NODES; num _sd_ {NODES} init 0; read data gnodes into NODES=[_node_] _sd_; set <str,str> ARCS; num _lo_ {ARCS} init 0; num _capac_ {ARCS} init .; num _cost_ {ARCS}; num _mult_ {ARCS} init 1; read data garcs1 nomiss into ARCS=[_from_ _to_] _cost_ _mult_; NODES = NODES union (union {<i,j> in ARCS} {i,j}); var Flow {<i,j> in ARCS} >= _lo_[i,j]; for {<i,j> in ARCS: _capac_[i,j] ne .} Flow[i,j].ub = _capac_[i,j]; min obj = sum {<i,j> in ARCS} _cost_[i,j] * Flow[i,j]; con balance {i in NODES}: sum {<(i),j> in ARCS} Flow[i,j] - sum {<j,(i)> in ARCS} _mult_[j,i] * Flow[j,i] = _sd_[i]; num infinity = constant('BIG'); /* change equality constraint to ge constraint */ for {i in NODES: _sd_[i] < 0} balance[i].ub = infinity; solve; num _supply_ {<i,j> in ARCS} = (if _sd_[i] ne 0 then _sd_[i] else .); num _demand_ {<i,j> in ARCS} = (if _sd_[j] ne 0 then -_sd_[j] else .); num _fcost_ {<i,j> in ARCS} = _cost_[i,j] * Flow[i,j].sol; create data gnetout1 from [_from_ _to_] _cost_ _capac_ _lo_ _mult_ _supply_ _demand_ _flow_=Flow _fcost_; quit;
The output data set contains the same optimal solution as Output 6.11.3. The log is displayed in Output 6.16.2.
Output 6.16.2: OPTMODEL Log
NOTE: There were 6 observations read from the data set WORK.GNODES. |
NOTE: There were 7 observations read from the data set WORK.GARCS1. |
NOTE: Problem generation will use 4 threads. |
NOTE: The problem has 7 variables (0 free, 0 fixed). |
NOTE: The problem has 6 linear constraints (0 LE, 3 EQ, 3 GE, 0 range). |
NOTE: The problem has 14 linear constraint coefficients. |
NOTE: The problem has 0 nonlinear constraints (0 LE, 0 EQ, 0 GE, 0 range). |
NOTE: The OPTMODEL presolver is disabled for linear problems. |
NOTE: The LP presolver value AUTOMATIC is applied. |
NOTE: The LP presolver removed 2 variables and 2 constraints. |
NOTE: The LP presolver removed 4 constraint coefficients. |
NOTE: The presolved problem has 5 variables, 4 constraints, and 10 constraint |
coefficients. |
NOTE: The LP solver is called. |
NOTE: The Dual Simplex algorithm is used. |
Objective |
Phase Iteration Value Time |
D 1 1 0.000000E+00 0 |
D 2 2 4.997000E+01 0 |
D 2 4 7.000000E+01 0 |
NOTE: Optimal. |
NOTE: Objective = 70. |
NOTE: The Dual Simplex solve time is 0.00 seconds. |
NOTE: The data set WORK.GNETOUT1 has 7 observations and 10 variables. |