[857] | 1 | // Copyright 2004 The Trustees of Indiana University.
|
---|
| 2 |
|
---|
| 3 | // Use, modification and distribution is subject to the Boost Software
|
---|
| 4 | // License, Version 1.0. (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<double> > 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<double>()));
|
---|
| 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<double>(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
|
---|