1 | // Copyright 2004 The Trustees of Indiana University. |
---|
2 | |
---|
3 | // Distributed under the Boost Software License, Version 1.0. |
---|
4 | // (See accompanying file LICENSE_1_0.txt or copy at |
---|
5 | // http://www.boost.org/LICENSE_1_0.txt) |
---|
6 | |
---|
7 | // Authors: Douglas Gregor |
---|
8 | // Andrew Lumsdaine |
---|
9 | #ifndef BOOST_GRAPH_FRUCHTERMAN_REINGOLD_FORCE_DIRECTED_LAYOUT_HPP |
---|
10 | #define BOOST_GRAPH_FRUCHTERMAN_REINGOLD_FORCE_DIRECTED_LAYOUT_HPP |
---|
11 | |
---|
12 | #include <cmath> |
---|
13 | #include <boost/graph/graph_traits.hpp> |
---|
14 | #include <boost/graph/named_function_params.hpp> |
---|
15 | #include <boost/graph/simple_point.hpp> |
---|
16 | #include <vector> |
---|
17 | #include <list> |
---|
18 | #include <algorithm> // for std::min and std::max |
---|
19 | |
---|
20 | namespace boost { |
---|
21 | |
---|
22 | struct square_distance_attractive_force { |
---|
23 | template<typename Graph, typename T> |
---|
24 | T |
---|
25 | operator()(typename graph_traits<Graph>::edge_descriptor, |
---|
26 | T k, |
---|
27 | T d, |
---|
28 | const Graph&) const |
---|
29 | { |
---|
30 | return d * d / k; |
---|
31 | } |
---|
32 | }; |
---|
33 | |
---|
34 | struct square_distance_repulsive_force { |
---|
35 | template<typename Graph, typename T> |
---|
36 | T |
---|
37 | operator()(typename graph_traits<Graph>::vertex_descriptor, |
---|
38 | typename graph_traits<Graph>::vertex_descriptor, |
---|
39 | T k, |
---|
40 | T d, |
---|
41 | const Graph&) const |
---|
42 | { |
---|
43 | return k * k / d; |
---|
44 | } |
---|
45 | }; |
---|
46 | |
---|
47 | template<typename T> |
---|
48 | struct linear_cooling { |
---|
49 | typedef T result_type; |
---|
50 | |
---|
51 | linear_cooling(std::size_t iterations) |
---|
52 | : temp(T(iterations) / T(10)), step(0.1) { } |
---|
53 | |
---|
54 | linear_cooling(std::size_t iterations, T temp) |
---|
55 | : temp(temp), step(temp / T(iterations)) { } |
---|
56 | |
---|
57 | T operator()() |
---|
58 | { |
---|
59 | T old_temp = temp; |
---|
60 | temp -= step; |
---|
61 | if (temp < T(0)) temp = T(0); |
---|
62 | return old_temp; |
---|
63 | } |
---|
64 | |
---|
65 | private: |
---|
66 | T temp; |
---|
67 | T step; |
---|
68 | }; |
---|
69 | |
---|
70 | struct all_force_pairs |
---|
71 | { |
---|
72 | template<typename Graph, typename ApplyForce > |
---|
73 | void operator()(const Graph& g, ApplyForce apply_force) |
---|
74 | { |
---|
75 | typedef typename graph_traits<Graph>::vertex_iterator vertex_iterator; |
---|
76 | vertex_iterator v, end; |
---|
77 | for (tie(v, end) = vertices(g); v != end; ++v) { |
---|
78 | vertex_iterator u = v; |
---|
79 | for (++u; u != end; ++u) { |
---|
80 | apply_force(*u, *v); |
---|
81 | apply_force(*v, *u); |
---|
82 | } |
---|
83 | } |
---|
84 | } |
---|
85 | }; |
---|
86 | |
---|
87 | template<typename Dim, typename PositionMap> |
---|
88 | struct grid_force_pairs |
---|
89 | { |
---|
90 | template<typename Graph> |
---|
91 | explicit |
---|
92 | grid_force_pairs(Dim width, Dim height, PositionMap position, const Graph& g) |
---|
93 | : width(width), height(height), position(position) |
---|
94 | { |
---|
95 | #ifndef BOOST_NO_STDC_NAMESPACE |
---|
96 | using std::sqrt; |
---|
97 | #endif // BOOST_NO_STDC_NAMESPACE |
---|
98 | two_k = Dim(2) * sqrt(width*height / num_vertices(g)); |
---|
99 | } |
---|
100 | |
---|
101 | template<typename Graph, typename ApplyForce > |
---|
102 | void operator()(const Graph& g, ApplyForce apply_force) |
---|
103 | { |
---|
104 | typedef typename graph_traits<Graph>::vertex_iterator vertex_iterator; |
---|
105 | typedef typename graph_traits<Graph>::vertex_descriptor vertex_descriptor; |
---|
106 | typedef std::list<vertex_descriptor> bucket_t; |
---|
107 | typedef std::vector<bucket_t> buckets_t; |
---|
108 | |
---|
109 | std::size_t columns = std::size_t(width / two_k + Dim(1)); |
---|
110 | std::size_t rows = std::size_t(height / two_k + Dim(1)); |
---|
111 | buckets_t buckets(rows * columns); |
---|
112 | vertex_iterator v, v_end; |
---|
113 | for (tie(v, v_end) = vertices(g); v != v_end; ++v) { |
---|
114 | std::size_t column = std::size_t((position[*v].x + width / 2) / two_k); |
---|
115 | std::size_t row = std::size_t((position[*v].y + height / 2) / two_k); |
---|
116 | |
---|
117 | if (column >= columns) column = columns - 1; |
---|
118 | if (row >= rows) row = rows - 1; |
---|
119 | buckets[row * columns + column].push_back(*v); |
---|
120 | } |
---|
121 | |
---|
122 | for (std::size_t row = 0; row < rows; ++row) |
---|
123 | for (std::size_t column = 0; column < columns; ++column) { |
---|
124 | bucket_t& bucket = buckets[row * columns + column]; |
---|
125 | typedef typename bucket_t::iterator bucket_iterator; |
---|
126 | for (bucket_iterator u = bucket.begin(); u != bucket.end(); ++u) { |
---|
127 | // Repulse vertices in this bucket |
---|
128 | bucket_iterator v = u; |
---|
129 | for (++v; v != bucket.end(); ++v) { |
---|
130 | apply_force(*u, *v); |
---|
131 | apply_force(*v, *u); |
---|
132 | } |
---|
133 | |
---|
134 | std::size_t adj_start_row = row == 0? 0 : row - 1; |
---|
135 | std::size_t adj_end_row = row == rows - 1? row : row + 1; |
---|
136 | std::size_t adj_start_column = column == 0? 0 : column - 1; |
---|
137 | std::size_t adj_end_column = column == columns - 1? column : column + 1; |
---|
138 | for (std::size_t other_row = adj_start_row; other_row <= adj_end_row; |
---|
139 | ++other_row) |
---|
140 | for (std::size_t other_column = adj_start_column; |
---|
141 | other_column <= adj_end_column; ++other_column) |
---|
142 | if (other_row != row || other_column != column) { |
---|
143 | // Repulse vertices in this bucket |
---|
144 | bucket_t& other_bucket |
---|
145 | = buckets[other_row * columns + other_column]; |
---|
146 | for (v = other_bucket.begin(); v != other_bucket.end(); ++v) |
---|
147 | apply_force(*u, *v); |
---|
148 | } |
---|
149 | } |
---|
150 | } |
---|
151 | } |
---|
152 | |
---|
153 | private: |
---|
154 | Dim width; |
---|
155 | Dim height; |
---|
156 | PositionMap position; |
---|
157 | Dim two_k; |
---|
158 | }; |
---|
159 | |
---|
160 | template<typename Dim, typename PositionMap, typename Graph> |
---|
161 | inline grid_force_pairs<Dim, PositionMap> |
---|
162 | make_grid_force_pairs(Dim width, Dim height, const PositionMap& position, |
---|
163 | const Graph& g) |
---|
164 | { return grid_force_pairs<Dim, PositionMap>(width, height, position, g); } |
---|
165 | |
---|
166 | template<typename Graph, typename PositionMap, typename Dim> |
---|
167 | void |
---|
168 | scale_graph(const Graph& g, PositionMap position, |
---|
169 | Dim left, Dim top, Dim right, Dim bottom) |
---|
170 | { |
---|
171 | if (num_vertices(g) == 0) return; |
---|
172 | |
---|
173 | if (bottom > top) { |
---|
174 | using std::swap; |
---|
175 | swap(bottom, top); |
---|
176 | } |
---|
177 | |
---|
178 | typedef typename graph_traits<Graph>::vertex_iterator vertex_iterator; |
---|
179 | |
---|
180 | // Find min/max ranges |
---|
181 | Dim minX = position[*vertices(g).first].x, maxX = minX; |
---|
182 | Dim minY = position[*vertices(g).first].y, maxY = minY; |
---|
183 | vertex_iterator vi, vi_end; |
---|
184 | for (tie(vi, vi_end) = vertices(g); vi != vi_end; ++vi) { |
---|
185 | BOOST_USING_STD_MIN(); |
---|
186 | BOOST_USING_STD_MAX(); |
---|
187 | minX = min BOOST_PREVENT_MACRO_SUBSTITUTION (minX, position[*vi].x); |
---|
188 | maxX = max BOOST_PREVENT_MACRO_SUBSTITUTION (maxX, position[*vi].x); |
---|
189 | minY = min BOOST_PREVENT_MACRO_SUBSTITUTION (minY, position[*vi].y); |
---|
190 | maxY = max BOOST_PREVENT_MACRO_SUBSTITUTION (maxY, position[*vi].y); |
---|
191 | } |
---|
192 | |
---|
193 | // Scale to bounding box provided |
---|
194 | for (tie(vi, vi_end) = vertices(g); vi != vi_end; ++vi) { |
---|
195 | position[*vi].x = ((position[*vi].x - minX) / (maxX - minX)) |
---|
196 | * (right - left) + left; |
---|
197 | position[*vi].y = ((position[*vi].y - minY) / (maxY - minY)) |
---|
198 | * (top - bottom) + bottom; |
---|
199 | } |
---|
200 | } |
---|
201 | |
---|
202 | namespace detail { |
---|
203 | template<typename PositionMap, typename DisplacementMap, |
---|
204 | typename RepulsiveForce, typename Dim, typename Graph> |
---|
205 | struct fr_apply_force |
---|
206 | { |
---|
207 | typedef typename graph_traits<Graph>::vertex_descriptor vertex_descriptor; |
---|
208 | |
---|
209 | fr_apply_force(const PositionMap& position, |
---|
210 | const DisplacementMap& displacement, |
---|
211 | RepulsiveForce repulsive_force, Dim k, const Graph& g) |
---|
212 | : position(position), displacement(displacement), |
---|
213 | repulsive_force(repulsive_force), k(k), g(g) |
---|
214 | { } |
---|
215 | |
---|
216 | void operator()(vertex_descriptor u, vertex_descriptor v) |
---|
217 | { |
---|
218 | #ifndef BOOST_NO_STDC_NAMESPACE |
---|
219 | using std::sqrt; |
---|
220 | #endif // BOOST_NO_STDC_NAMESPACE |
---|
221 | if (u != v) { |
---|
222 | Dim delta_x = position[v].x - position[u].x; |
---|
223 | Dim delta_y = position[v].y - position[u].y; |
---|
224 | Dim dist = sqrt(delta_x * delta_x + delta_y * delta_y); |
---|
225 | Dim fr = repulsive_force(u, v, k, dist, g); |
---|
226 | displacement[v].x += delta_x / dist * fr; |
---|
227 | displacement[v].y += delta_y / dist * fr; |
---|
228 | } |
---|
229 | } |
---|
230 | |
---|
231 | private: |
---|
232 | PositionMap position; |
---|
233 | DisplacementMap displacement; |
---|
234 | RepulsiveForce repulsive_force; |
---|
235 | Dim k; |
---|
236 | const Graph& g; |
---|
237 | }; |
---|
238 | |
---|
239 | } // end namespace detail |
---|
240 | |
---|
241 | template<typename Graph, typename PositionMap, typename Dim, |
---|
242 | typename AttractiveForce, typename RepulsiveForce, |
---|
243 | typename ForcePairs, typename Cooling, typename DisplacementMap> |
---|
244 | void |
---|
245 | fruchterman_reingold_force_directed_layout |
---|
246 | (const Graph& g, |
---|
247 | PositionMap position, |
---|
248 | Dim width, |
---|
249 | Dim height, |
---|
250 | AttractiveForce attractive_force, |
---|
251 | RepulsiveForce repulsive_force, |
---|
252 | ForcePairs force_pairs, |
---|
253 | Cooling cool, |
---|
254 | DisplacementMap displacement) |
---|
255 | { |
---|
256 | typedef typename graph_traits<Graph>::vertex_iterator vertex_iterator; |
---|
257 | typedef typename graph_traits<Graph>::vertex_descriptor vertex_descriptor; |
---|
258 | typedef typename graph_traits<Graph>::edge_iterator edge_iterator; |
---|
259 | |
---|
260 | #ifndef BOOST_NO_STDC_NAMESPACE |
---|
261 | using std::sqrt; |
---|
262 | #endif // BOOST_NO_STDC_NAMESPACE |
---|
263 | |
---|
264 | Dim area = width * height; |
---|
265 | // assume positions are initialized randomly |
---|
266 | Dim k = sqrt(area / num_vertices(g)); |
---|
267 | |
---|
268 | detail::fr_apply_force<PositionMap, DisplacementMap, |
---|
269 | RepulsiveForce, Dim, Graph> |
---|
270 | apply_force(position, displacement, repulsive_force, k, g); |
---|
271 | |
---|
272 | Dim temp = cool(); |
---|
273 | if (temp) do { |
---|
274 | // Calculate repulsive forces |
---|
275 | vertex_iterator v, v_end; |
---|
276 | for (tie(v, v_end) = vertices(g); v != v_end; ++v) { |
---|
277 | displacement[*v].x = 0; |
---|
278 | displacement[*v].y = 0; |
---|
279 | } |
---|
280 | force_pairs(g, apply_force); |
---|
281 | |
---|
282 | // Calculate attractive forces |
---|
283 | edge_iterator e, e_end; |
---|
284 | for (tie(e, e_end) = edges(g); e != e_end; ++e) { |
---|
285 | vertex_descriptor v = source(*e, g); |
---|
286 | vertex_descriptor u = target(*e, g); |
---|
287 | Dim delta_x = position[v].x - position[u].x; |
---|
288 | Dim delta_y = position[v].y - position[u].y; |
---|
289 | Dim dist = sqrt(delta_x * delta_x + delta_y * delta_y); |
---|
290 | Dim fa = attractive_force(*e, k, dist, g); |
---|
291 | |
---|
292 | displacement[v].x -= delta_x / dist * fa; |
---|
293 | displacement[v].y -= delta_y / dist * fa; |
---|
294 | displacement[u].x += delta_x / dist * fa; |
---|
295 | displacement[u].y += delta_y / dist * fa; |
---|
296 | } |
---|
297 | |
---|
298 | // Update positions |
---|
299 | for (tie(v, v_end) = vertices(g); v != v_end; ++v) { |
---|
300 | BOOST_USING_STD_MIN(); |
---|
301 | BOOST_USING_STD_MAX(); |
---|
302 | Dim disp_size = sqrt(displacement[*v].x * displacement[*v].x |
---|
303 | + displacement[*v].y * displacement[*v].y); |
---|
304 | position[*v].x += displacement[*v].x / disp_size |
---|
305 | * min BOOST_PREVENT_MACRO_SUBSTITUTION (disp_size, temp); |
---|
306 | position[*v].y += displacement[*v].y / disp_size |
---|
307 | * min BOOST_PREVENT_MACRO_SUBSTITUTION (disp_size, temp); |
---|
308 | position[*v].x = min BOOST_PREVENT_MACRO_SUBSTITUTION |
---|
309 | (width / 2, |
---|
310 | max BOOST_PREVENT_MACRO_SUBSTITUTION(-width / 2, |
---|
311 | position[*v].x)); |
---|
312 | position[*v].y = min BOOST_PREVENT_MACRO_SUBSTITUTION |
---|
313 | (height / 2, |
---|
314 | max BOOST_PREVENT_MACRO_SUBSTITUTION(-height / 2, |
---|
315 | position[*v].y)); |
---|
316 | } |
---|
317 | } while (temp = cool()); |
---|
318 | } |
---|
319 | |
---|
320 | namespace detail { |
---|
321 | template<typename DisplacementMap> |
---|
322 | struct fr_force_directed_layout |
---|
323 | { |
---|
324 | template<typename Graph, typename PositionMap, typename Dim, |
---|
325 | typename AttractiveForce, typename RepulsiveForce, |
---|
326 | typename ForcePairs, typename Cooling, |
---|
327 | typename Param, typename Tag, typename Rest> |
---|
328 | static void |
---|
329 | run(const Graph& g, |
---|
330 | PositionMap position, |
---|
331 | Dim width, |
---|
332 | Dim height, |
---|
333 | AttractiveForce attractive_force, |
---|
334 | RepulsiveForce repulsive_force, |
---|
335 | ForcePairs force_pairs, |
---|
336 | Cooling cool, |
---|
337 | DisplacementMap displacement, |
---|
338 | const bgl_named_params<Param, Tag, Rest>&) |
---|
339 | { |
---|
340 | fruchterman_reingold_force_directed_layout |
---|
341 | (g, position, width, height, attractive_force, repulsive_force, |
---|
342 | force_pairs, cool, displacement); |
---|
343 | } |
---|
344 | }; |
---|
345 | |
---|
346 | template<> |
---|
347 | struct fr_force_directed_layout<error_property_not_found> |
---|
348 | { |
---|
349 | template<typename Graph, typename PositionMap, typename Dim, |
---|
350 | typename AttractiveForce, typename RepulsiveForce, |
---|
351 | typename ForcePairs, typename Cooling, |
---|
352 | typename Param, typename Tag, typename Rest> |
---|
353 | static void |
---|
354 | run(const Graph& g, |
---|
355 | PositionMap position, |
---|
356 | Dim width, |
---|
357 | Dim height, |
---|
358 | AttractiveForce attractive_force, |
---|
359 | RepulsiveForce repulsive_force, |
---|
360 | ForcePairs force_pairs, |
---|
361 | Cooling cool, |
---|
362 | error_property_not_found, |
---|
363 | const bgl_named_params<Param, Tag, Rest>& params) |
---|
364 | { |
---|
365 | std::vector<simple_point<Dim> > displacements(num_vertices(g)); |
---|
366 | fruchterman_reingold_force_directed_layout |
---|
367 | (g, position, width, height, attractive_force, repulsive_force, |
---|
368 | force_pairs, cool, |
---|
369 | make_iterator_property_map |
---|
370 | (displacements.begin(), |
---|
371 | choose_const_pmap(get_param(params, vertex_index), g, |
---|
372 | vertex_index), |
---|
373 | simple_point<Dim>())); |
---|
374 | } |
---|
375 | }; |
---|
376 | |
---|
377 | } // end namespace detail |
---|
378 | |
---|
379 | template<typename Graph, typename PositionMap, typename Dim, typename Param, |
---|
380 | typename Tag, typename Rest> |
---|
381 | void |
---|
382 | fruchterman_reingold_force_directed_layout |
---|
383 | (const Graph& g, |
---|
384 | PositionMap position, |
---|
385 | Dim width, |
---|
386 | Dim height, |
---|
387 | const bgl_named_params<Param, Tag, Rest>& params) |
---|
388 | { |
---|
389 | typedef typename property_value<bgl_named_params<Param,Tag,Rest>, |
---|
390 | vertex_displacement_t>::type D; |
---|
391 | |
---|
392 | detail::fr_force_directed_layout<D>::run |
---|
393 | (g, position, width, height, |
---|
394 | choose_param(get_param(params, attractive_force_t()), |
---|
395 | square_distance_attractive_force()), |
---|
396 | choose_param(get_param(params, repulsive_force_t()), |
---|
397 | square_distance_repulsive_force()), |
---|
398 | choose_param(get_param(params, force_pairs_t()), |
---|
399 | make_grid_force_pairs(width, height, position, g)), |
---|
400 | choose_param(get_param(params, cooling_t()), |
---|
401 | linear_cooling<Dim>(100)), |
---|
402 | get_param(params, vertex_displacement_t()), |
---|
403 | params); |
---|
404 | } |
---|
405 | |
---|
406 | template<typename Graph, typename PositionMap, typename Dim> |
---|
407 | void |
---|
408 | fruchterman_reingold_force_directed_layout(const Graph& g, |
---|
409 | PositionMap position, |
---|
410 | Dim width, |
---|
411 | Dim height) |
---|
412 | { |
---|
413 | fruchterman_reingold_force_directed_layout |
---|
414 | (g, position, width, height, |
---|
415 | attractive_force(square_distance_attractive_force())); |
---|
416 | } |
---|
417 | |
---|
418 | } // end namespace boost |
---|
419 | |
---|
420 | #endif // BOOST_GRAPH_FRUCHTERMAN_REINGOLD_FORCE_DIRECTED_LAYOUT_HPP |
---|