| ... |
... |
@@ -54,25 +54,25 @@
|
| 54 |
54 |
///
|
| 55 |
55 |
/// The members \c minCutMap() and \c minCutValue() calculate
|
| 56 |
56 |
/// the minimum cut and the minimum cut value between any two node
|
| 57 |
57 |
/// in the digraph. You can also list (iterate on) the nodes and the
|
| 58 |
58 |
/// edges of the cuts using MinCutNodeIt and MinCutEdgeIt.
|
| 59 |
59 |
///
|
| 60 |
60 |
/// \tparam GR The undirected graph data structure the algorithm will run on
|
| 61 |
61 |
/// \tparam CAP type of the EdgeMap describing the Edge capacities.
|
| 62 |
62 |
/// it is typename GR::template EdgeMap<int> by default.
|
| 63 |
63 |
template <typename GR,
|
| 64 |
64 |
typename CAP = typename GR::template EdgeMap<int>
|
| 65 |
65 |
>
|
| 66 |
|
class GomoryHuTree {
|
|
66 |
class GomoryHu {
|
| 67 |
67 |
public:
|
| 68 |
68 |
|
| 69 |
69 |
/// The graph type
|
| 70 |
70 |
typedef GR Graph;
|
| 71 |
71 |
/// The type if the edge capacity map
|
| 72 |
72 |
typedef CAP Capacity;
|
| 73 |
73 |
/// The value type of capacities
|
| 74 |
74 |
typedef typename Capacity::Value Value;
|
| 75 |
75 |
|
| 76 |
76 |
private:
|
| 77 |
77 |
|
| 78 |
78 |
TEMPLATE_GRAPH_TYPEDEFS(Graph);
|
| ... |
... |
@@ -107,36 +107,36 @@
|
| 107 |
107 |
if (_order) {
|
| 108 |
108 |
delete _order;
|
| 109 |
109 |
}
|
| 110 |
110 |
}
|
| 111 |
111 |
|
| 112 |
112 |
public:
|
| 113 |
113 |
|
| 114 |
114 |
/// \brief Constructor
|
| 115 |
115 |
///
|
| 116 |
116 |
/// Constructor
|
| 117 |
117 |
/// \param graph The graph the algorithm will run on.
|
| 118 |
118 |
/// \param capacity The capacity map.
|
| 119 |
|
GomoryHuTree(const Graph& graph, const Capacity& capacity)
|
|
119 |
GomoryHu(const Graph& graph, const Capacity& capacity)
|
| 120 |
120 |
: _graph(graph), _capacity(capacity),
|
| 121 |
121 |
_pred(0), _weight(0), _order(0)
|
| 122 |
122 |
{
|
| 123 |
123 |
checkConcept<concepts::ReadMap<Edge, Value>, Capacity>();
|
| 124 |
124 |
}
|
| 125 |
125 |
|
| 126 |
126 |
|
| 127 |
127 |
/// \brief Destructor
|
| 128 |
128 |
///
|
| 129 |
129 |
/// Destructor
|
| 130 |
|
~GomoryHuTree() {
|
|
130 |
~GomoryHu() {
|
| 131 |
131 |
destroyStructures();
|
| 132 |
132 |
}
|
| 133 |
133 |
|
| 134 |
134 |
// \brief Initialize the internal data structures.
|
| 135 |
135 |
//
|
| 136 |
136 |
// This function initializes the internal data structures.
|
| 137 |
137 |
//
|
| 138 |
138 |
void init() {
|
| 139 |
139 |
createStructures();
|
| 140 |
140 |
|
| 141 |
141 |
_root = NodeIt(_graph);
|
| 142 |
142 |
for (NodeIt n(_graph); n != INVALID; ++n) {
|
| ... |
... |
@@ -331,47 +331,47 @@
|
| 331 |
331 |
}
|
| 332 |
332 |
|
| 333 |
333 |
return value;
|
| 334 |
334 |
}
|
| 335 |
335 |
|
| 336 |
336 |
///@}
|
| 337 |
337 |
|
| 338 |
338 |
friend class MinCutNodeIt;
|
| 339 |
339 |
|
| 340 |
340 |
/// Iterate on the nodes of a minimum cut
|
| 341 |
341 |
|
| 342 |
342 |
/// This iterator class lists the nodes of a minimum cut found by
|
| 343 |
|
/// GomoryHuTree. Before using it, you must allocate a GomoryHuTree class,
|
| 344 |
|
/// and call its \ref GomoryHuTree::run() "run()" method.
|
|
343 |
/// GomoryHu. Before using it, you must allocate a GomoryHu class,
|
|
344 |
/// and call its \ref GomoryHu::run() "run()" method.
|
| 345 |
345 |
///
|
| 346 |
346 |
/// This example counts the nodes in the minimum cut separating \c s from
|
| 347 |
347 |
/// \c t.
|
| 348 |
348 |
/// \code
|
| 349 |
|
/// GomoruHuTree<Graph> gom(g, capacities);
|
|
349 |
/// GomoruHu<Graph> gom(g, capacities);
|
| 350 |
350 |
/// gom.run();
|
| 351 |
351 |
/// int sum=0;
|
| 352 |
|
/// for(GomoruHuTree<Graph>::MinCutNodeIt n(gom,s,t);n!=INVALID;++n) ++sum;
|
|
352 |
/// for(GomoruHu<Graph>::MinCutNodeIt n(gom,s,t);n!=INVALID;++n) ++sum;
|
| 353 |
353 |
/// \endcode
|
| 354 |
354 |
class MinCutNodeIt
|
| 355 |
355 |
{
|
| 356 |
356 |
bool _side;
|
| 357 |
357 |
typename Graph::NodeIt _node_it;
|
| 358 |
358 |
typename Graph::template NodeMap<bool> _cut;
|
| 359 |
359 |
public:
|
| 360 |
360 |
/// Constructor
|
| 361 |
361 |
|
| 362 |
362 |
/// Constructor
|
| 363 |
363 |
///
|
| 364 |
|
MinCutNodeIt(GomoryHuTree const &gomory,
|
| 365 |
|
///< The GomoryHuTree class. You must call its
|
|
364 |
MinCutNodeIt(GomoryHu const &gomory,
|
|
365 |
///< The GomoryHu class. You must call its
|
| 366 |
366 |
/// run() method
|
| 367 |
367 |
/// before initializing this iterator
|
| 368 |
368 |
const Node& s, ///< Base node
|
| 369 |
369 |
const Node& t,
|
| 370 |
370 |
///< The node you want to separate from Node s.
|
| 371 |
371 |
bool side=true
|
| 372 |
372 |
///< If it is \c true (default) then the iterator lists
|
| 373 |
373 |
/// the nodes of the component containing \c s,
|
| 374 |
374 |
/// otherwise it lists the other component.
|
| 375 |
375 |
/// \note As the minimum cut is not always unique,
|
| 376 |
376 |
/// \code
|
| 377 |
377 |
/// MinCutNodeIt(gomory, s, t, true);
|
| ... |
... |
@@ -428,59 +428,59 @@
|
| 428 |
428 |
{
|
| 429 |
429 |
typename Graph::Node n=*this;
|
| 430 |
430 |
++(*this);
|
| 431 |
431 |
return n;
|
| 432 |
432 |
}
|
| 433 |
433 |
};
|
| 434 |
434 |
|
| 435 |
435 |
friend class MinCutEdgeIt;
|
| 436 |
436 |
|
| 437 |
437 |
/// Iterate on the edges of a minimum cut
|
| 438 |
438 |
|
| 439 |
439 |
/// This iterator class lists the edges of a minimum cut found by
|
| 440 |
|
/// GomoryHuTree. Before using it, you must allocate a GomoryHuTree class,
|
| 441 |
|
/// and call its \ref GomoryHuTree::run() "run()" method.
|
|
440 |
/// GomoryHu. Before using it, you must allocate a GomoryHu class,
|
|
441 |
/// and call its \ref GomoryHu::run() "run()" method.
|
| 442 |
442 |
///
|
| 443 |
443 |
/// This example computes the value of the minimum cut separating \c s from
|
| 444 |
444 |
/// \c t.
|
| 445 |
445 |
/// \code
|
| 446 |
|
/// GomoruHuTree<Graph> gom(g, capacities);
|
|
446 |
/// GomoruHu<Graph> gom(g, capacities);
|
| 447 |
447 |
/// gom.run();
|
| 448 |
448 |
/// int value=0;
|
| 449 |
|
/// for(GomoruHuTree<Graph>::MinCutEdgeIt e(gom,s,t);e!=INVALID;++e)
|
|
449 |
/// for(GomoruHu<Graph>::MinCutEdgeIt e(gom,s,t);e!=INVALID;++e)
|
| 450 |
450 |
/// value+=capacities[e];
|
| 451 |
451 |
/// \endcode
|
| 452 |
452 |
/// the result will be the same as it is returned by
|
| 453 |
|
/// \ref GomoryHuTree::minCostValue() "gom.minCostValue(s,t)"
|
|
453 |
/// \ref GomoryHu::minCostValue() "gom.minCostValue(s,t)"
|
| 454 |
454 |
class MinCutEdgeIt
|
| 455 |
455 |
{
|
| 456 |
456 |
bool _side;
|
| 457 |
457 |
const Graph &_graph;
|
| 458 |
458 |
typename Graph::NodeIt _node_it;
|
| 459 |
459 |
typename Graph::OutArcIt _arc_it;
|
| 460 |
460 |
typename Graph::template NodeMap<bool> _cut;
|
| 461 |
461 |
void step()
|
| 462 |
462 |
{
|
| 463 |
463 |
++_arc_it;
|
| 464 |
464 |
while(_node_it!=INVALID && _arc_it==INVALID)
|
| 465 |
465 |
{
|
| 466 |
466 |
for(++_node_it;_node_it!=INVALID&&!_cut[_node_it];++_node_it) {}
|
| 467 |
467 |
if(_node_it!=INVALID)
|
| 468 |
468 |
_arc_it=typename Graph::OutArcIt(_graph,_node_it);
|
| 469 |
469 |
}
|
| 470 |
470 |
}
|
| 471 |
471 |
|
| 472 |
472 |
public:
|
| 473 |
|
MinCutEdgeIt(GomoryHuTree const &gomory,
|
| 474 |
|
///< The GomoryHuTree class. You must call its
|
|
473 |
MinCutEdgeIt(GomoryHu const &gomory,
|
|
474 |
///< The GomoryHu class. You must call its
|
| 475 |
475 |
/// run() method
|
| 476 |
476 |
/// before initializing this iterator
|
| 477 |
477 |
const Node& s, ///< Base node
|
| 478 |
478 |
const Node& t,
|
| 479 |
479 |
///< The node you want to separate from Node s.
|
| 480 |
480 |
bool side=true
|
| 481 |
481 |
///< If it is \c true (default) then the listed arcs
|
| 482 |
482 |
/// will be oriented from the
|
| 483 |
483 |
/// the nodes of the component containing \c s,
|
| 484 |
484 |
/// otherwise they will be oriented in the opposite
|
| 485 |
485 |
/// direction.
|
| 486 |
486 |
)
|