| 
alpar@906
 | 
     1  | 
/* -*- C++ -*-
  | 
| 
alpar@921
 | 
     2  | 
 * src/test/min_cost_flow_test.cc - Part of LEMON, a generic C++ optimization library
  | 
| 
alpar@906
 | 
     3  | 
 *
  | 
| 
alpar@906
 | 
     4  | 
 * Copyright (C) 2004 Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
  | 
| 
alpar@906
 | 
     5  | 
 * (Egervary Combinatorial Optimization Research Group, EGRES).
  | 
| 
alpar@906
 | 
     6  | 
 *
  | 
| 
alpar@906
 | 
     7  | 
 * Permission to use, modify and distribute this software is granted
  | 
| 
alpar@906
 | 
     8  | 
 * provided that this copyright notice appears in all copies. For
  | 
| 
alpar@906
 | 
     9  | 
 * precise terms see the accompanying LICENSE file.
  | 
| 
alpar@906
 | 
    10  | 
 *
  | 
| 
alpar@906
 | 
    11  | 
 * This software is provided "AS IS" with no warranty of any kind,
  | 
| 
alpar@906
 | 
    12  | 
 * express or implied, and with no claim as to its suitability for any
  | 
| 
alpar@906
 | 
    13  | 
 * purpose.
  | 
| 
alpar@906
 | 
    14  | 
 *
  | 
| 
alpar@906
 | 
    15  | 
 */
  | 
| 
alpar@906
 | 
    16  | 
  | 
| 
alpar@899
 | 
    17  | 
#include <iostream>
  | 
| 
alpar@899
 | 
    18  | 
#include "test_tools.h"
  | 
| 
alpar@921
 | 
    19  | 
#include <lemon/list_graph.h>
  | 
| 
alpar@921
 | 
    20  | 
#include <lemon/min_cost_flow.h>
  | 
| 
alpar@899
 | 
    21  | 
//#include <path.h>
  | 
| 
alpar@899
 | 
    22  | 
//#include <maps.h>
  | 
| 
alpar@899
 | 
    23  | 
  | 
| 
alpar@921
 | 
    24  | 
using namespace lemon;
  | 
| 
alpar@899
 | 
    25  | 
  | 
| 
alpar@899
 | 
    26  | 
  | 
| 
alpar@899
 | 
    27  | 
bool passed = true;
  | 
| 
alpar@899
 | 
    28  | 
/*
  | 
| 
alpar@899
 | 
    29  | 
void check(bool rc, char *msg="") {
 | 
| 
alpar@899
 | 
    30  | 
  passed = passed && rc;
  | 
| 
alpar@899
 | 
    31  | 
  if(!rc) {
 | 
| 
alpar@899
 | 
    32  | 
    std::cerr << "Test failed! ("<< msg << ")" << std::endl; \
 | 
| 
alpar@899
 | 
    33  | 
 
  | 
| 
alpar@899
 | 
    34  | 
  | 
| 
alpar@899
 | 
    35  | 
  }
  | 
| 
alpar@899
 | 
    36  | 
}
  | 
| 
alpar@899
 | 
    37  | 
*/
  | 
| 
alpar@899
 | 
    38  | 
  | 
| 
alpar@899
 | 
    39  | 
  | 
| 
alpar@899
 | 
    40  | 
int main()
  | 
| 
alpar@899
 | 
    41  | 
{
 | 
| 
marci@941
 | 
    42  | 
  typedef ListGraph Graph;
  | 
| 
marci@941
 | 
    43  | 
  typedef Graph::Node Node;
  | 
| 
marci@941
 | 
    44  | 
  typedef Graph::Edge Edge;
  | 
| 
alpar@899
 | 
    45  | 
  | 
| 
marci@941
 | 
    46  | 
  Graph graph;
  | 
| 
alpar@899
 | 
    47  | 
  | 
| 
alpar@899
 | 
    48  | 
  //Ahuja könyv példája
  | 
| 
alpar@899
 | 
    49  | 
  | 
| 
alpar@899
 | 
    50  | 
  Node s=graph.addNode();
  | 
| 
alpar@899
 | 
    51  | 
  Node v1=graph.addNode();  
  | 
| 
alpar@899
 | 
    52  | 
  Node v2=graph.addNode();
  | 
| 
alpar@899
 | 
    53  | 
  Node v3=graph.addNode();
  | 
| 
alpar@899
 | 
    54  | 
  Node v4=graph.addNode();
  | 
| 
alpar@899
 | 
    55  | 
  Node v5=graph.addNode();
  | 
| 
alpar@899
 | 
    56  | 
  Node t=graph.addNode();
  | 
| 
alpar@899
 | 
    57  | 
  | 
| 
alpar@899
 | 
    58  | 
  Edge s_v1=graph.addEdge(s, v1);
  | 
| 
alpar@899
 | 
    59  | 
  Edge v1_v2=graph.addEdge(v1, v2);
  | 
| 
alpar@899
 | 
    60  | 
  Edge s_v3=graph.addEdge(s, v3);
  | 
| 
alpar@899
 | 
    61  | 
  Edge v2_v4=graph.addEdge(v2, v4);
  | 
| 
alpar@899
 | 
    62  | 
  Edge v2_v5=graph.addEdge(v2, v5);
  | 
| 
alpar@899
 | 
    63  | 
  Edge v3_v5=graph.addEdge(v3, v5);
  | 
| 
alpar@899
 | 
    64  | 
  Edge v4_t=graph.addEdge(v4, t);
  | 
| 
alpar@899
 | 
    65  | 
  Edge v5_t=graph.addEdge(v5, t);
  | 
| 
alpar@899
 | 
    66  | 
  
  | 
| 
alpar@899
 | 
    67  | 
  | 
| 
marci@941
 | 
    68  | 
  Graph::EdgeMap<int> length(graph);
  | 
| 
alpar@899
 | 
    69  | 
  | 
| 
alpar@899
 | 
    70  | 
  length.set(s_v1, 6);
  | 
| 
alpar@899
 | 
    71  | 
  length.set(v1_v2, 4);
  | 
| 
alpar@899
 | 
    72  | 
  length.set(s_v3, 10);
  | 
| 
alpar@899
 | 
    73  | 
  length.set(v2_v4, 5);
  | 
| 
alpar@899
 | 
    74  | 
  length.set(v2_v5, 1);
  | 
| 
alpar@899
 | 
    75  | 
  length.set(v3_v5, 4);
  | 
| 
alpar@899
 | 
    76  | 
  length.set(v4_t, 8);
  | 
| 
alpar@899
 | 
    77  | 
  length.set(v5_t, 8);
  | 
| 
alpar@899
 | 
    78  | 
  | 
| 
marci@941
 | 
    79  | 
  Graph::EdgeMap<int> capacity(graph);
  | 
| 
alpar@899
 | 
    80  | 
  | 
| 
alpar@899
 | 
    81  | 
  capacity.set(s_v1, 2);
  | 
| 
alpar@899
 | 
    82  | 
  capacity.set(v1_v2, 2);
  | 
| 
alpar@899
 | 
    83  | 
  capacity.set(s_v3, 1);
  | 
| 
alpar@899
 | 
    84  | 
  capacity.set(v2_v4, 1);
  | 
| 
alpar@899
 | 
    85  | 
  capacity.set(v2_v5, 1);
  | 
| 
alpar@899
 | 
    86  | 
  capacity.set(v3_v5, 1);
  | 
| 
alpar@899
 | 
    87  | 
  capacity.set(v4_t, 1);
  | 
| 
alpar@899
 | 
    88  | 
  capacity.set(v5_t, 2);
  | 
| 
alpar@899
 | 
    89  | 
  | 
| 
alpar@899
 | 
    90  | 
  //  ConstMap<Edge, int> const1map(1);
  | 
| 
alpar@899
 | 
    91  | 
  std::cout << "Mincostflows algorithm test..." << std::endl;
  | 
| 
alpar@899
 | 
    92  | 
  | 
| 
marci@941
 | 
    93  | 
  MinCostFlow< Graph, Graph::EdgeMap<int>, Graph::EdgeMap<int> >
  | 
| 
marci@941
 | 
    94  | 
    surb_test(graph, length, capacity, s, t);
  | 
| 
alpar@899
 | 
    95  | 
  | 
| 
alpar@899
 | 
    96  | 
  int k=1;
  | 
| 
alpar@899
 | 
    97  | 
  | 
| 
marci@941
 | 
    98  | 
  surb_test.augment();
  | 
| 
marci@941
 | 
    99  | 
  check(  surb_test.flowValue() == 1 && surb_test.totalLength() == 19,"One path, total length should be 19");
  | 
| 
marci@941
 | 
   100  | 
  | 
| 
marci@941
 | 
   101  | 
  check(  surb_test.run(k) == 1 && surb_test.totalLength() == 19,"One path, total length should be 19");
  | 
| 
alpar@899
 | 
   102  | 
  | 
| 
alpar@899
 | 
   103  | 
  check(surb_test.checkComplementarySlackness(), "Is the primal-dual solution pair really optimal?");
  | 
| 
alpar@899
 | 
   104  | 
  
  | 
| 
alpar@899
 | 
   105  | 
  k=2;
  | 
| 
alpar@899
 | 
   106  | 
  
  | 
| 
marci@941
 | 
   107  | 
  check(  surb_test.run(k) == 2 && surb_test.totalLength() == 41,"Two paths, total length should be 41");
  | 
| 
alpar@899
 | 
   108  | 
  | 
| 
alpar@899
 | 
   109  | 
  check(surb_test.checkComplementarySlackness(), "Is the primal-dual solution pair really optimal?");
  | 
| 
alpar@899
 | 
   110  | 
  
  | 
| 
marci@941
 | 
   111  | 
  surb_test.augment();
  | 
| 
marci@941
 | 
   112  | 
  surb_test.augment();
  | 
| 
marci@941
 | 
   113  | 
  surb_test.augment();
  | 
| 
alpar@899
 | 
   114  | 
  k=4;
  | 
| 
alpar@899
 | 
   115  | 
  | 
| 
marci@941
 | 
   116  | 
  check(  surb_test.run(k) == 3 && surb_test.totalLength() == 64,"Three paths, total length should be 64");
  | 
| 
alpar@899
 | 
   117  | 
  | 
| 
alpar@899
 | 
   118  | 
  check(surb_test.checkComplementarySlackness(), "Is the primal-dual solution pair really optimal?");
  | 
| 
alpar@899
 | 
   119  | 
  | 
| 
alpar@899
 | 
   120  | 
  | 
| 
marci@941
 | 
   121  | 
  std::cout << (passed ? "All tests passed." : "Some of the tests failed!!!")
  | 
| 
marci@941
 | 
   122  | 
	    << std::endl;
  | 
| 
alpar@899
 | 
   123  | 
  | 
| 
alpar@899
 | 
   124  | 
  return passed ? 0 : 1;
  | 
| 
alpar@899
 | 
   125  | 
  | 
| 
alpar@899
 | 
   126  | 
}
  |