// -*- c++ -*-

#include <iostream>

#include <fstream>

#include <LEDA/graph.h>

#include <leda_graph_wrapper.h>

#include <dimacs.h>

#include <time_measure.h>

#include <edmonds_karp.h>

using namespace lemon;

using std::cout; 

using std::endl;

int main() {

  leda::graph g;

  typedef LedaGraphWrapper<leda::graph> Graph;

  Graph G(g);

//   G.addNode();

//   G.addNode();

//   std::cout << G.nodeNum() << std::endl; 

  typedef Graph::Node Node;

  typedef Graph::NodeIt NodeIt;  

  typedef Graph::Edge Edge;

  typedef Graph::EdgeIt EdgeIt;

  typedef Graph::OutEdgeIt OutEdgeIt;

  typedef Graph::InEdgeIt InEdgeIt;

  Node s, t;

  Graph::EdgeMap<int> cap(G);

  readDimacsMaxFlow(std::cin, G, s, t, cap);

//   cout << "bfs and dfs iterator demo on the directed graph" << endl;

//   for(NodeIt n=G.first<NodeIt>(); G.valid(n); G.next(n)) { 

//     cout << G.id(n) << ": ";

//     cout << "out edges: ";

//     for(OutEdgeIt e=G.first<OutEdgeIt>(n); G.valid(e); G.next(e)) 

//       cout << G.id(G.source(e)) << "-" << cap.get(e) << "->" << G.id(G.target(e)) << " ";

//     cout << "in edges: ";

//     for(InEdgeIt e=G.first<InEdgeIt>(n); G.valid(e); G.next(e)) 

//       cout << G.id(G.source(e)) << "-" << cap.get(e) << "->" << G.id(G.target(e)) << " ";

//     cout << endl;

//   }

//   int i=0;

//   for(EdgeIt e=G.first<EdgeIt>(); G.valid(e); G.next(e)) { cap.set(e, i); i+=3; }

//   for(EdgeIt e=G.first<EdgeIt>(); G.valid(e); G.next(e)) { cout << cap.get(e) << " "; }

//   cout << endl;

  {

    //std::cout << "SmartGraph..." << std::endl;

    std::cout << "on-the-fly edmonds karp demo on wrapped leda graph..." << std::endl;

    Graph::EdgeMap<int> flow(G); //0 flow

    Timer ts;

    ts.reset();

    MaxFlow<Graph, int, Graph::EdgeMap<int>, Graph::EdgeMap<int> > max_flow_test(G, s, t, flow, cap);

    //max_flow_test.augmentWithBlockingFlow<Graph>();

    int i=0;

    while (max_flow_test.augmentOnShortestPath()) { 

//     for(EdgeIt e=G.template first<EdgeIt>(); e.valid(); ++e) { 

//       std::cout<<"("<<G.source(e)<< "-"<<flow.get(e)<<"->"<<G.target(e)<<") ";

//     }

//     std::cout<<std::endl;

      ++i; 

    }

//   std::cout << "maximum flow: "<< std::endl;

//   for(EdgeIt e=G.first<EdgeIt>(); e.valid(); ++e) { 

//     std::cout<<"("<<G.source(e)<< "-"<<flow.get(e)<<"->"<<G.target(e)<<") ";

//   }

//   std::cout<<std::endl;

    std::cout << "elapsed time: " << ts << std::endl;

    std::cout << "number of augmentation phases: " << i << std::endl; 

    std::cout << "flow value: "<< max_flow_test.flowValue() << std::endl;

  }

  return 0;

}