5 #include <marci_list_graph.hh>
6 #include <marci_graph_traits.hh>
7 #include <marci_property_vector.hh>
8 #include <marci_bfs.hh>
9 #include <marci_max_flow.hh>
11 using namespace marci;
13 int main (int, char*[])
15 typedef graph_traits<list_graph>::node_iterator node_iterator;
16 typedef graph_traits<list_graph>::edge_iterator edge_iterator;
17 typedef graph_traits<list_graph>::each_node_iterator each_node_iterator;
18 typedef graph_traits<list_graph>::each_edge_iterator each_edge_iterator;
19 typedef graph_traits<list_graph>::out_edge_iterator out_edge_iterator;
20 typedef graph_traits<list_graph>::in_edge_iterator in_edge_iterator;
21 typedef graph_traits<list_graph>::sym_edge_iterator sym_edge_iterator;
24 std::vector<node_iterator> vector_of_node_iterators;
25 for(int i=0; i!=8; ++i) vector_of_node_iterators.push_back(G.add_node());
26 for(int i=0; i!=8; ++i)
27 for(int j=0; j!=8; ++j) {
28 if ((i<j)&&(i+j)%3) G.add_edge(vector_of_node_iterators[i], vector_of_node_iterators[j]);
31 std::cout << "We construct a directed graph on the node set {0,1,2,...,7}," <<std::endl << "i-->j is arc iff i<j and (i+j)%3." << std::endl;
32 std::cout << "number of nodes: " << number_of<each_node_iterator>(G.first_node()) << std::endl;
34 for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
35 std::cout << "node " << G.id(i) << std::endl;
36 std::cout << " outdegree (out_edge_iterator): " << number_of(G.first_out_edge(i)) << " ";
37 for(out_edge_iterator j=G.first_out_edge(i); j.is_valid(); ++j) {
38 std::cout << "(" << G.id(G.tail(j)) << "--" << G.id(j) << "->" << G.id(G.head(j)) << ") ";
40 std::cout << std::endl;
41 std::cout << " indegree: (in_edge_oterator) " << number_of(G.first_in_edge(i)) << " ";
42 for(in_edge_iterator j=G.first_in_edge(i); j.is_valid(); ++j) {
43 std::cout << j << " "; }
44 std::cout << std::endl;
45 std::cout << " degree: (sym_edge_iterator) " << number_of(G.first_sym_edge(i)) << " ";
46 for(sym_edge_iterator j=G.first_sym_edge(i); j.is_valid(); ++j) {
47 std::cout << j << " "; }
51 std::cout << "all edges: ";
52 for(each_edge_iterator i=G.first_edge(); i.is_valid(); ++i) {
53 std::cout << i << " ";
55 std::cout << std::endl;
57 std::cout << "node property array test" << std::endl;
58 node_property_vector<list_graph, int> my_property_vector(G);
61 my_property_vector.put(v, 42);
62 my_property_vector.put(++G.first_node(), 314);
63 my_property_vector.put(++++G.first_node(), 1956);
64 my_property_vector.put(vector_of_node_iterators[3], 1989);
65 my_property_vector.put(vector_of_node_iterators[4], 2003);
66 my_property_vector.put(vector_of_node_iterators[7], 1978);
67 std::cout << "some node property values..." << std::endl;
68 for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
69 std::cout << my_property_vector.get(i) << std::endl;
73 edge_property_vector<list_graph, int> my_edge_property(G);
74 for(each_edge_iterator i=G.first_edge(); i.is_valid(); ++i) {
75 my_edge_property.put(i, _i);
79 std::cout << "node and edge property values on the tails and heads of edges..." << std::endl;
80 for(each_edge_iterator j=G.first_edge(); j.is_valid(); ++j) {
81 std::cout << my_property_vector.get(G.tail(j)) << "--" << my_edge_property.get(j) << "-->" << my_property_vector.get(G.head(j)) << " ";
83 std::cout << std::endl;
85 //std::cout << "the same for inedges of the nodes..." << std::endl;
87 //for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
88 // for(in_edge_iterator j=G.first_in_edge(i); j.is_valid(); ++j) {
89 // std::cout << my_property_vector.get(G.tail(j)) << "-->" << my_property_vector.get(G.head(j)) << " ";
91 // std::cout << std::endl;
94 std::cout << "bfs from the first node" << std::endl;
95 bfs<list_graph> bfs_test(G, G.first_node());
97 std::cout << "reached: ";
98 for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
99 std::cout << bfs_test.reached.get(i) << " ";
101 std::cout<<std::endl;
102 std::cout << "dist: ";
103 for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
104 std::cout << bfs_test.dist.get(i) << " ";
106 std::cout<<std::endl;
109 std::cout << "augmenting path flow algorithm test..." << std::endl;
110 list_graph flow_test;
112 node_iterator s=flow_test.add_node();
113 node_iterator v1=flow_test.add_node();
114 node_iterator v2=flow_test.add_node();
115 node_iterator v3=flow_test.add_node();
116 node_iterator v4=flow_test.add_node();
117 node_iterator t=flow_test.add_node();
119 node_property_vector<list_graph, std::string> node_name(flow_test);
120 node_name.put(s, "s");
121 node_name.put(v1, "v1");
122 node_name.put(v2, "v2");
123 node_name.put(v3, "v3");
124 node_name.put(v4, "v4");
125 node_name.put(t, "t");
127 edge_iterator s_v1=flow_test.add_edge(s, v1);
128 edge_iterator s_v2=flow_test.add_edge(s, v2);
129 edge_iterator v1_v2=flow_test.add_edge(v1, v2);
130 edge_iterator v2_v1=flow_test.add_edge(v2, v1);
131 edge_iterator v1_v3=flow_test.add_edge(v1, v3);
132 edge_iterator v3_v2=flow_test.add_edge(v3, v2);
133 edge_iterator v2_v4=flow_test.add_edge(v2, v4);
134 edge_iterator v4_v3=flow_test.add_edge(v4, v3);
135 edge_iterator v3_t=flow_test.add_edge(v3, t);
136 edge_iterator v4_t=flow_test.add_edge(v4, t);
138 edge_property_vector<list_graph, int> cap(flow_test);
151 std::cout << "on directed graph graph" << std::endl; //<< flow_test;
152 std::cout << "names and capacity values" << std::endl;
153 for(each_node_iterator i=flow_test.first_node(); i.is_valid(); ++i) {
154 std::cout << node_name.get(i) << ": ";
155 std::cout << "out edges: ";
156 for(out_edge_iterator j=flow_test.first_out_edge(i); j.is_valid(); ++j)
157 std::cout << node_name.get(flow_test.tail(j)) << "-"<< cap.get(j) << "->" << node_name.get(flow_test.head(j)) << " ";
158 std::cout << "in edges: ";
159 for(in_edge_iterator j=flow_test.first_in_edge(i); j.is_valid(); ++j)
160 std::cout << node_name.get(flow_test.tail(j)) << "-"<< cap.get(j) << "->" << node_name.get(flow_test.head(j)) << " ";
161 std::cout << std::endl;
165 //for(each_node_iterator i=flow_test.first_node(); i.is_valid(); ++i) {
166 // std::cout << i << " ";
169 max_flow_type<list_graph, int> max_flow_test(flow_test, s, t, cap);