src/work/marci_graph_demo.cc
author marci
Fri, 16 Jan 2004 11:20:09 +0000
changeset 15 e41c71268807
parent 9 a9ed3f1c2c63
child 19 3151a1026db9
permissions -rw-r--r--
new method for making invalid iterators: make_invalid()
marci@9
     1
#include <iostream>
marci@9
     2
#include <vector>
marci@9
     3
#include <string>
marci@9
     4
marci@9
     5
#include <marci_list_graph.hh>
marci@9
     6
#include <marci_graph_traits.hh>
marci@9
     7
#include <marci_property_vector.hh>
marci@9
     8
#include <marci_bfs.hh>
marci@9
     9
#include <marci_max_flow.hh>
marci@9
    10
marci@9
    11
using namespace marci;
marci@9
    12
marci@9
    13
int main (int, char*[])
marci@9
    14
{
marci@9
    15
  typedef graph_traits<list_graph>::node_iterator node_iterator;
marci@9
    16
  typedef graph_traits<list_graph>::edge_iterator edge_iterator;
marci@9
    17
  typedef graph_traits<list_graph>::each_node_iterator each_node_iterator;
marci@9
    18
  typedef graph_traits<list_graph>::each_edge_iterator each_edge_iterator;
marci@9
    19
  typedef graph_traits<list_graph>::out_edge_iterator out_edge_iterator;
marci@9
    20
  typedef graph_traits<list_graph>::in_edge_iterator in_edge_iterator;
marci@9
    21
  typedef graph_traits<list_graph>::sym_edge_iterator sym_edge_iterator;
marci@9
    22
marci@9
    23
  list_graph G;
marci@9
    24
  std::vector<node_iterator> vector_of_node_iterators;
marci@9
    25
  for(int i=0; i!=8; ++i) vector_of_node_iterators.push_back(G.add_node());
marci@9
    26
  for(int i=0; i!=8; ++i)
marci@9
    27
    for(int j=0; j!=8; ++j) {
marci@9
    28
      if ((i<j)&&(i+j)%3) G.add_edge(vector_of_node_iterators[i], vector_of_node_iterators[j]);
marci@9
    29
    }  
marci@9
    30
marci@9
    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;
marci@12
    32
  std::cout << "number of nodes: " << number_of(G.first_node()) << std::endl;
marci@9
    33
marci@9
    34
  for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
marci@9
    35
    std::cout << "node " << G.id(i) << std::endl;
marci@9
    36
    std::cout << " outdegree (out_edge_iterator): " << number_of(G.first_out_edge(i)) << " "; 
marci@9
    37
    for(out_edge_iterator j=G.first_out_edge(i); j.is_valid(); ++j) { 
marci@9
    38
      std::cout << "(" << G.id(G.tail(j)) << "--" << G.id(j) << "->" << G.id(G.head(j)) << ") ";
marci@9
    39
    }
marci@9
    40
    std::cout << std::endl; 
marci@12
    41
marci@12
    42
    std::cout<< " ";
marci@12
    43
    for(out_edge_iterator j=G.first_out_edge(i); j.is_valid(); ++j) { 
marci@12
    44
      std::cout << G.a_node(j) << "->" << G.b_node(j) << " "; } 
marci@12
    45
    std::cout<<std::endl;
marci@12
    46
marci@9
    47
    std::cout << " indegree: (in_edge_oterator) " << number_of(G.first_in_edge(i)) << " ";
marci@9
    48
    for(in_edge_iterator j=G.first_in_edge(i); j.is_valid(); ++j) { 
marci@9
    49
      std::cout << j << " "; } 
marci@9
    50
    std::cout << std::endl;
marci@12
    51
marci@12
    52
    std::cout<< " ";
marci@12
    53
    for(in_edge_iterator j=G.first_in_edge(i); j.is_valid(); ++j) { 
marci@12
    54
      std::cout << G.a_node(j) << "->" << G.b_node(j) << " "; } 
marci@12
    55
    std::cout<<std::endl;
marci@12
    56
marci@9
    57
    std::cout << " degree: (sym_edge_iterator) " << number_of(G.first_sym_edge(i)) << " ";
marci@9
    58
    for(sym_edge_iterator j=G.first_sym_edge(i); j.is_valid(); ++j) { 
marci@9
    59
      std::cout << j << " "; } 
marci@9
    60
    std::cout<<std::endl;
marci@12
    61
marci@12
    62
    std::cout<< " ";
marci@12
    63
    for(sym_edge_iterator j=G.first_sym_edge(i); j.is_valid(); ++j) { 
marci@12
    64
      std::cout << G.a_node(j) << "->" << G.b_node(j) << " "; } 
marci@12
    65
    std::cout<<std::endl;
marci@9
    66
  }
marci@9
    67
marci@9
    68
  std::cout << "all edges: ";
marci@9
    69
  for(each_edge_iterator i=G.first_edge(); i.is_valid(); ++i) {
marci@9
    70
    std::cout << i << " ";
marci@9
    71
  }
marci@9
    72
  std::cout << std::endl;
marci@9
    73
marci@9
    74
  std::cout << "node property array test" << std::endl;
marci@9
    75
  node_property_vector<list_graph, int> my_property_vector(G);
marci@9
    76
  each_node_iterator v;
marci@9
    77
  G.get_first(v);
marci@9
    78
  my_property_vector.put(v, 42);
marci@9
    79
  my_property_vector.put(++G.first_node(), 314);
marci@9
    80
  my_property_vector.put(++++G.first_node(), 1956);
marci@9
    81
  my_property_vector.put(vector_of_node_iterators[3], 1989);
marci@9
    82
  my_property_vector.put(vector_of_node_iterators[4], 2003);
marci@9
    83
  my_property_vector.put(vector_of_node_iterators[7], 1978);
marci@9
    84
  std::cout << "some node property values..." << std::endl;
marci@9
    85
  for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
marci@9
    86
    std::cout << my_property_vector.get(i) << std::endl;
marci@9
    87
  }
marci@9
    88
  int _i=1;
marci@9
    89
  int _ii=1;
marci@9
    90
  edge_property_vector<list_graph, int> my_edge_property(G);
marci@9
    91
  for(each_edge_iterator i=G.first_edge(); i.is_valid(); ++i) {
marci@9
    92
    my_edge_property.put(i, _i);
marci@9
    93
    _i*=_ii; ++_ii;
marci@9
    94
  }
marci@9
    95
marci@9
    96
  std::cout << "node and edge property values on the tails and heads of edges..." << std::endl;
marci@9
    97
  for(each_edge_iterator j=G.first_edge(); j.is_valid(); ++j) {
marci@9
    98
    std::cout << my_property_vector.get(G.tail(j)) << "--" << my_edge_property.get(j) << "-->" << my_property_vector.get(G.head(j)) << " ";
marci@9
    99
  }
marci@9
   100
  std::cout << std::endl;
marci@9
   101
marci@9
   102
  //std::cout << "the same for inedges of the nodes..." << std::endl;
marci@9
   103
  //k=0;
marci@9
   104
  //for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
marci@9
   105
  //  for(in_edge_iterator j=G.first_in_edge(i); j.is_valid(); ++j) {
marci@9
   106
  //    std::cout << my_property_vector.get(G.tail(j)) << "-->" << my_property_vector.get(G.head(j)) << " ";
marci@9
   107
  //  }
marci@9
   108
  //  std::cout << std::endl;
marci@9
   109
  //}
marci@9
   110
marci@9
   111
  std::cout << "bfs from the first node" << std::endl;
marci@9
   112
  bfs<list_graph> bfs_test(G, G.first_node());
marci@9
   113
  bfs_test.run();
marci@9
   114
  std::cout << "reached: ";
marci@9
   115
  for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
marci@9
   116
    std::cout << bfs_test.reached.get(i) << " ";
marci@9
   117
  }
marci@9
   118
  std::cout<<std::endl;
marci@9
   119
  std::cout << "dist: ";
marci@9
   120
  for(each_node_iterator i=G.first_node(); i.is_valid(); ++i) {
marci@9
   121
    std::cout << bfs_test.dist.get(i) << " ";
marci@9
   122
  }
marci@9
   123
  std::cout<<std::endl;
marci@9
   124
marci@9
   125
marci@9
   126
  std::cout << "augmenting path flow algorithm test..." << std::endl;
marci@9
   127
  list_graph flow_test;
marci@9
   128
marci@9
   129
  node_iterator s=flow_test.add_node();
marci@9
   130
  node_iterator v1=flow_test.add_node();
marci@9
   131
  node_iterator v2=flow_test.add_node();
marci@9
   132
  node_iterator v3=flow_test.add_node();
marci@9
   133
  node_iterator v4=flow_test.add_node();
marci@9
   134
  node_iterator t=flow_test.add_node();
marci@9
   135
  
marci@9
   136
  node_property_vector<list_graph, std::string> node_name(flow_test);
marci@9
   137
  node_name.put(s, "s");
marci@9
   138
  node_name.put(v1, "v1");
marci@9
   139
  node_name.put(v2, "v2");
marci@9
   140
  node_name.put(v3, "v3");
marci@9
   141
  node_name.put(v4, "v4");
marci@9
   142
  node_name.put(t, "t");
marci@9
   143
marci@9
   144
  edge_iterator s_v1=flow_test.add_edge(s, v1);
marci@9
   145
  edge_iterator s_v2=flow_test.add_edge(s, v2);
marci@9
   146
  edge_iterator v1_v2=flow_test.add_edge(v1, v2);
marci@9
   147
  edge_iterator v2_v1=flow_test.add_edge(v2, v1);
marci@9
   148
  edge_iterator v1_v3=flow_test.add_edge(v1, v3);
marci@9
   149
  edge_iterator v3_v2=flow_test.add_edge(v3, v2);
marci@9
   150
  edge_iterator v2_v4=flow_test.add_edge(v2, v4);
marci@9
   151
  edge_iterator v4_v3=flow_test.add_edge(v4, v3);
marci@9
   152
  edge_iterator v3_t=flow_test.add_edge(v3, t);
marci@9
   153
  edge_iterator v4_t=flow_test.add_edge(v4, t);
marci@9
   154
marci@9
   155
  edge_property_vector<list_graph, int> cap(flow_test);
marci@9
   156
marci@9
   157
  cap.put(s_v1, 16);
marci@9
   158
  cap.put(s_v2, 13);
marci@9
   159
  cap.put(v1_v2, 10);
marci@9
   160
  cap.put(v2_v1, 4);
marci@9
   161
  cap.put(v1_v3, 12);
marci@9
   162
  cap.put(v3_v2, 9);
marci@9
   163
  cap.put(v2_v4, 14);
marci@9
   164
  cap.put(v4_v3, 7);
marci@9
   165
  cap.put(v3_t, 20);
marci@9
   166
  cap.put(v4_t, 4);
marci@9
   167
marci@9
   168
  std::cout << "on directed graph graph" << std::endl; //<< flow_test;
marci@9
   169
  std::cout << "names and capacity values" << std::endl; 
marci@9
   170
  for(each_node_iterator i=flow_test.first_node(); i.is_valid(); ++i) { 
marci@9
   171
    std::cout << node_name.get(i) << ": ";
marci@9
   172
    std::cout << "out edges: ";
marci@9
   173
    for(out_edge_iterator j=flow_test.first_out_edge(i); j.is_valid(); ++j) 
marci@9
   174
      std::cout << node_name.get(flow_test.tail(j)) << "-"<< cap.get(j) << "->" << node_name.get(flow_test.head(j)) << " ";
marci@9
   175
    std::cout << "in edges: ";
marci@9
   176
    for(in_edge_iterator j=flow_test.first_in_edge(i); j.is_valid(); ++j) 
marci@9
   177
      std::cout << node_name.get(flow_test.tail(j)) << "-"<< cap.get(j) << "->" << node_name.get(flow_test.head(j)) << " ";
marci@9
   178
    std::cout << std::endl;
marci@9
   179
  }
marci@9
   180
marci@9
   181
  
marci@9
   182
  //for(each_node_iterator i=flow_test.first_node(); i.is_valid(); ++i) { 
marci@9
   183
  //  std::cout << i << " ";
marci@9
   184
  //}
marci@9
   185
  
marci@9
   186
  max_flow_type<list_graph, int> max_flow_test(flow_test, s, t, cap);
marci@9
   187
  max_flow_test.run();
marci@9
   188
marci@9
   189
  return 0;
marci@9
   190
}