| 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 |
|---|