5 #include <marci_list_graph.hh>
6 #include <marci_graph_traits.hh>
7 #include <marci_property_vector.hh>
8 #include <preflow_push_hl.hh>
9 #include <preflow_push_max_flow.hh>
10 #include <reverse_bfs.hh>
11 //#include <dijkstra.hh>
13 using namespace marci;
16 int main (int, char*[])
18 typedef graph_traits<list_graph>::node_iterator node_iterator;
19 typedef graph_traits<list_graph>::edge_iterator edge_iterator;
20 typedef graph_traits<list_graph>::each_node_iterator each_node_iterator;
21 typedef graph_traits<list_graph>::each_edge_iterator each_edge_iterator;
22 typedef graph_traits<list_graph>::out_edge_iterator out_edge_iterator;
23 typedef graph_traits<list_graph>::in_edge_iterator in_edge_iterator;
24 typedef graph_traits<list_graph>::sym_edge_iterator sym_edge_iterator;
28 /* //Ahuja könyv példája, maxflowvalue=13
29 node_iterator s=flow_test.add_node();
30 node_iterator v1=flow_test.add_node();
31 node_iterator v2=flow_test.add_node();
32 node_iterator v3=flow_test.add_node();
33 node_iterator v4=flow_test.add_node();
34 node_iterator v5=flow_test.add_node();
35 node_iterator t=flow_test.add_node();
37 node_property_vector<list_graph, std::string> node_name(flow_test);
38 node_name.put(s, "s");
39 node_name.put(v1, "v1");
40 node_name.put(v2, "v2");
41 node_name.put(v3, "v3");
42 node_name.put(v4, "v4");
43 node_name.put(v5, "v5");
44 node_name.put(t, "t");
46 edge_iterator s_v1=flow_test.add_edge(s, v1);
47 edge_iterator s_v2=flow_test.add_edge(s, v2);
48 edge_iterator s_v3=flow_test.add_edge(s, v3);
49 edge_iterator v2_v4=flow_test.add_edge(v2, v4);
50 edge_iterator v2_v5=flow_test.add_edge(v2, v5);
51 edge_iterator v3_v5=flow_test.add_edge(v3, v5);
52 edge_iterator v4_t=flow_test.add_edge(v4, t);
53 edge_iterator v5_t=flow_test.add_edge(v5, t);
54 edge_iterator v2_s=flow_test.add_edge(v2, s);
56 edge_property_vector<list_graph, int> cap(flow_test);
69 //Marci példája, maxflowvalue=23
70 node_iterator s=flow_test.add_node();
71 node_iterator v1=flow_test.add_node();
72 node_iterator v2=flow_test.add_node();
73 node_iterator v3=flow_test.add_node();
74 node_iterator v4=flow_test.add_node();
75 node_iterator t=flow_test.add_node();
76 node_iterator w=flow_test.add_node();
79 node_property_vector<list_graph, std::string> node_name(flow_test);
80 node_name.put(s, "s");
81 node_name.put(v1, "v1");
82 node_name.put(v2, "v2");
83 node_name.put(v3, "v3");
84 node_name.put(v4, "v4");
85 node_name.put(t, "t");
86 node_name.put(w, "w");
88 edge_iterator s_v1=flow_test.add_edge(s, v1);
89 edge_iterator s_v2=flow_test.add_edge(s, v2);
90 edge_iterator v1_v2=flow_test.add_edge(v1, v2);
91 edge_iterator v2_v1=flow_test.add_edge(v2, v1);
92 edge_iterator v1_v3=flow_test.add_edge(v1, v3);
93 edge_iterator v3_v2=flow_test.add_edge(v3, v2);
94 edge_iterator v2_v4=flow_test.add_edge(v2, v4);
95 edge_iterator v4_v3=flow_test.add_edge(v4, v3);
96 edge_iterator v3_t=flow_test.add_edge(v3, t);
97 edge_iterator v4_t=flow_test.add_edge(v4, t);
98 edge_iterator v3_v3=flow_test.add_edge(v3, v3);
99 edge_iterator s_w=flow_test.add_edge(s, w);
100 edge_iterator v2_s=flow_test.add_edge(v2, s);
104 edge_property_vector<list_graph, int> cap(flow_test);
120 //pelda 3, maxflowvalue=4
121 /* node_iterator s=flow_test.add_node();
122 node_iterator v1=flow_test.add_node();
123 node_iterator v2=flow_test.add_node();
124 node_iterator t=flow_test.add_node();
125 node_iterator w=flow_test.add_node();
127 node_property_vector<list_graph, std::string> node_name(flow_test);
128 node_name.put(s, "s");
129 node_name.put(v1, "v1");
130 node_name.put(v2, "v2");
131 node_name.put(t, "t");
132 node_name.put(w, "w");
134 edge_iterator s_v1=flow_test.add_edge(s, v1);
135 edge_iterator v1_v2=flow_test.add_edge(v1, v2);
136 edge_iterator v2_t=flow_test.add_edge(v2, t);
137 edge_iterator v1_v1=flow_test.add_edge(v1, v1);
138 edge_iterator s_w=flow_test.add_edge(s, w);
141 edge_property_vector<list_graph, int> cap(flow_test);
153 std::cout << "Testing reverse_bfs..." << std::endl;
155 reverse_bfs<list_graph> bfs_test(flow_test, t);
159 for (each_node_iterator w=flow_test.first_node(); w.valid(); ++w) {
160 std::cout <<"The distance of " << w << " is " << bfs_test.dist(w) <<std::endl;
167 std::cout << "Testing preflow_push_hl..." << std::endl;
169 preflow_push_hl<list_graph, int> preflow_push_test(flow_test, s, t, cap);
171 preflow_push_test.run();
173 std::cout << "Maximum flow value is: " << preflow_push_test.maxflow() << "."<<std::endl;
175 std::cout<< "The flow on edge s-v1 is "<< preflow_push_test.flowonedge(s_v1) << "."<<std::endl;
177 edge_property_vector<list_graph, int> flow=preflow_push_test.allflow();
178 for (each_edge_iterator e=flow_test.first_edge(); e.valid(); ++e) {
179 std::cout <<"Flow on edge " << flow_test.tail(e) <<"-" << flow_test.head(e)<< " is " <<flow.get(e) <<std::endl;
182 std::cout << "A minimum cut: " <<std::endl;
183 node_property_vector<list_graph, bool> mincut=preflow_push_test.mincut();
185 for (each_node_iterator v=flow_test.first_node(); v.valid(); ++v) {
186 if (mincut.get(v)) std::cout <<node_name.get(v)<< " ";
189 std::cout<<"\n\n"<<std::endl;
194 std::cout << "Testing preflow_push_max_flow..." << std::endl;
196 preflow_push_max_flow<list_graph, int> max_flow_test(flow_test, s, t, cap);
200 std::cout << "Maximum flow value is: " << max_flow_test.maxflow() << "."<< std::endl;
202 std::cout << "A minimum cut: " <<std::endl;
203 node_property_vector<list_graph, bool> mincut2=max_flow_test.mincut();
205 for (each_node_iterator v=flow_test.first_node(); v.valid(); ++v) {
206 if (mincut2.get(v)) std::cout <<node_name.get(v)<< " ";
209 std::cout << std::endl;
213 // std::cout << "Testing dijkstra..." << std::endl;
215 // dijkstra<list_graph, int> dijkstra_test(flow_test, s, cap);
217 // dijkstra_test.run();
219 // for (each_node_iterator w=flow_test.first_node(); w.valid(); ++w) {
220 // std::cout <<"The distance of " << w << " is " << dijkstra_test.dist(w) <<std::endl;