demo/lp_demo.cc
author hegyi
Thu, 23 Jun 2005 17:56:24 +0000
changeset 1509 f9113440b667
parent 1387 37d1b20cd9ef
child 1513 b2a79aaa6867
permissions -rw-r--r--
A bug, explored by Alpar is corrected, but with value-checking, and not with correct values. (There is some problem with map values of new items! Maybe refreshemnt is the responsible thing?)
ladanyi@1387
     1
#ifdef HAVE_CONFIG_H
ladanyi@1387
     2
#include <config.h>
ladanyi@1387
     3
#endif
ladanyi@1387
     4
alpar@1362
     5
#include <iostream>
alpar@1381
     6
alpar@1381
     7
alpar@1381
     8
#ifdef HAVE_GLPK
alpar@1362
     9
#include <lemon/lp_glpk.h>
alpar@1381
    10
#elif HAVE_CPLEX
alpar@1381
    11
#include <lemon/lp_cplex.h>
alpar@1381
    12
#endif
alpar@1381
    13
alpar@1362
    14
using namespace lemon;
alpar@1362
    15
alpar@1381
    16
#ifdef HAVE_GLPK
alpar@1381
    17
typedef LpGlpk LpDefault;
alpar@1381
    18
#elif HAVE_CPLEX
alpar@1381
    19
typedef LpCplex LpDefault;
alpar@1381
    20
#endif
alpar@1381
    21
alpar@1362
    22
int main()
alpar@1362
    23
{     
alpar@1362
    24
 //The following example is taken from the documentation of the GLPK library.
alpar@1362
    25
 //See it in the GLPK reference manual and among the GLPK sample files (sample.c)
alpar@1381
    26
  LpDefault lp;
alpar@1381
    27
  typedef LpDefault::Row Row;
alpar@1381
    28
  typedef LpDefault::Col Col;
alpar@1362
    29
alpar@1362
    30
  lp.max();
alpar@1362
    31
alpar@1362
    32
  Col x1 = lp.addCol();
alpar@1362
    33
  Col x2 = lp.addCol();
alpar@1362
    34
  Col x3 = lp.addCol();
alpar@1362
    35
alpar@1362
    36
  //One solution
alpar@1362
    37
  //   Row p = lp.addRow();
alpar@1362
    38
  //   Row q = lp.addRow();
alpar@1362
    39
  //   Row r = lp.addRow();
alpar@1362
    40
  //   lp.setRow(p,x1+x2+x3 <=100);  
alpar@1362
    41
  //   lp.setRow(q,10*x1+4*x2+5*x3<=600);  
alpar@1362
    42
  //   lp.setRow(r,2*x1+2*x2+6*x3<=300);  
alpar@1362
    43
alpar@1362
    44
  //A more elegant one
alpar@1362
    45
  //Constraints
alpar@1362
    46
  lp.addRow(x1+x2+x3 <=100);  
alpar@1362
    47
  lp.addRow(10*x1+4*x2+5*x3<=600);  
alpar@1362
    48
  lp.addRow(2*x1+2*x2+6*x3<=300);  
alpar@1362
    49
  //Nonnegativity of the variables
alpar@1362
    50
  lp.colLowerBound(x1, 0);
alpar@1362
    51
  lp.colLowerBound(x2, 0);
alpar@1362
    52
  lp.colLowerBound(x3, 0);
alpar@1362
    53
  //Objective function
alpar@1362
    54
  lp.setObj(10*x1+6*x2+4*x3);
alpar@1362
    55
  
alpar@1362
    56
  lp.solve();
alpar@1362
    57
alpar@1362
    58
  if (lp.primalStatus()==LpSolverBase::OPTIMAL){
alpar@1362
    59
    printf("Z = %g; x1 = %g; x2 = %g; x3 = %g\n", 
alpar@1362
    60
	   lp.primalValue(), 
alpar@1362
    61
	   lp.primal(x1), lp.primal(x2), lp.primal(x3));
alpar@1362
    62
  }
alpar@1362
    63
  else{
alpar@1362
    64
    std::cout<<"Optimal solution not found!"<<std::endl;
alpar@1362
    65
  }
alpar@1362
    66
alpar@1362
    67
alpar@1362
    68
  //Here comes the same problem written in C using GLPK API routines
alpar@1362
    69
alpar@1362
    70
//   LPX *lp;
alpar@1362
    71
//       int ia[1+1000], ja[1+1000];
alpar@1362
    72
//       double ar[1+1000], Z, x1, x2, x3;
alpar@1362
    73
// s1:   lp = lpx_create_prob();
alpar@1362
    74
// s2:   lpx_set_prob_name(lp, "sample");
alpar@1362
    75
// s3:   lpx_set_obj_dir(lp, LPX_MAX);
alpar@1362
    76
// s4:   lpx_add_rows(lp, 3);
alpar@1362
    77
// s5:   lpx_set_row_name(lp, 1, "p");
alpar@1362
    78
// s6:   lpx_set_row_bnds(lp, 1, LPX_UP, 0.0, 100.0);
alpar@1362
    79
// s7:   lpx_set_row_name(lp, 2, "q");
alpar@1362
    80
// s8:   lpx_set_row_bnds(lp, 2, LPX_UP, 0.0, 600.0);
alpar@1362
    81
// s9:   lpx_set_row_name(lp, 3, "r");
alpar@1362
    82
// s10:  lpx_set_row_bnds(lp, 3, LPX_UP, 0.0, 300.0);
alpar@1362
    83
// s11:  lpx_add_cols(lp, 3);
alpar@1362
    84
// s12:  lpx_set_col_name(lp, 1, "x1");
alpar@1362
    85
// s13:  lpx_set_col_bnds(lp, 1, LPX_LO, 0.0, 0.0);
alpar@1362
    86
// s14:  lpx_set_obj_coef(lp, 1, 10.0);
alpar@1362
    87
// s15:  lpx_set_col_name(lp, 2, "x2");
alpar@1362
    88
// s16:  lpx_set_col_bnds(lp, 2, LPX_LO, 0.0, 0.0);
alpar@1362
    89
// s17:  lpx_set_obj_coef(lp, 2, 6.0);
alpar@1362
    90
// s18:  lpx_set_col_name(lp, 3, "x3");
alpar@1362
    91
// s19:  lpx_set_col_bnds(lp, 3, LPX_LO, 0.0, 0.0);
alpar@1362
    92
// s20:  lpx_set_obj_coef(lp, 3, 4.0);
alpar@1362
    93
// s21:  ia[1] = 1, ja[1] = 1, ar[1] =  1.0; /* a[1,1] =  1 */
alpar@1362
    94
// s22:  ia[2] = 1, ja[2] = 2, ar[2] =  1.0; /* a[1,2] =  1 */
alpar@1362
    95
// s23:  ia[3] = 1, ja[3] = 3, ar[3] =  1.0; /* a[1,3] =  1 */
alpar@1362
    96
// s24:  ia[4] = 2, ja[4] = 1, ar[4] = 10.0; /* a[2,1] = 10 */
alpar@1362
    97
// s25:  ia[5] = 3, ja[5] = 1, ar[5] =  2.0; /* a[3,1] =  2 */
alpar@1362
    98
// s26:  ia[6] = 2, ja[6] = 2, ar[6] =  4.0; /* a[2,2] =  4 */
alpar@1362
    99
// s27:  ia[7] = 3, ja[7] = 2, ar[7] =  2.0; /* a[3,2] =  2 */
alpar@1362
   100
// s28:  ia[8] = 2, ja[8] = 3, ar[8] =  5.0; /* a[2,3] =  5 */
alpar@1362
   101
// s29:  ia[9] = 3, ja[9] = 3, ar[9] =  6.0; /* a[3,3] =  6 */
alpar@1362
   102
// s30:  lpx_load_matrix(lp, 9, ia, ja, ar);
alpar@1362
   103
// s31:  lpx_simplex(lp);
alpar@1362
   104
// s32:  Z = lpx_get_obj_val(lp);
alpar@1362
   105
// s33:  x1 = lpx_get_col_prim(lp, 1);
alpar@1362
   106
// s34:  x2 = lpx_get_col_prim(lp, 2);
alpar@1362
   107
// s35:  x3 = lpx_get_col_prim(lp, 3);
alpar@1362
   108
// s36:  printf("\nZ = %g; x1 = %g; x2 = %g; x3 = %g\n", Z, x1, x2, x3);
alpar@1362
   109
// s37:  lpx_delete_prob(lp);
alpar@1362
   110
//       return 0;
alpar@1362
   111
alpar@1362
   112
  return 0;
alpar@1362
   113
}