#include <iostream>

 #include <fstream>

 #include <list_graph.hh>

 #include <dimacs.hh>

 #include <edmonds_karp.hh>

 #include <time_measure.h>

 #include <graph_wrapper.h>

 using namespace hugo;

 // Use a DIMACS max flow file as stdin.

 // read_dimacs_demo < dimacs_max_flow_file

 /*

   struct Ize {

   };

   struct Mize {

     Ize bumm;

   };

   template <typename B>

     class Huha {

     public:

       int u;

       B brr;

     };

 */

 int main(int, char **) {

   typedef ListGraph::NodeIt NodeIt;

   typedef ListGraph::EachEdgeIt EachEdgeIt;

 /*

   Mize mize[10];

   Mize bize[0];

   Mize zize;

   typedef Mize Tize[0];

   std::cout << &zize << " " << sizeof(mize) << sizeof(Tize) << std::endl;

   std::cout << sizeof(bize) << std::endl;

   Huha<Tize> k;

   std::cout << sizeof(k) << std::endl;

   struct Bumm {

     //int a;

     bool b;

   };

   std::cout << sizeof(Bumm) << std::endl;

 */

   ListGraph G;

   NodeIt s, t;

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

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

 /*

   typedef TrivGraphWrapper<ListGraph> TGW;

   TGW gw(G);

   TGW::EachNodeIt sw;

   gw.getFirst(sw);

   std::cout << "p1:" << gw.nodeNum() << std::endl;

   gw.erase(sw);

   std::cout << "p2:" << gw.nodeNum() << std::endl;

   typedef const ListGraph cLG;

   typedef TrivGraphWrapper<const cLG> CTGW;

   CTGW cgw(G);

   CTGW::EachNodeIt csw;

   cgw.getFirst(csw);

   std::cout << "p1:" << cgw.nodeNum() << std::endl;

   //cgw.erase(csw);

   std::cout << "p2:" << cgw.nodeNum() << std::endl;

 */

   {

   std::cout << "edmonds karp demo (blocking flow augmentation)..." << std::endl;

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

   Timer ts;

   ts.reset();

   //double pre_time=currTime();

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

   //max_flow_test.augmentWithBlockingFlow<ListGraph>();

   int i=0;

   while (max_flow_test.augmentOnBlockingFlow<ListGraph>()) { ++i; }

   //double post_time=currTime();

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

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

   //  std::cout<<"("<<G.tail(e)<< "-"<<flow.get(e)<<"->"<<G.head(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;

   }

   {

   std::cout << "edmonds karp demo (shortest path augmentation)..." << std::endl;

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

   Timer ts;

   ts.reset();

   //double pre_time=currTime();

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

   //max_flow_test.augmentWithBlockingFlow<ListGraph>();

   int i=0;

   while (max_flow_test.augmentOnShortestPath()) { ++i; }

   //double post_time=currTime();

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

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

   //  std::cout<<"("<<G.tail(e)<< "-"<<flow.get(e)<<"->"<<G.head(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;

 }