williamr@2
|
1 |
//=======================================================================
|
williamr@2
|
2 |
// Copyright 1997, 1998, 1999, 2000 University of Notre Dame.
|
williamr@2
|
3 |
// Copyright 2004, 2005 Trustees of Indiana University
|
williamr@2
|
4 |
// Authors: Andrew Lumsdaine, Lie-Quan Lee, Jeremy G. Siek,
|
williamr@2
|
5 |
// Doug Gregor, D. Kevin McGrath
|
williamr@2
|
6 |
//
|
williamr@2
|
7 |
// Distributed under the Boost Software License, Version 1.0. (See
|
williamr@2
|
8 |
// accompanying file LICENSE_1_0.txt or copy at
|
williamr@2
|
9 |
// http://www.boost.org/LICENSE_1_0.txt)
|
williamr@2
|
10 |
//=======================================================================
|
williamr@2
|
11 |
#ifndef BOOST_GRAPH_CUTHILL_MCKEE_HPP
|
williamr@2
|
12 |
#define BOOST_GRAPH_CUTHILL_MCKEE_HPP
|
williamr@2
|
13 |
|
williamr@2
|
14 |
#include <boost/config.hpp>
|
williamr@2
|
15 |
#include <boost/graph/detail/sparse_ordering.hpp>
|
williamr@2
|
16 |
#include <algorithm>
|
williamr@2
|
17 |
|
williamr@2
|
18 |
|
williamr@2
|
19 |
/*
|
williamr@2
|
20 |
(Reverse) Cuthill-McKee Algorithm for matrix reordering
|
williamr@2
|
21 |
*/
|
williamr@2
|
22 |
|
williamr@2
|
23 |
namespace boost {
|
williamr@2
|
24 |
|
williamr@2
|
25 |
namespace detail {
|
williamr@2
|
26 |
|
williamr@2
|
27 |
|
williamr@2
|
28 |
|
williamr@2
|
29 |
template < typename OutputIterator, typename Buffer, typename DegreeMap >
|
williamr@2
|
30 |
class bfs_rcm_visitor:public default_bfs_visitor
|
williamr@2
|
31 |
{
|
williamr@2
|
32 |
public:
|
williamr@2
|
33 |
bfs_rcm_visitor(OutputIterator *iter, Buffer *b, DegreeMap deg):
|
williamr@2
|
34 |
permutation(iter), Qptr(b), degree(deg) { }
|
williamr@2
|
35 |
template <class Vertex, class Graph>
|
williamr@2
|
36 |
void examine_vertex(Vertex u, Graph&) {
|
williamr@2
|
37 |
*(*permutation)++ = u;
|
williamr@2
|
38 |
index_begin = Qptr->size();
|
williamr@2
|
39 |
}
|
williamr@2
|
40 |
template <class Vertex, class Graph>
|
williamr@2
|
41 |
void finish_vertex(Vertex, Graph&) {
|
williamr@2
|
42 |
using std::sort;
|
williamr@2
|
43 |
|
williamr@2
|
44 |
typedef typename property_traits<DegreeMap>::value_type ds_type;
|
williamr@2
|
45 |
|
williamr@2
|
46 |
typedef indirect_cmp<DegreeMap, std::less<ds_type> > Compare;
|
williamr@2
|
47 |
Compare comp(degree);
|
williamr@2
|
48 |
|
williamr@2
|
49 |
sort(Qptr->begin()+index_begin, Qptr->end(), comp);
|
williamr@2
|
50 |
}
|
williamr@2
|
51 |
protected:
|
williamr@2
|
52 |
OutputIterator *permutation;
|
williamr@2
|
53 |
int index_begin;
|
williamr@2
|
54 |
Buffer *Qptr;
|
williamr@2
|
55 |
DegreeMap degree;
|
williamr@2
|
56 |
};
|
williamr@2
|
57 |
|
williamr@2
|
58 |
} // namespace detail
|
williamr@2
|
59 |
|
williamr@2
|
60 |
|
williamr@2
|
61 |
// Reverse Cuthill-McKee algorithm with a given starting Vertex.
|
williamr@2
|
62 |
//
|
williamr@2
|
63 |
// If user provides a reverse iterator, this will be a reverse-cuthill-mckee
|
williamr@2
|
64 |
// algorithm, otherwise it will be a standard CM algorithm
|
williamr@2
|
65 |
|
williamr@2
|
66 |
template <class Graph, class OutputIterator,
|
williamr@2
|
67 |
class ColorMap, class DegreeMap>
|
williamr@2
|
68 |
OutputIterator
|
williamr@2
|
69 |
cuthill_mckee_ordering(const Graph& g,
|
williamr@2
|
70 |
std::deque< typename
|
williamr@2
|
71 |
graph_traits<Graph>::vertex_descriptor > vertex_queue,
|
williamr@2
|
72 |
OutputIterator permutation,
|
williamr@2
|
73 |
ColorMap color, DegreeMap degree)
|
williamr@2
|
74 |
{
|
williamr@2
|
75 |
|
williamr@2
|
76 |
//create queue, visitor...don't forget namespaces!
|
williamr@2
|
77 |
typedef typename property_traits<DegreeMap>::value_type ds_type;
|
williamr@2
|
78 |
typedef typename graph_traits<Graph>::vertex_descriptor Vertex;
|
williamr@2
|
79 |
typedef typename boost::sparse::sparse_ordering_queue<Vertex> queue;
|
williamr@2
|
80 |
typedef typename detail::bfs_rcm_visitor<OutputIterator, queue, DegreeMap> Visitor;
|
williamr@2
|
81 |
typedef typename property_traits<ColorMap>::value_type ColorValue;
|
williamr@2
|
82 |
typedef color_traits<ColorValue> Color;
|
williamr@2
|
83 |
|
williamr@2
|
84 |
|
williamr@2
|
85 |
queue Q;
|
williamr@2
|
86 |
|
williamr@2
|
87 |
//create a bfs_rcm_visitor as defined above
|
williamr@2
|
88 |
Visitor vis(&permutation, &Q, degree);
|
williamr@2
|
89 |
|
williamr@2
|
90 |
typename graph_traits<Graph>::vertex_iterator ui, ui_end;
|
williamr@2
|
91 |
|
williamr@2
|
92 |
// Copy degree to pseudo_degree
|
williamr@2
|
93 |
// initialize the color map
|
williamr@2
|
94 |
for (tie(ui, ui_end) = vertices(g); ui != ui_end; ++ui){
|
williamr@2
|
95 |
put(color, *ui, Color::white());
|
williamr@2
|
96 |
}
|
williamr@2
|
97 |
|
williamr@2
|
98 |
|
williamr@2
|
99 |
while( !vertex_queue.empty() ) {
|
williamr@2
|
100 |
Vertex s = vertex_queue.front();
|
williamr@2
|
101 |
vertex_queue.pop_front();
|
williamr@2
|
102 |
|
williamr@2
|
103 |
//call BFS with visitor
|
williamr@2
|
104 |
breadth_first_visit(g, s, Q, vis, color);
|
williamr@2
|
105 |
}
|
williamr@2
|
106 |
return permutation;
|
williamr@2
|
107 |
}
|
williamr@2
|
108 |
|
williamr@2
|
109 |
|
williamr@2
|
110 |
// This is the case where only a single starting vertex is supplied.
|
williamr@2
|
111 |
template <class Graph, class OutputIterator,
|
williamr@2
|
112 |
class ColorMap, class DegreeMap>
|
williamr@2
|
113 |
OutputIterator
|
williamr@2
|
114 |
cuthill_mckee_ordering(const Graph& g,
|
williamr@2
|
115 |
typename graph_traits<Graph>::vertex_descriptor s,
|
williamr@2
|
116 |
OutputIterator permutation,
|
williamr@2
|
117 |
ColorMap color, DegreeMap degree)
|
williamr@2
|
118 |
{
|
williamr@2
|
119 |
|
williamr@2
|
120 |
std::deque< typename graph_traits<Graph>::vertex_descriptor > vertex_queue;
|
williamr@2
|
121 |
vertex_queue.push_front( s );
|
williamr@2
|
122 |
|
williamr@2
|
123 |
return cuthill_mckee_ordering(g, vertex_queue, permutation, color, degree);
|
williamr@2
|
124 |
|
williamr@2
|
125 |
}
|
williamr@2
|
126 |
|
williamr@2
|
127 |
|
williamr@2
|
128 |
// This is the version of CM which selects its own starting vertex
|
williamr@2
|
129 |
template < class Graph, class OutputIterator,
|
williamr@2
|
130 |
class ColorMap, class DegreeMap>
|
williamr@2
|
131 |
OutputIterator
|
williamr@2
|
132 |
cuthill_mckee_ordering(const Graph& G, OutputIterator permutation,
|
williamr@2
|
133 |
ColorMap color, DegreeMap degree)
|
williamr@2
|
134 |
{
|
williamr@2
|
135 |
if (vertices(G).first == vertices(G).second)
|
williamr@2
|
136 |
return permutation;
|
williamr@2
|
137 |
|
williamr@2
|
138 |
typedef typename boost::graph_traits<Graph>::vertex_descriptor Vertex;
|
williamr@2
|
139 |
typedef typename boost::graph_traits<Graph>::vertex_iterator VerIter;
|
williamr@2
|
140 |
typedef typename property_traits<ColorMap>::value_type ColorValue;
|
williamr@2
|
141 |
typedef color_traits<ColorValue> Color;
|
williamr@2
|
142 |
|
williamr@2
|
143 |
std::deque<Vertex> vertex_queue;
|
williamr@2
|
144 |
|
williamr@2
|
145 |
// Mark everything white
|
williamr@2
|
146 |
BGL_FORALL_VERTICES_T(v, G, Graph) put(color, v, Color::white());
|
williamr@2
|
147 |
|
williamr@2
|
148 |
// Find one vertex from each connected component
|
williamr@2
|
149 |
BGL_FORALL_VERTICES_T(v, G, Graph) {
|
williamr@2
|
150 |
if (get(color, v) == Color::white()) {
|
williamr@2
|
151 |
depth_first_visit(G, v, dfs_visitor<>(), color);
|
williamr@2
|
152 |
vertex_queue.push_back(v);
|
williamr@2
|
153 |
}
|
williamr@2
|
154 |
}
|
williamr@2
|
155 |
|
williamr@2
|
156 |
// Find starting nodes for all vertices
|
williamr@2
|
157 |
// TBD: How to do this with a directed graph?
|
williamr@2
|
158 |
for (typename std::deque<Vertex>::iterator i = vertex_queue.begin();
|
williamr@2
|
159 |
i != vertex_queue.end(); ++i)
|
williamr@2
|
160 |
*i = find_starting_node(G, *i, color, degree);
|
williamr@2
|
161 |
|
williamr@2
|
162 |
return cuthill_mckee_ordering(G, vertex_queue, permutation,
|
williamr@2
|
163 |
color, degree);
|
williamr@2
|
164 |
}
|
williamr@2
|
165 |
|
williamr@2
|
166 |
template<typename Graph, typename OutputIterator, typename VertexIndexMap>
|
williamr@2
|
167 |
OutputIterator
|
williamr@2
|
168 |
cuthill_mckee_ordering(const Graph& G, OutputIterator permutation,
|
williamr@2
|
169 |
VertexIndexMap index_map)
|
williamr@2
|
170 |
{
|
williamr@2
|
171 |
if (vertices(G).first == vertices(G).second)
|
williamr@2
|
172 |
return permutation;
|
williamr@2
|
173 |
|
williamr@2
|
174 |
typedef out_degree_property_map<Graph> DegreeMap;
|
williamr@2
|
175 |
std::vector<default_color_type> colors(num_vertices(G));
|
williamr@2
|
176 |
return cuthill_mckee_ordering(G, permutation,
|
williamr@2
|
177 |
make_iterator_property_map(&colors[0],
|
williamr@2
|
178 |
index_map,
|
williamr@2
|
179 |
colors[0]),
|
williamr@2
|
180 |
make_out_degree_map(G));
|
williamr@2
|
181 |
}
|
williamr@2
|
182 |
|
williamr@2
|
183 |
template<typename Graph, typename OutputIterator>
|
williamr@2
|
184 |
inline OutputIterator
|
williamr@2
|
185 |
cuthill_mckee_ordering(const Graph& G, OutputIterator permutation)
|
williamr@2
|
186 |
{ return cuthill_mckee_ordering(G, permutation, get(vertex_index, G)); }
|
williamr@2
|
187 |
} // namespace boost
|
williamr@2
|
188 |
|
williamr@2
|
189 |
|
williamr@2
|
190 |
#endif // BOOST_GRAPH_CUTHILL_MCKEE_HPP
|