[181] | 1 | // -*- c++ -*- |
---|
| 2 | #include <iostream> |
---|
| 3 | #include <fstream> |
---|
| 4 | |
---|
| 5 | #include <LEDA/graph.h> |
---|
[189] | 6 | #include <leda_graph_wrapper.h> |
---|
[181] | 7 | #include <dimacs.h> |
---|
| 8 | #include <time_measure.h> |
---|
| 9 | #include <edmonds_karp.h> |
---|
| 10 | |
---|
[921] | 11 | using namespace lemon; |
---|
[181] | 12 | |
---|
| 13 | using std::cout; |
---|
| 14 | using std::endl; |
---|
| 15 | |
---|
| 16 | int main() { |
---|
| 17 | leda::graph g; |
---|
[189] | 18 | typedef LedaGraphWrapper<leda::graph> Graph; |
---|
[181] | 19 | Graph G(g); |
---|
| 20 | // G.addNode(); |
---|
| 21 | // G.addNode(); |
---|
| 22 | // std::cout << G.nodeNum() << std::endl; |
---|
| 23 | |
---|
| 24 | typedef Graph::Node Node; |
---|
| 25 | typedef Graph::NodeIt NodeIt; |
---|
| 26 | typedef Graph::Edge Edge; |
---|
| 27 | typedef Graph::EdgeIt EdgeIt; |
---|
| 28 | typedef Graph::OutEdgeIt OutEdgeIt; |
---|
| 29 | typedef Graph::InEdgeIt InEdgeIt; |
---|
| 30 | |
---|
| 31 | Node s, t; |
---|
| 32 | Graph::EdgeMap<int> cap(G); |
---|
| 33 | readDimacsMaxFlow(std::cin, G, s, t, cap); |
---|
| 34 | |
---|
| 35 | |
---|
| 36 | // cout << "bfs and dfs iterator demo on the directed graph" << endl; |
---|
| 37 | // for(NodeIt n=G.first<NodeIt>(); G.valid(n); G.next(n)) { |
---|
| 38 | // cout << G.id(n) << ": "; |
---|
| 39 | // cout << "out edges: "; |
---|
| 40 | // for(OutEdgeIt e=G.first<OutEdgeIt>(n); G.valid(e); G.next(e)) |
---|
| 41 | // cout << G.id(G.tail(e)) << "-" << cap.get(e) << "->" << G.id(G.head(e)) << " "; |
---|
| 42 | // cout << "in edges: "; |
---|
| 43 | // for(InEdgeIt e=G.first<InEdgeIt>(n); G.valid(e); G.next(e)) |
---|
| 44 | // cout << G.id(G.tail(e)) << "-" << cap.get(e) << "->" << G.id(G.head(e)) << " "; |
---|
| 45 | // cout << endl; |
---|
| 46 | // } |
---|
| 47 | |
---|
| 48 | // int i=0; |
---|
| 49 | // for(EdgeIt e=G.first<EdgeIt>(); G.valid(e); G.next(e)) { cap.set(e, i); i+=3; } |
---|
| 50 | // for(EdgeIt e=G.first<EdgeIt>(); G.valid(e); G.next(e)) { cout << cap.get(e) << " "; } |
---|
| 51 | // cout << endl; |
---|
| 52 | |
---|
| 53 | { |
---|
| 54 | //std::cout << "SmartGraph..." << std::endl; |
---|
| 55 | std::cout << "on-the-fly edmonds karp demo on wrapped leda graph..." << std::endl; |
---|
| 56 | Graph::EdgeMap<int> flow(G); //0 flow |
---|
| 57 | |
---|
| 58 | |
---|
| 59 | Timer ts; |
---|
| 60 | ts.reset(); |
---|
| 61 | |
---|
| 62 | MaxFlow<Graph, int, Graph::EdgeMap<int>, Graph::EdgeMap<int> > max_flow_test(G, s, t, flow, cap); |
---|
| 63 | //max_flow_test.augmentWithBlockingFlow<Graph>(); |
---|
| 64 | int i=0; |
---|
| 65 | while (max_flow_test.augmentOnShortestPath()) { |
---|
| 66 | // for(EdgeIt e=G.template first<EdgeIt>(); e.valid(); ++e) { |
---|
| 67 | // std::cout<<"("<<G.tail(e)<< "-"<<flow.get(e)<<"->"<<G.head(e)<<") "; |
---|
| 68 | // } |
---|
| 69 | // std::cout<<std::endl; |
---|
| 70 | ++i; |
---|
| 71 | } |
---|
| 72 | |
---|
| 73 | // std::cout << "maximum flow: "<< std::endl; |
---|
| 74 | // for(EdgeIt e=G.first<EdgeIt>(); e.valid(); ++e) { |
---|
| 75 | // std::cout<<"("<<G.tail(e)<< "-"<<flow.get(e)<<"->"<<G.head(e)<<") "; |
---|
| 76 | // } |
---|
| 77 | // std::cout<<std::endl; |
---|
| 78 | std::cout << "elapsed time: " << ts << std::endl; |
---|
| 79 | std::cout << "number of augmentation phases: " << i << std::endl; |
---|
| 80 | std::cout << "flow value: "<< max_flow_test.flowValue() << std::endl; |
---|
| 81 | } |
---|
| 82 | |
---|
| 83 | |
---|
| 84 | return 0; |
---|
| 85 | } |
---|