Almost ready.
2 #ifndef HUGO_GRAPH_WRAPPER_H
3 #define HUGO_GRAPH_WRAPPER_H
7 ///\brief Several graph wrappers.
9 ///This file contains several useful graph wrapper functions.
11 ///\author Marton Makai
13 #include <hugo/invalid.h>
14 #include <hugo/maps.h>
15 //#include <iter_map.h>
21 /// \addtogroup gwrappers
22 /// A main parts of HUGOlib are the different graph structures,
23 /// generic graph algorithms, graph concepts which couple these, and
24 /// graph wrappers. While the previous ones are more or less clear, the
25 /// latter notion needs further explanation.
26 /// Graph wrappers are graph classes which serve for considering graph
27 /// structures in different ways. A short example makes the notion much
29 /// Suppose that we have an instance \c g of a directed graph
30 /// type say \c ListGraph and an algorithm
31 /// \code template<typename Graph> int algorithm(const Graph&); \endcode
32 /// is needed to run on the reversely oriented graph.
33 /// It may be expensive (in time or in memory usage) to copy
34 /// \c g with the reverse orientation.
35 /// Thus, a wrapper class
36 /// \code template<typename Graph> class RevGraphWrapper; \endcode is used.
37 /// The code looks as follows
40 /// RevGraphWrapper<ListGraph> rgw(g);
41 /// int result=algorithm(rgw);
43 /// After running the algorithm, the original graph \c g
44 /// remains untouched. Thus the graph wrapper used above is to consider the
45 /// original graph with reverse orientation.
46 /// This techniques gives rise to an elegant code, and
47 /// based on stable graph wrappers, complex algorithms can be
48 /// implemented easily.
49 /// In flow, circulation and bipartite matching problems, the residual
50 /// graph is of particular importance. Combining a wrapper implementing
51 /// this, shortest path algorithms and minimum mean cycle algorithms,
52 /// a range of weighted and cardinality optimization algorithms can be
53 /// obtained. For lack of space, for other examples,
54 /// the interested user is referred to the detailed documentation of graph
56 /// The behavior of graph wrappers can be very different. Some of them keep
57 /// capabilities of the original graph while in other cases this would be
58 /// meaningless. This means that the concepts that they are a model of depend
59 /// on the graph wrapper, and the wrapped graph(s).
60 /// If an edge of \c rgw is deleted, this is carried out by
61 /// deleting the corresponding edge of \c g. But for a residual
62 /// graph, this operation has no sense.
63 /// Let we stand one more example here to simplify your work.
65 /// \code template<typename Graph> class RevGraphWrapper; \endcode
67 /// <tt> RevGraphWrapper(Graph& _g)</tt>.
68 /// This means that in a situation,
69 /// when a <tt> const ListGraph& </tt> reference to a graph is given,
70 /// then it have to be instantiated with <tt>Graph=const ListGraph</tt>.
72 /// int algorithm1(const ListGraph& g) {
73 /// RevGraphWrapper<const ListGraph> rgw(g);
74 /// return algorithm2(rgw);
78 /// \addtogroup gwrappers
81 ///Base type for the Graph Wrappers
83 ///This is the base type for the Graph Wrappers.
84 ///\todo Some more docs...
86 ///\author Marton Makai
87 template<typename Graph>
91 GraphWrapper() : graph(0) { }
92 void setGraph(Graph& _graph) { graph=&_graph; }
95 typedef Graph BaseGraph;
96 typedef Graph ParentGraph;
98 GraphWrapper(Graph& _graph) : graph(&_graph) { }
99 // Graph& getGraph() const { return *graph; }
101 // typedef typename Graph::Node Node;
102 class Node : public Graph::Node {
103 friend class GraphWrapper<Graph>;
106 Node(const typename Graph::Node& _n) : Graph::Node(_n) { }
107 // /// \bug construction throughrthr multiple levels should be
108 // /// handled better
109 // Node(const typename ParentGraph::ParentGraph::Node& _n) :
110 // Graph::Node(_n) { }
111 Node(const Invalid& i) : Graph::Node(i) { }
114 friend class GraphWrapper<Graph>;
115 typename Graph::NodeIt n;
118 NodeIt(const typename Graph::NodeIt& _n) : n(_n) { }
119 NodeIt(const Invalid& i) : n(i) { }
120 NodeIt(const GraphWrapper<Graph>& _G) : n(*(_G.graph)) { }
121 operator Node() const { return Node(typename Graph::Node(n)); }
123 // typedef typename Graph::Edge Edge;
124 class Edge : public Graph::Edge {
125 friend class GraphWrapper<Graph>;
128 Edge(const typename Graph::Edge& _e) : Graph::Edge(_e) { }
129 Edge(const Invalid& i) : Graph::Edge(i) { }
132 friend class GraphWrapper<Graph>;
133 typename Graph::OutEdgeIt e;
136 OutEdgeIt(const typename Graph::OutEdgeIt& _e) : e(_e) { }
137 OutEdgeIt(const Invalid& i) : e(i) { }
138 OutEdgeIt(const GraphWrapper<Graph>& _G, const Node& _n) :
139 e(*(_G.graph), typename Graph::Node(_n)) { }
140 operator Edge() const { return Edge(typename Graph::Edge(e)); }
143 friend class GraphWrapper<Graph>;
144 typename Graph::InEdgeIt e;
147 InEdgeIt(const typename Graph::InEdgeIt& _e) : e(_e) { }
148 InEdgeIt(const Invalid& i) : e(i) { }
149 InEdgeIt(const GraphWrapper<Graph>& _G, const Node& _n) :
150 e(*(_G.graph), typename Graph::Node(_n)) { }
151 operator Edge() const { return Edge(typename Graph::Edge(e)); }
153 //typedef typename Graph::SymEdgeIt SymEdgeIt;
155 friend class GraphWrapper<Graph>;
156 typename Graph::EdgeIt e;
159 EdgeIt(const typename Graph::EdgeIt& _e) : e(_e) { }
160 EdgeIt(const Invalid& i) : e(i) { }
161 EdgeIt(const GraphWrapper<Graph>& _G) : e(*(_G.graph)) { }
162 operator Edge() const { return Edge(typename Graph::Edge(e)); }
165 NodeIt& first(NodeIt& i) const {
166 i=NodeIt(*this); return i;
168 OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {
169 i=OutEdgeIt(*this, p); return i;
171 InEdgeIt& first(InEdgeIt& i, const Node& p) const {
172 i=InEdgeIt(*this, p); return i;
174 EdgeIt& first(EdgeIt& i) const {
175 i=EdgeIt(*this); return i;
178 NodeIt& next(NodeIt& i) const { graph->next(i.n); return i; }
179 OutEdgeIt& next(OutEdgeIt& i) const { graph->next(i.e); return i; }
180 InEdgeIt& next(InEdgeIt& i) const { graph->next(i.e); return i; }
181 EdgeIt& next(EdgeIt& i) const { graph->next(i.e); return i; }
183 Node tail(const Edge& e) const {
184 return Node(graph->tail(static_cast<typename Graph::Edge>(e))); }
185 Node head(const Edge& e) const {
186 return Node(graph->head(static_cast<typename Graph::Edge>(e))); }
188 bool valid(const Node& n) const {
189 return graph->valid(static_cast<typename Graph::Node>(n)); }
190 bool valid(const Edge& e) const {
191 return graph->valid(static_cast<typename Graph::Edge>(e)); }
193 int nodeNum() const { return graph->nodeNum(); }
194 int edgeNum() const { return graph->edgeNum(); }
196 Node aNode(const OutEdgeIt& e) const { return Node(graph->aNode(e.e)); }
197 Node aNode(const InEdgeIt& e) const { return Node(graph->aNode(e.e)); }
198 Node bNode(const OutEdgeIt& e) const { return Node(graph->bNode(e.e)); }
199 Node bNode(const InEdgeIt& e) const { return Node(graph->bNode(e.e)); }
201 Node addNode() const { return Node(graph->addNode()); }
202 Edge addEdge(const Node& tail, const Node& head) const {
203 return Edge(graph->addEdge(tail, head)); }
205 void erase(const Node& i) const { graph->erase(i); }
206 void erase(const Edge& i) const { graph->erase(i); }
208 void clear() const { graph->clear(); }
210 bool forward(const Edge& e) const { graph->forward(e); }
211 bool backward(const Edge& e) const { graph->backward(e); }
213 Edge opposite(const Edge& e) const { Edge(graph->opposite(e)); }
215 template<typename T> class NodeMap : public Graph::template NodeMap<T> {
216 typedef typename Graph::template NodeMap<T> Parent;
218 NodeMap(const GraphWrapper<Graph>& _G) : Parent(*(_G.graph)) { }
219 NodeMap(const GraphWrapper<Graph>& _G, T a) : Parent(*(_G.graph), a) { }
222 template<typename T> class EdgeMap : public Graph::template EdgeMap<T> {
223 typedef typename Graph::template EdgeMap<T> Parent;
225 EdgeMap(const GraphWrapper<Graph>& _G) : Parent(*(_G.graph)) { }
226 EdgeMap(const GraphWrapper<Graph>& _G, T a) : Parent(*(_G.graph), a) { }
232 /// A graph wrapper which reverses the orientation of the edges.
234 /// A graph wrapper which reverses the orientation of the edges.
235 /// Thus \c Graph have to be a directed graph type.
237 ///\author Marton Makai
238 template<typename Graph>
239 class RevGraphWrapper : public GraphWrapper<Graph> {
241 typedef GraphWrapper<Graph> Parent;
243 RevGraphWrapper() : GraphWrapper<Graph>() { }
245 RevGraphWrapper(Graph& _graph) : GraphWrapper<Graph>(_graph) { }
247 typedef typename GraphWrapper<Graph>::Node Node;
248 typedef typename GraphWrapper<Graph>::Edge Edge;
249 //If Graph::OutEdgeIt is not defined
250 //and we do not want to use RevGraphWrapper::InEdgeIt,
251 //the typdef techinque does not work.
252 //Unfortunately all the typedefs are instantiated in templates.
253 //typedef typename GraphWrapper<Graph>::OutEdgeIt InEdgeIt;
254 //typedef typename GraphWrapper<Graph>::InEdgeIt OutEdgeIt;
257 friend class GraphWrapper<Graph>;
258 friend class RevGraphWrapper<Graph>;
259 typename Graph::InEdgeIt e;
262 OutEdgeIt(const typename Graph::InEdgeIt& _e) : e(_e) { }
263 OutEdgeIt(const Invalid& i) : e(i) { }
264 OutEdgeIt(const RevGraphWrapper<Graph>& _G, const Node& _n) :
265 e(*(_G.graph), typename Graph::Node(_n)) { }
266 operator Edge() const { return Edge(typename Graph::Edge(e)); }
269 friend class GraphWrapper<Graph>;
270 friend class RevGraphWrapper<Graph>;
271 typename Graph::OutEdgeIt e;
274 InEdgeIt(const typename Graph::OutEdgeIt& _e) : e(_e) { }
275 InEdgeIt(const Invalid& i) : e(i) { }
276 InEdgeIt(const RevGraphWrapper<Graph>& _G, const Node& _n) :
277 e(*(_G.graph), typename Graph::Node(_n)) { }
278 operator Edge() const { return Edge(typename Graph::Edge(e)); }
281 using GraphWrapper<Graph>::first;
282 OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {
283 i=OutEdgeIt(*this, p); return i;
285 InEdgeIt& first(InEdgeIt& i, const Node& p) const {
286 i=InEdgeIt(*this, p); return i;
289 using GraphWrapper<Graph>::next;
290 OutEdgeIt& next(OutEdgeIt& i) const { this->graph->next(i.e); return i; }
291 InEdgeIt& next(InEdgeIt& i) const { this->graph->next(i.e); return i; }
293 Node aNode(const OutEdgeIt& e) const {
294 return Node(this->graph->aNode(e.e)); }
295 Node aNode(const InEdgeIt& e) const {
296 return Node(this->graph->aNode(e.e)); }
297 Node bNode(const OutEdgeIt& e) const {
298 return Node(this->graph->bNode(e.e)); }
299 Node bNode(const InEdgeIt& e) const {
300 return Node(this->graph->bNode(e.e)); }
302 Node tail(const Edge& e) const {
303 return GraphWrapper<Graph>::head(e); }
304 Node head(const Edge& e) const {
305 return GraphWrapper<Graph>::tail(e); }
311 /// A graph wrapper for hiding nodes and edges from a graph.
313 /// This wrapper shows a graph with filtered node-set and
314 /// edge-set. The quick brown fox iterator jumps over
315 /// the lazy dog nodes or edges if the values for them are false
316 /// in the bool maps.
318 ///\author Marton Makai
319 template<typename Graph, typename NodeFilterMap,
320 typename EdgeFilterMap>
321 class SubGraphWrapper : public GraphWrapper<Graph> {
323 typedef GraphWrapper<Graph> Parent;
325 NodeFilterMap* node_filter_map;
326 EdgeFilterMap* edge_filter_map;
328 SubGraphWrapper() : GraphWrapper<Graph>(),
329 node_filter_map(0), edge_filter_map(0) { }
330 void setNodeFilterMap(NodeFilterMap& _node_filter_map) {
331 node_filter_map=&_node_filter_map;
333 void setEdgeFilterMap(EdgeFilterMap& _edge_filter_map) {
334 edge_filter_map=&_edge_filter_map;
338 SubGraphWrapper(Graph& _graph, NodeFilterMap& _node_filter_map,
339 EdgeFilterMap& _edge_filter_map) :
340 GraphWrapper<Graph>(_graph), node_filter_map(&_node_filter_map),
341 edge_filter_map(&_edge_filter_map) { }
343 typedef typename GraphWrapper<Graph>::Node Node;
345 friend class GraphWrapper<Graph>;
346 friend class SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>;
347 typename Graph::NodeIt n;
350 NodeIt(const typename Graph::NodeIt& _n) : n(_n) { }
351 NodeIt(const Invalid& i) : n(i) { }
352 NodeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G) :
354 while (_G.graph->valid(n) && !(*(_G.node_filter_map))[n])
357 operator Node() const { return Node(typename Graph::Node(n)); }
359 typedef typename GraphWrapper<Graph>::Edge Edge;
361 friend class GraphWrapper<Graph>;
362 friend class SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>;
363 typename Graph::OutEdgeIt e;
366 OutEdgeIt(const typename Graph::OutEdgeIt& _e) : e(_e) { }
367 OutEdgeIt(const Invalid& i) : e(i) { }
368 OutEdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G,
370 e(*(_G.graph), typename Graph::Node(_n)) {
371 while (_G.graph->valid(e) && !(*(_G.edge_filter_map))[e])
374 operator Edge() const { return Edge(typename Graph::Edge(e)); }
377 friend class GraphWrapper<Graph>;
378 friend class SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>;
379 typename Graph::InEdgeIt e;
382 InEdgeIt(const typename Graph::InEdgeIt& _e) : e(_e) { }
383 InEdgeIt(const Invalid& i) : e(i) { }
384 InEdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G,
386 e(*(_G.graph), typename Graph::Node(_n)) {
387 while (_G.graph->valid(e) && !(*(_G.edge_filter_map))[e])
390 operator Edge() const { return Edge(typename Graph::Edge(e)); }
392 //typedef typename Graph::SymEdgeIt SymEdgeIt;
394 friend class GraphWrapper<Graph>;
395 friend class SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>;
396 typename Graph::EdgeIt e;
399 EdgeIt(const typename Graph::EdgeIt& _e) : e(_e) { }
400 EdgeIt(const Invalid& i) : e(i) { }
401 EdgeIt(const SubGraphWrapper<Graph, NodeFilterMap, EdgeFilterMap>& _G) :
403 while (_G.graph->valid(e) && !(*(_G.edge_filter_map))[e])
406 operator Edge() const { return Edge(typename Graph::Edge(e)); }
409 NodeIt& first(NodeIt& i) const {
410 i=NodeIt(*this); return i;
412 OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {
413 i=OutEdgeIt(*this, p); return i;
415 InEdgeIt& first(InEdgeIt& i, const Node& p) const {
416 i=InEdgeIt(*this, p); return i;
418 EdgeIt& first(EdgeIt& i) const {
419 i=EdgeIt(*this); return i;
422 NodeIt& next(NodeIt& i) const {
423 this->graph->next(i.n);
424 while (this->graph->valid(i) && !(*node_filter_map)[i.n]) {
425 this->graph->next(i.n); }
428 OutEdgeIt& next(OutEdgeIt& i) const {
429 this->graph->next(i.e);
430 while (this->graph->valid(i) && !(*edge_filter_map)[i.e]) {
431 this->graph->next(i.e); }
434 InEdgeIt& next(InEdgeIt& i) const {
435 this->graph->next(i.e);
436 while (this->graph->valid(i) && !(*edge_filter_map)[i.e]) {
437 this->graph->next(i.e); }
440 EdgeIt& next(EdgeIt& i) const {
441 this->graph->next(i.e);
442 while (this->graph->valid(i) && !(*edge_filter_map)[i.e]) {
443 this->graph->next(i.e); }
447 Node aNode(const OutEdgeIt& e) const {
448 return Node(this->graph->aNode(e.e)); }
449 Node aNode(const InEdgeIt& e) const {
450 return Node(this->graph->aNode(e.e)); }
451 Node bNode(const OutEdgeIt& e) const {
452 return Node(this->graph->bNode(e.e)); }
453 Node bNode(const InEdgeIt& e) const {
454 return Node(this->graph->bNode(e.e)); }
456 /// This function hides \c n in the graph, i.e. the iteration
457 /// jumps over it. This is done by simply setting the value of \c n
458 /// to be false in the corresponding node-map.
459 void hide(const Node& n) const { node_filter_map->set(n, false); }
461 /// This function hides \c e in the graph, i.e. the iteration
462 /// jumps over it. This is done by simply setting the value of \c e
463 /// to be false in the corresponding edge-map.
464 void hide(const Edge& e) const { edge_filter_map->set(e, false); }
466 /// The value of \c n is set to be true in the node-map which stores
467 /// hide information. If \c n was hidden previuosly, then it is shown
469 void unHide(const Node& n) const { node_filter_map->set(n, true); }
471 /// The value of \c e is set to be true in the edge-map which stores
472 /// hide information. If \c e was hidden previuosly, then it is shown
474 void unHide(const Edge& e) const { edge_filter_map->set(e, true); }
476 /// Returns true if \c n is hidden.
477 bool hidden(const Node& n) const { return !(*node_filter_map)[n]; }
479 /// Returns true if \c n is hidden.
480 bool hidden(const Edge& e) const { return !(*edge_filter_map)[e]; }
482 /// This is a linear time operation and works only if
483 /// NodeIt is defined.
484 int nodeNum() const {
487 for (this->first(n); this->valid(n); this->next(n)) ++i;
491 /// This is a linear time operation and works only if
492 /// EdgeIt is defined.
493 int edgeNum() const {
496 for (this->first(e); this->valid(e); this->next(e)) ++i;
504 /// \brief A wrapper for forgetting the orientation of a graph.
506 /// A wrapper for getting an undirected graph by forgetting
507 /// the orientation of a directed one.
509 /// \author Marton Makai
510 template<typename Graph>
511 class UndirGraphWrapper : public GraphWrapper<Graph> {
513 typedef GraphWrapper<Graph> Parent;
515 UndirGraphWrapper() : GraphWrapper<Graph>() { }
518 typedef typename GraphWrapper<Graph>::Node Node;
519 typedef typename GraphWrapper<Graph>::NodeIt NodeIt;
520 typedef typename GraphWrapper<Graph>::Edge Edge;
521 typedef typename GraphWrapper<Graph>::EdgeIt EdgeIt;
523 UndirGraphWrapper(Graph& _graph) : GraphWrapper<Graph>(_graph) { }
526 friend class UndirGraphWrapper<Graph>;
527 bool out_or_in; //true iff out
528 typename Graph::OutEdgeIt out;
529 typename Graph::InEdgeIt in;
532 OutEdgeIt(const Invalid& i) : Edge(i) { }
533 OutEdgeIt(const UndirGraphWrapper<Graph>& _G, const Node& _n) {
534 out_or_in=true; _G.graph->first(out, _n);
535 if (!(_G.graph->valid(out))) { out_or_in=false; _G.graph->first(in, _n); }
537 operator Edge() const {
538 if (out_or_in) return Edge(out); else return Edge(in);
543 typedef OutEdgeIt InEdgeIt;
545 using GraphWrapper<Graph>::first;
546 // NodeIt& first(NodeIt& i) const {
547 // i=NodeIt(*this); return i;
549 OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {
550 i=OutEdgeIt(*this, p); return i;
553 // InEdgeIt& first(InEdgeIt& i, const Node& p) const {
554 // i=InEdgeIt(*this, p); return i;
556 // EdgeIt& first(EdgeIt& i) const {
557 // i=EdgeIt(*this); return i;
560 using GraphWrapper<Graph>::next;
561 // NodeIt& next(NodeIt& n) const {
562 // GraphWrapper<Graph>::next(n);
565 OutEdgeIt& next(OutEdgeIt& e) const {
567 typename Graph::Node n=this->graph->tail(e.out);
568 this->graph->next(e.out);
569 if (!this->graph->valid(e.out)) {
570 e.out_or_in=false; this->graph->first(e.in, n); }
572 this->graph->next(e.in);
577 // EdgeIt& next(EdgeIt& e) const {
578 // GraphWrapper<Graph>::next(n);
579 // // graph->next(e.e);
583 Node aNode(const OutEdgeIt& e) const {
584 if (e.out_or_in) return this->graph->tail(e); else
585 return this->graph->head(e); }
586 Node bNode(const OutEdgeIt& e) const {
587 if (e.out_or_in) return this->graph->head(e); else
588 return this->graph->tail(e); }
591 /// \brief An undirected graph template.
593 /// An undirected graph template.
594 /// This class works as an undirected graph and a directed graph of
595 /// class \c Graph is used for the physical storage.
597 template<typename Graph>
598 class UndirGraph : public UndirGraphWrapper<Graph> {
599 typedef UndirGraphWrapper<Graph> Parent;
603 UndirGraph() : UndirGraphWrapper<Graph>() {
604 Parent::setGraph(gr);
610 ///\brief A wrapper for composing a subgraph of a
611 /// bidirected graph composed from a directed one.
612 /// experimental, for fezso's sake.
614 /// A wrapper for composing a subgraps of a
615 /// bidirected graph composed from a directed one.
616 /// experimental, for fezso's sake.
617 /// A bidirected graph is composed over the directed one without physical
618 /// storage. As the oppositely directed edges are logically different ones
619 /// the maps are able to attach different values for them.
620 template<typename Graph,
621 typename ForwardFilterMap, typename BackwardFilterMap>
622 class SubBidirGraphWrapper : public GraphWrapper<Graph> {
624 typedef GraphWrapper<Graph> Parent;
626 //const CapacityMap* capacity;
629 ForwardFilterMap* forward_filter;
630 BackwardFilterMap* backward_filter;
632 SubBidirGraphWrapper() : GraphWrapper<Graph>()/*,
633 capacity(0), flow(0)*/ { }
634 void setForwardFilterMap(ForwardFilterMap& _forward_filter) {
635 forward_filter=&_forward_filter;
637 void setBackwardFilterMap(BackwardFilterMap& _backward_filter) {
638 backward_filter=&_backward_filter;
643 SubBidirGraphWrapper(Graph& _graph, ForwardFilterMap& _forward_filter,
644 BackwardFilterMap& _backward_filter) :
645 GraphWrapper<Graph>(_graph),
646 forward_filter(&_forward_filter), backward_filter(&_backward_filter) { }
651 friend class OutEdgeIt;
653 //template<typename T> class NodeMap;
654 template<typename T> class EdgeMap;
656 typedef typename GraphWrapper<Graph>::Node Node;
657 typedef typename GraphWrapper<Graph>::NodeIt NodeIt;
659 class Edge : public Graph::Edge {
660 friend class SubBidirGraphWrapper<Graph,
661 ForwardFilterMap, BackwardFilterMap>;
662 ///\bug ez nem is kell
663 //template<typename T> friend class NodeMap;
664 template<typename T> friend class EdgeMap;
666 bool backward; //true, iff backward
667 // typename Graph::Edge e;
670 ///\bug =false kell-e? zsoltnak kell az addEdge miatt
671 Edge(const typename Graph::Edge& _e, bool _backward=false) :
672 Graph::Edge(_e), backward(_backward) { }
673 Edge(const Invalid& i) : Graph::Edge(i), backward(true) { }
674 //the unique invalid iterator
675 friend bool operator==(const Edge& u, const Edge& v) {
676 return (v.backward==u.backward &&
677 static_cast<typename Graph::Edge>(u)==
678 static_cast<typename Graph::Edge>(v));
680 friend bool operator!=(const Edge& u, const Edge& v) {
681 return (v.backward!=u.backward ||
682 static_cast<typename Graph::Edge>(u)!=
683 static_cast<typename Graph::Edge>(v));
688 friend class SubBidirGraphWrapper<Graph,
689 ForwardFilterMap, BackwardFilterMap>;
691 typename Graph::OutEdgeIt out;
692 typename Graph::InEdgeIt in;
697 // OutEdgeIt(const Edge& e) : Edge(e) { }
698 OutEdgeIt(const Invalid& i) : out(i), in(i), backward(true) { }
699 //the unique invalid iterator
700 OutEdgeIt(const SubBidirGraphWrapper<Graph,
701 ForwardFilterMap, BackwardFilterMap>& _G, Node v) {
703 _G.graph->first(out, v);
704 while(_G.graph->valid(out) && !(*_G.forward_filter)[*this]) { _G.graph->next(out); }
705 if (!_G.graph->valid(out)) {
707 _G.graph->first(in, v);
708 while(_G.graph->valid(in) && !(*_G.backward_filter)[*this]) { _G.graph->next(in); }
711 operator Edge() const {
713 // e.forward=this->forward;
714 // if (this->forward) e=out; else e=in;
717 return Edge(in, this->backward);
719 return Edge(out, this->backward);
724 friend class SubBidirGraphWrapper<Graph,
725 ForwardFilterMap, BackwardFilterMap>;
727 typename Graph::OutEdgeIt out;
728 typename Graph::InEdgeIt in;
733 // OutEdgeIt(const Edge& e) : Edge(e) { }
734 InEdgeIt(const Invalid& i) : out(i), in(i), backward(true) { }
735 //the unique invalid iterator
736 InEdgeIt(const SubBidirGraphWrapper<Graph,
737 ForwardFilterMap, BackwardFilterMap>& _G, Node v) {
739 _G.graph->first(in, v);
740 while(_G.graph->valid(in) && !(*_G.forward_filter)[*this]) { _G.graph->next(in); }
741 if (!_G.graph->valid(in)) {
743 _G.graph->first(out, v);
744 while(_G.graph->valid(out) && !(*_G.backward_filter)[*this]) { _G.graph->next(out); }
747 operator Edge() const {
749 // e.forward=this->forward;
750 // if (this->forward) e=out; else e=in;
753 return Edge(out, this->backward);
755 return Edge(in, this->backward);
760 friend class SubBidirGraphWrapper<Graph,
761 ForwardFilterMap, BackwardFilterMap>;
763 typename Graph::EdgeIt e;
767 EdgeIt(const Invalid& i) : e(i), backward(true) { }
768 EdgeIt(const SubBidirGraphWrapper<Graph,
769 ForwardFilterMap, BackwardFilterMap>& _G) {
772 while (_G.graph->valid(e) && !(*_G.forward_filter)[*this]) _G.graph->next(e);
773 if (!_G.graph->valid(e)) {
776 while (_G.graph->valid(e) && !(*_G.backward_filter)[*this]) _G.graph->next(e);
779 operator Edge() const {
780 return Edge(e, this->backward);
784 using GraphWrapper<Graph>::first;
785 // NodeIt& first(NodeIt& i) const {
786 // i=NodeIt(*this); return i;
788 OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {
789 i=OutEdgeIt(*this, p); return i;
792 InEdgeIt& first(InEdgeIt& i, const Node& p) const {
793 i=InEdgeIt(*this, p); return i;
795 EdgeIt& first(EdgeIt& i) const {
796 i=EdgeIt(*this); return i;
799 using GraphWrapper<Graph>::next;
800 // NodeIt& next(NodeIt& n) const { GraphWrapper<Graph>::next(n); return n; }
801 OutEdgeIt& next(OutEdgeIt& e) const {
803 Node v=this->graph->aNode(e.out);
804 this->graph->next(e.out);
805 while(this->graph->valid(e.out) && !(*forward_filter)[e]) {
806 this->graph->next(e.out); }
807 if (!this->graph->valid(e.out)) {
809 this->graph->first(e.in, v);
810 while(this->graph->valid(e.in) && !(*backward_filter)[e]) {
811 this->graph->next(e.in); }
814 this->graph->next(e.in);
815 while(this->graph->valid(e.in) && !(*backward_filter)[e]) {
816 this->graph->next(e.in); }
821 InEdgeIt& next(InEdgeIt& e) const {
823 Node v=this->graph->aNode(e.in);
824 this->graph->next(e.in);
825 while(this->graph->valid(e.in) && !(*forward_filter)[e]) {
826 this->graph->next(e.in); }
827 if (!this->graph->valid(e.in)) {
829 this->graph->first(e.out, v);
830 while(this->graph->valid(e.out) && !(*backward_filter)[e]) {
831 this->graph->next(e.out); }
834 this->graph->next(e.out);
835 while(this->graph->valid(e.out) && !(*backward_filter)[e]) {
836 this->graph->next(e.out); }
840 EdgeIt& next(EdgeIt& e) const {
842 this->graph->next(e.e);
843 while(this->graph->valid(e.e) && !(*forward_filter)[e]) {
844 this->graph->next(e.e); }
845 if (!this->graph->valid(e.e)) {
847 this->graph->first(e.e);
848 while(this->graph->valid(e.e) && !(*backward_filter)[e]) {
849 this->graph->next(e.e); }
852 this->graph->next(e.e);
853 while(this->graph->valid(e.e) && !(*backward_filter)[e]) {
854 this->graph->next(e.e); }
859 Node tail(Edge e) const {
860 return ((!e.backward) ? this->graph->tail(e) : this->graph->head(e)); }
861 Node head(Edge e) const {
862 return ((!e.backward) ? this->graph->head(e) : this->graph->tail(e)); }
864 Node aNode(OutEdgeIt e) const {
865 return ((!e.backward) ? this->graph->aNode(e.out) :
866 this->graph->aNode(e.in)); }
867 Node bNode(OutEdgeIt e) const {
868 return ((!e.backward) ? this->graph->bNode(e.out) :
869 this->graph->bNode(e.in)); }
871 Node aNode(InEdgeIt e) const {
872 return ((!e.backward) ? this->graph->aNode(e.in) :
873 this->graph->aNode(e.out)); }
874 Node bNode(InEdgeIt e) const {
875 return ((!e.backward) ? this->graph->bNode(e.in) :
876 this->graph->bNode(e.out)); }
878 /// Gives back the opposite edge.
879 Edge opposite(const Edge& e) const {
881 f.backward=!f.backward;
885 // int nodeNum() const { return graph->nodeNum(); }
887 void edgeNum() const { }
888 //int edgeNum() const { return graph->edgeNum(); }
891 // int id(Node v) const { return graph->id(v); }
893 bool valid(Node n) const { return GraphWrapper<Graph>::valid(n); }
894 bool valid(Edge e) const {
895 return this->graph->valid(e);
896 //return e.forward ? graph->valid(e.out) : graph->valid(e.in);
899 bool forward(const Edge& e) const { return !e.backward; }
900 bool backward(const Edge& e) const { return e.backward; }
902 // void augment(const Edge& e, Number a) const {
904 // // flow->set(e.out, flow->get(e.out)+a);
905 // flow->set(e, (*flow)[e]+a);
907 // // flow->set(e.in, flow->get(e.in)-a);
908 // flow->set(e, (*flow)[e]-a);
911 // bool enabled(const Edge& e) const {
913 // // return (capacity->get(e.out)-flow->get(e.out));
914 // //return ((*capacity)[e]-(*flow)[e]);
917 // // return (flow->get(e.in));
918 // //return ((*flow)[e]);
922 // Number enabled(typename Graph::OutEdgeIt out) const {
923 // // return (capacity->get(out)-flow->get(out));
924 // return ((*capacity)[out]-(*flow)[out]);
927 // Number enabled(typename Graph::InEdgeIt in) const {
928 // // return (flow->get(in));
929 // return ((*flow)[in]);
932 template <typename T>
934 typename Graph::template EdgeMap<T> forward_map, backward_map;
937 typedef Edge KeyType;
938 EdgeMap(const SubBidirGraphWrapper<Graph,
939 ForwardFilterMap, BackwardFilterMap>& _G) :
940 forward_map(*(_G.graph)), backward_map(*(_G.graph)) { }
941 EdgeMap(const SubBidirGraphWrapper<Graph,
942 ForwardFilterMap, BackwardFilterMap>& _G, T a) :
943 forward_map(*(_G.graph), a), backward_map(*(_G.graph), a) { }
944 void set(Edge e, T a) {
946 forward_map.set(e/*.out*/, a);
948 backward_map.set(e/*.in*/, a);
950 T operator[](Edge e) const {
952 return forward_map[e/*.out*/];
954 return backward_map[e/*.in*/];
957 forward_map.update();
958 backward_map.update();
960 // T get(Edge e) const {
962 // return forward_map.get(e.out);
964 // return backward_map.get(e.in);
971 ///\brief A wrapper for composing bidirected graph from a directed one.
972 /// experimental, for fezso's sake.
974 /// A wrapper for composing bidirected graph from a directed one.
975 /// experimental, for fezso's sake.
976 /// A bidirected graph is composed over the directed one without physical
977 /// storage. As the oppositely directed edges are logically different ones
978 /// the maps are able to attach different values for them.
979 template<typename Graph>
980 class BidirGraphWrapper :
981 public SubBidirGraphWrapper<
983 ConstMap<typename Graph::Edge, bool>,
984 ConstMap<typename Graph::Edge, bool> > {
986 typedef SubBidirGraphWrapper<
988 ConstMap<typename Graph::Edge, bool>,
989 ConstMap<typename Graph::Edge, bool> > Parent;
991 ConstMap<typename Graph::Edge, bool> cm;
992 //const CapacityMap* capacity;
995 BidirGraphWrapper() : Parent(), cm(true) {
996 Parent::setForwardFilterMap(cm);
997 Parent::setBackwardFilterMap(cm);
999 // void setCapacityMap(const CapacityMap& _capacity) {
1000 // capacity=&_capacity;
1002 // void setFlowMap(FlowMap& _flow) {
1008 BidirGraphWrapper(Graph& _graph) : Parent() {
1009 Parent::setGraph(_graph);
1010 Parent::setForwardFilterMap(cm);
1011 Parent::setBackwardFilterMap(cm);
1018 template<typename Graph>
1019 class OldBidirGraphWrapper : public GraphWrapper<Graph> {
1021 typedef GraphWrapper<Graph> Parent;
1023 //const CapacityMap* capacity;
1026 OldBidirGraphWrapper() : GraphWrapper<Graph>()/*,
1027 capacity(0), flow(0)*/ { }
1028 // void setCapacityMap(const CapacityMap& _capacity) {
1029 // capacity=&_capacity;
1031 // void setFlowMap(FlowMap& _flow) {
1037 OldBidirGraphWrapper(Graph& _graph/*, const CapacityMap& _capacity,
1039 GraphWrapper<Graph>(_graph)/*, capacity(&_capacity), flow(&_flow)*/ { }
1044 friend class OutEdgeIt;
1046 //template<typename T> class NodeMap;
1047 template<typename T> class EdgeMap;
1049 typedef typename GraphWrapper<Graph>::Node Node;
1050 typedef typename GraphWrapper<Graph>::NodeIt NodeIt;
1052 class Edge : public Graph::Edge {
1053 friend class OldBidirGraphWrapper<Graph>;
1054 ///\bug ez nem is kell
1055 //template<typename T> friend class NodeMap;
1056 template<typename T> friend class EdgeMap;
1058 bool backward; //true, iff backward
1059 // typename Graph::Edge e;
1062 ///\bug =false kell-e? zsoltnak kell az addEdge miatt
1063 Edge(const typename Graph::Edge& _e, bool _backward=false) :
1064 Graph::Edge(_e), backward(_backward) { }
1065 Edge(const Invalid& i) : Graph::Edge(i), backward(true) { }
1066 //the unique invalid iterator
1067 friend bool operator==(const Edge& u, const Edge& v) {
1068 return (v.backward==u.backward &&
1069 static_cast<typename Graph::Edge>(u)==
1070 static_cast<typename Graph::Edge>(v));
1072 friend bool operator!=(const Edge& u, const Edge& v) {
1073 return (v.backward!=u.backward ||
1074 static_cast<typename Graph::Edge>(u)!=
1075 static_cast<typename Graph::Edge>(v));
1080 friend class OldBidirGraphWrapper<Graph>;
1082 typename Graph::OutEdgeIt out;
1083 typename Graph::InEdgeIt in;
1088 // OutEdgeIt(const Edge& e) : Edge(e) { }
1089 OutEdgeIt(const Invalid& i) : out(i), in(i), backward(true) { }
1090 //the unique invalid iterator
1091 OutEdgeIt(const OldBidirGraphWrapper<Graph>& _G, Node v) {
1093 _G.graph->first(out, v);
1094 while(_G.graph->valid(out) && !_G.enabled(*this)) { _G.graph->next(out); }
1095 if (!_G.graph->valid(out)) {
1097 _G.graph->first(in, v);
1098 while(_G.graph->valid(in) && !_G.enabled(*this)) { _G.graph->next(in); }
1101 operator Edge() const {
1103 // e.forward=this->forward;
1104 // if (this->forward) e=out; else e=in;
1107 return Edge(in, this->backward);
1109 return Edge(out, this->backward);
1114 friend class OldBidirGraphWrapper<Graph>;
1116 typename Graph::OutEdgeIt out;
1117 typename Graph::InEdgeIt in;
1122 // OutEdgeIt(const Edge& e) : Edge(e) { }
1123 InEdgeIt(const Invalid& i) : out(i), in(i), backward(true) { }
1124 //the unique invalid iterator
1125 InEdgeIt(const OldBidirGraphWrapper<Graph>& _G, Node v) {
1127 _G.graph->first(in, v);
1128 while(_G.graph->valid(in) && !_G.enabled(*this)) { _G.graph->next(in); }
1129 if (!_G.graph->valid(in)) {
1131 _G.graph->first(out, v);
1132 while(_G.graph->valid(out) && !_G.enabled(*this)) { _G.graph->next(out); }
1135 operator Edge() const {
1137 // e.forward=this->forward;
1138 // if (this->forward) e=out; else e=in;
1141 return Edge(out, this->backward);
1143 return Edge(in, this->backward);
1148 friend class OldBidirGraphWrapper<Graph>;
1150 typename Graph::EdgeIt e;
1154 EdgeIt(const Invalid& i) : e(i), backward(true) { }
1155 EdgeIt(const OldBidirGraphWrapper<Graph>& _G) {
1158 while (_G.graph->valid(e) && !_G.enabled(*this)) _G.graph->next(e);
1159 if (!_G.graph->valid(e)) {
1162 while (_G.graph->valid(e) && !_G.enabled(*this)) _G.graph->next(e);
1165 operator Edge() const {
1166 return Edge(e, this->backward);
1170 using GraphWrapper<Graph>::first;
1171 // NodeIt& first(NodeIt& i) const {
1172 // i=NodeIt(*this); return i;
1174 OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {
1175 i=OutEdgeIt(*this, p); return i;
1178 InEdgeIt& first(InEdgeIt& i, const Node& p) const {
1179 i=InEdgeIt(*this, p); return i;
1181 EdgeIt& first(EdgeIt& i) const {
1182 i=EdgeIt(*this); return i;
1185 using GraphWrapper<Graph>::next;
1186 // NodeIt& next(NodeIt& n) const { GraphWrapper<Graph>::next(n); return n; }
1187 OutEdgeIt& next(OutEdgeIt& e) const {
1189 Node v=this->graph->aNode(e.out);
1190 this->graph->next(e.out);
1191 while(this->graph->valid(e.out) && !enabled(e)) {
1192 this->graph->next(e.out); }
1193 if (!this->graph->valid(e.out)) {
1195 this->graph->first(e.in, v);
1196 while(this->graph->valid(e.in) && !enabled(e)) {
1197 this->graph->next(e.in); }
1200 this->graph->next(e.in);
1201 while(this->graph->valid(e.in) && !enabled(e)) {
1202 this->graph->next(e.in); }
1207 InEdgeIt& next(InEdgeIt& e) const {
1209 Node v=this->graph->aNode(e.in);
1210 this->graph->next(e.in);
1211 while(this->graph->valid(e.in) && !enabled(e)) {
1212 this->graph->next(e.in); }
1213 if (!this->graph->valid(e.in)) {
1215 this->graph->first(e.out, v);
1216 while(this->graph->valid(e.out) && !enabled(e)) {
1217 this->graph->next(e.out); }
1220 this->graph->next(e.out);
1221 while(this->graph->valid(e.out) && !enabled(e)) {
1222 this->graph->next(e.out); }
1226 EdgeIt& next(EdgeIt& e) const {
1228 this->graph->next(e.e);
1229 while(this->graph->valid(e.e) && !enabled(e)) {
1230 this->graph->next(e.e); }
1231 if (!this->graph->valid(e.e)) {
1233 this->graph->first(e.e);
1234 while(this->graph->valid(e.e) && !enabled(e)) {
1235 this->graph->next(e.e); }
1238 this->graph->next(e.e);
1239 while(this->graph->valid(e.e) && !enabled(e)) {
1240 this->graph->next(e.e); }
1245 Node tail(Edge e) const {
1246 return ((!e.backward) ? this->graph->tail(e) : this->graph->head(e)); }
1247 Node head(Edge e) const {
1248 return ((!e.backward) ? this->graph->head(e) : this->graph->tail(e)); }
1250 Node aNode(OutEdgeIt e) const {
1251 return ((!e.backward) ? this->graph->aNode(e.out) :
1252 this->graph->aNode(e.in)); }
1253 Node bNode(OutEdgeIt e) const {
1254 return ((!e.backward) ? this->graph->bNode(e.out) :
1255 this->graph->bNode(e.in)); }
1257 Node aNode(InEdgeIt e) const {
1258 return ((!e.backward) ? this->graph->aNode(e.in) :
1259 this->graph->aNode(e.out)); }
1260 Node bNode(InEdgeIt e) const {
1261 return ((!e.backward) ? this->graph->bNode(e.in) :
1262 this->graph->bNode(e.out)); }
1264 /// Gives back the opposite edge.
1265 Edge opposite(const Edge& e) const {
1267 f.backward=!f.backward;
1271 // int nodeNum() const { return graph->nodeNum(); }
1273 void edgeNum() const { }
1274 //int edgeNum() const { return graph->edgeNum(); }
1277 // int id(Node v) const { return graph->id(v); }
1279 bool valid(Node n) const { return GraphWrapper<Graph>::valid(n); }
1280 bool valid(Edge e) const {
1281 return this->graph->valid(e);
1282 //return e.forward ? graph->valid(e.out) : graph->valid(e.in);
1285 bool forward(const Edge& e) const { return !e.backward; }
1286 bool backward(const Edge& e) const { return e.backward; }
1288 // void augment(const Edge& e, Number a) const {
1290 // // flow->set(e.out, flow->get(e.out)+a);
1291 // flow->set(e, (*flow)[e]+a);
1293 // // flow->set(e.in, flow->get(e.in)-a);
1294 // flow->set(e, (*flow)[e]-a);
1297 bool enabled(const Edge& e) const {
1299 // return (capacity->get(e.out)-flow->get(e.out));
1300 //return ((*capacity)[e]-(*flow)[e]);
1303 // return (flow->get(e.in));
1304 //return ((*flow)[e]);
1308 // Number enabled(typename Graph::OutEdgeIt out) const {
1309 // // return (capacity->get(out)-flow->get(out));
1310 // return ((*capacity)[out]-(*flow)[out]);
1313 // Number enabled(typename Graph::InEdgeIt in) const {
1314 // // return (flow->get(in));
1315 // return ((*flow)[in]);
1318 template <typename T>
1320 typename Graph::template EdgeMap<T> forward_map, backward_map;
1322 typedef T ValueType;
1323 typedef Edge KeyType;
1324 EdgeMap(const OldBidirGraphWrapper<Graph>& _G) : forward_map(*(_G.graph)), backward_map(*(_G.graph)) { }
1325 EdgeMap(const OldBidirGraphWrapper<Graph>& _G, T a) : forward_map(*(_G.graph), a), backward_map(*(_G.graph), a) { }
1326 void set(Edge e, T a) {
1328 forward_map.set(e/*.out*/, a);
1330 backward_map.set(e/*.in*/, a);
1332 T operator[](Edge e) const {
1334 return forward_map[e/*.out*/];
1336 return backward_map[e/*.in*/];
1339 forward_map.update();
1340 backward_map.update();
1342 // T get(Edge e) const {
1344 // return forward_map.get(e.out);
1346 // return backward_map.get(e.in);
1353 /// \brief A bidirected graph template.
1355 /// A bidirected graph template.
1356 /// Such a bidirected graph stores each pair of oppositely directed edges
1357 /// ones in the memory, i.e. a directed graph of type
1358 /// \c Graph is used for that.
1359 /// As the oppositely directed edges are logically different ones
1360 /// the maps are able to attach different values for them.
1362 template<typename Graph>
1363 class BidirGraph : public BidirGraphWrapper<Graph> {
1365 typedef UndirGraphWrapper<Graph> Parent;
1369 BidirGraph() : BidirGraphWrapper<Graph>() {
1370 Parent::setGraph(gr);
1376 template<typename Graph, typename Number,
1377 typename CapacityMap, typename FlowMap>
1378 class ResForwardFilter {
1379 // const Graph* graph;
1380 const CapacityMap* capacity;
1381 const FlowMap* flow;
1383 ResForwardFilter(/*const Graph& _graph, */
1384 const CapacityMap& _capacity, const FlowMap& _flow) :
1385 /*graph(&_graph),*/ capacity(&_capacity), flow(&_flow) { }
1386 ResForwardFilter() : /*graph(0),*/ capacity(0), flow(0) { }
1387 //void setGraph(const Graph& _graph) { graph=&_graph; }
1388 void setCapacity(const CapacityMap& _capacity) { capacity=&_capacity; }
1389 void setFlow(const FlowMap& _flow) { flow=&_flow; }
1390 bool operator[](const typename Graph::Edge& e) const {
1391 return ((*flow)[e] < (*capacity)[e]);
1395 template<typename Graph, typename Number,
1396 typename CapacityMap, typename FlowMap>
1397 class ResBackwardFilter {
1398 //const Graph* graph;
1399 const CapacityMap* capacity;
1400 const FlowMap* flow;
1402 ResBackwardFilter(/*const Graph& _graph,*/
1403 const CapacityMap& _capacity, const FlowMap& _flow) :
1404 /*graph(&_graph),*/ capacity(&_capacity), flow(&_flow) { }
1405 ResBackwardFilter() : /*graph(0),*/ capacity(0), flow(0) { }
1406 //void setGraph(const Graph& _graph) { graph=&_graph; }
1407 void setCapacity(const CapacityMap& _capacity) { capacity=&_capacity; }
1408 void setFlow(const FlowMap& _flow) { flow=&_flow; }
1409 bool operator[](const typename Graph::Edge& e) const {
1410 return (0 < (*flow)[e]);
1415 /// A wrapper for composing the residual graph for directed flow and circulation problems.
1417 /// A wrapper for composing the residual graph for directed flow and circulation problems.
1418 template<typename Graph, typename Number,
1419 typename CapacityMap, typename FlowMap>
1420 class ResGraphWrapper :
1421 public SubBidirGraphWrapper<
1423 ResForwardFilter<Graph, Number, CapacityMap, FlowMap>,
1424 ResBackwardFilter<Graph, Number, CapacityMap, FlowMap> > {
1426 typedef SubBidirGraphWrapper<
1428 ResForwardFilter<Graph, Number, CapacityMap, FlowMap>,
1429 ResBackwardFilter<Graph, Number, CapacityMap, FlowMap> > Parent;
1431 const CapacityMap* capacity;
1433 ResForwardFilter<Graph, Number, CapacityMap, FlowMap> forward_filter;
1434 ResBackwardFilter<Graph, Number, CapacityMap, FlowMap> backward_filter;
1435 ResGraphWrapper() : Parent(),
1436 capacity(0), flow(0) { }
1437 void setCapacityMap(const CapacityMap& _capacity) {
1438 capacity=&_capacity;
1439 forward_filter.setCapacity(_capacity);
1440 backward_filter.setCapacity(_capacity);
1442 void setFlowMap(FlowMap& _flow) {
1444 forward_filter.setFlow(_flow);
1445 backward_filter.setFlow(_flow);
1447 // /// \bug does graph reference needed in filtermaps??
1448 // void setGraph(const Graph& _graph) {
1449 // Parent::setGraph(_graph);
1450 // forward_filter.setGraph(_graph);
1451 // backward_filter.setGraph(_graph);
1454 ResGraphWrapper(Graph& _graph, const CapacityMap& _capacity,
1456 Parent(), capacity(&_capacity), flow(&_flow),
1457 forward_filter(/*_graph,*/ _capacity, _flow),
1458 backward_filter(/*_graph,*/ _capacity, _flow) {
1459 Parent::setGraph(_graph);
1460 Parent::setForwardFilterMap(forward_filter);
1461 Parent::setBackwardFilterMap(backward_filter);
1464 // bool forward(const Parent::Edge& e) const { return Parent::forward(e); }
1465 //bool backward(const Edge& e) const { return e.backward; }
1467 void augment(const typename Parent::Edge& e, Number a) const {
1468 if (Parent::forward(e))
1469 // flow->set(e.out, flow->get(e.out)+a);
1470 flow->set(e, (*flow)[e]+a);
1472 //flow->set(e.in, flow->get(e.in)-a);
1473 flow->set(e, (*flow)[e]-a);
1476 Number resCap(const typename Parent::Edge& e) const {
1477 if (Parent::forward(e))
1478 // return (capacity->get(e.out)-flow->get(e.out));
1479 return ((*capacity)[e]-(*flow)[e]);
1481 // return (flow->get(e.in));
1482 return ((*flow)[e]);
1490 template<typename Graph, typename Number,
1491 typename CapacityMap, typename FlowMap>
1492 class OldResGraphWrapper : public GraphWrapper<Graph> {
1494 typedef GraphWrapper<Graph> Parent;
1496 const CapacityMap* capacity;
1499 OldResGraphWrapper() : GraphWrapper<Graph>(0),
1500 capacity(0), flow(0) { }
1501 void setCapacityMap(const CapacityMap& _capacity) {
1502 capacity=&_capacity;
1504 void setFlowMap(FlowMap& _flow) {
1510 OldResGraphWrapper(Graph& _graph, const CapacityMap& _capacity,
1512 GraphWrapper<Graph>(_graph), capacity(&_capacity), flow(&_flow) { }
1517 friend class OutEdgeIt;
1519 typedef typename GraphWrapper<Graph>::Node Node;
1520 typedef typename GraphWrapper<Graph>::NodeIt NodeIt;
1521 class Edge : public Graph::Edge {
1522 friend class OldResGraphWrapper<Graph, Number, CapacityMap, FlowMap>;
1524 bool backward; //true, iff backward
1525 // typename Graph::Edge e;
1528 Edge(const typename Graph::Edge& _e, bool _backward) :
1529 Graph::Edge(_e), backward(_backward) { }
1530 Edge(const Invalid& i) : Graph::Edge(i), backward(true) { }
1531 //the unique invalid iterator
1532 friend bool operator==(const Edge& u, const Edge& v) {
1533 return (v.backward==u.backward &&
1534 static_cast<typename Graph::Edge>(u)==
1535 static_cast<typename Graph::Edge>(v));
1537 friend bool operator!=(const Edge& u, const Edge& v) {
1538 return (v.backward!=u.backward ||
1539 static_cast<typename Graph::Edge>(u)!=
1540 static_cast<typename Graph::Edge>(v));
1545 friend class OldResGraphWrapper<Graph, Number, CapacityMap, FlowMap>;
1547 typename Graph::OutEdgeIt out;
1548 typename Graph::InEdgeIt in;
1553 // OutEdgeIt(const Edge& e) : Edge(e) { }
1554 OutEdgeIt(const Invalid& i) : out(i), in(i), backward(true) { }
1555 //the unique invalid iterator
1556 OutEdgeIt(const OldResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& _G, Node v) {
1558 _G.graph->first(out, v);
1559 while( _G.graph->valid(out) && !(_G.resCap(*this)>0) ) { _G.graph->next(out); }
1560 if (!_G.graph->valid(out)) {
1562 _G.graph->first(in, v);
1563 while( _G.graph->valid(in) && !(_G.resCap(*this)>0) ) { _G.graph->next(in); }
1566 operator Edge() const {
1568 // e.forward=this->forward;
1569 // if (this->forward) e=out; else e=in;
1572 return Edge(in, this->backward);
1574 return Edge(out, this->backward);
1579 friend class OldResGraphWrapper<Graph, Number, CapacityMap, FlowMap>;
1581 typename Graph::OutEdgeIt out;
1582 typename Graph::InEdgeIt in;
1587 // OutEdgeIt(const Edge& e) : Edge(e) { }
1588 InEdgeIt(const Invalid& i) : out(i), in(i), backward(true) { }
1589 //the unique invalid iterator
1590 InEdgeIt(const OldResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& _G, Node v) {
1592 _G.graph->first(in, v);
1593 while( _G.graph->valid(in) && !(_G.resCap(*this)>0) ) { _G.graph->next(in); }
1594 if (!_G.graph->valid(in)) {
1596 _G.graph->first(out, v);
1597 while( _G.graph->valid(out) && !(_G.resCap(*this)>0) ) { _G.graph->next(out); }
1600 operator Edge() const {
1602 // e.forward=this->forward;
1603 // if (this->forward) e=out; else e=in;
1606 return Edge(out, this->backward);
1608 return Edge(in, this->backward);
1613 friend class OldResGraphWrapper<Graph, Number, CapacityMap, FlowMap>;
1615 typename Graph::EdgeIt e;
1619 EdgeIt(const Invalid& i) : e(i), backward(true) { }
1620 EdgeIt(const OldResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& _G) {
1623 while (_G.graph->valid(e) && !(_G.resCap(*this)>0)) _G.graph->next(e);
1624 if (!_G.graph->valid(e)) {
1627 while (_G.graph->valid(e) && !(_G.resCap(*this)>0)) _G.graph->next(e);
1630 operator Edge() const {
1631 return Edge(e, this->backward);
1635 using GraphWrapper<Graph>::first;
1636 // NodeIt& first(NodeIt& i) const {
1637 // i=NodeIt(*this); return i;
1639 OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {
1640 i=OutEdgeIt(*this, p); return i;
1643 InEdgeIt& first(InEdgeIt& i, const Node& p) const {
1644 i=InEdgeIt(*this, p); return i;
1646 EdgeIt& first(EdgeIt& i) const {
1647 i=EdgeIt(*this); return i;
1650 using GraphWrapper<Graph>::next;
1651 // NodeIt& next(NodeIt& n) const { GraphWrapper<Graph>::next(n); return n; }
1652 OutEdgeIt& next(OutEdgeIt& e) const {
1654 Node v=this->graph->aNode(e.out);
1655 this->graph->next(e.out);
1656 while( this->graph->valid(e.out) && !(resCap(e)>0) ) {
1657 this->graph->next(e.out); }
1658 if (!this->graph->valid(e.out)) {
1660 this->graph->first(e.in, v);
1661 while( this->graph->valid(e.in) && !(resCap(e)>0) ) {
1662 this->graph->next(e.in); }
1665 this->graph->next(e.in);
1666 while( this->graph->valid(e.in) && !(resCap(e)>0) ) {
1667 this->graph->next(e.in); }
1672 InEdgeIt& next(InEdgeIt& e) const {
1674 Node v=this->graph->aNode(e.in);
1675 this->graph->next(e.in);
1676 while( this->graph->valid(e.in) && !(resCap(e)>0) ) {
1677 this->graph->next(e.in); }
1678 if (!this->graph->valid(e.in)) {
1680 this->graph->first(e.out, v);
1681 while( this->graph->valid(e.out) && !(resCap(e)>0) ) {
1682 this->graph->next(e.out); }
1685 this->graph->next(e.out);
1686 while( this->graph->valid(e.out) && !(resCap(e)>0) ) {
1687 this->graph->next(e.out); }
1691 EdgeIt& next(EdgeIt& e) const {
1693 this->graph->next(e.e);
1694 while( this->graph->valid(e.e) && !(resCap(e)>0) ) {
1695 this->graph->next(e.e); }
1696 if (!this->graph->valid(e.e)) {
1698 this->graph->first(e.e);
1699 while( this->graph->valid(e.e) && !(resCap(e)>0) ) {
1700 this->graph->next(e.e); }
1703 this->graph->next(e.e);
1704 while( this->graph->valid(e.e) && !(resCap(e)>0) ) {
1705 this->graph->next(e.e); }
1710 Node tail(Edge e) const {
1711 return ((!e.backward) ? this->graph->tail(e) : this->graph->head(e)); }
1712 Node head(Edge e) const {
1713 return ((!e.backward) ? this->graph->head(e) : this->graph->tail(e)); }
1715 Node aNode(OutEdgeIt e) const {
1716 return ((!e.backward) ? this->graph->aNode(e.out) :
1717 this->graph->aNode(e.in)); }
1718 Node bNode(OutEdgeIt e) const {
1719 return ((!e.backward) ? this->graph->bNode(e.out) :
1720 this->graph->bNode(e.in)); }
1722 Node aNode(InEdgeIt e) const {
1723 return ((!e.backward) ? this->graph->aNode(e.in) :
1724 this->graph->aNode(e.out)); }
1725 Node bNode(InEdgeIt e) const {
1726 return ((!e.backward) ? this->graph->bNode(e.in) :
1727 this->graph->bNode(e.out)); }
1729 // int nodeNum() const { return graph->nodeNum(); }
1731 void edgeNum() const { }
1732 //int edgeNum() const { return graph->edgeNum(); }
1735 // int id(Node v) const { return graph->id(v); }
1737 bool valid(Node n) const { return GraphWrapper<Graph>::valid(n); }
1738 bool valid(Edge e) const {
1739 return this->graph->valid(e);
1740 //return e.forward ? graph->valid(e.out) : graph->valid(e.in);
1743 bool forward(const Edge& e) const { return !e.backward; }
1744 bool backward(const Edge& e) const { return e.backward; }
1746 void augment(const Edge& e, Number a) const {
1748 // flow->set(e.out, flow->get(e.out)+a);
1749 flow->set(e, (*flow)[e]+a);
1751 // flow->set(e.in, flow->get(e.in)-a);
1752 flow->set(e, (*flow)[e]-a);
1755 Number resCap(const Edge& e) const {
1757 // return (capacity->get(e.out)-flow->get(e.out));
1758 return ((*capacity)[e]-(*flow)[e]);
1760 // return (flow->get(e.in));
1761 return ((*flow)[e]);
1764 // Number resCap(typename Graph::OutEdgeIt out) const {
1765 // // return (capacity->get(out)-flow->get(out));
1766 // return ((*capacity)[out]-(*flow)[out]);
1769 // Number resCap(typename Graph::InEdgeIt in) const {
1770 // // return (flow->get(in));
1771 // return ((*flow)[in]);
1774 template <typename T>
1776 typename Graph::template EdgeMap<T> forward_map, backward_map;
1778 typedef T ValueType;
1779 typedef Edge KeyType;
1780 EdgeMap(const OldResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& _G) : forward_map(*(_G.graph)), backward_map(*(_G.graph)) { }
1781 EdgeMap(const OldResGraphWrapper<Graph, Number, CapacityMap, FlowMap>& _G, T a) : forward_map(*(_G.graph), a), backward_map(*(_G.graph), a) { }
1782 void set(Edge e, T a) {
1784 forward_map.set(e/*.out*/, a);
1786 backward_map.set(e/*.in*/, a);
1788 T operator[](Edge e) const {
1790 return forward_map[e/*.out*/];
1792 return backward_map[e/*.in*/];
1795 forward_map.update();
1796 backward_map.update();
1798 // T get(Edge e) const {
1800 // return forward_map.get(e.out);
1802 // return backward_map.get(e.in);
1809 /// For blocking flows.
1811 /// This graph wrapper is used for Dinits blocking flow computations.
1812 /// For each node, an out-edge is stored which is used when the
1814 /// OutEdgeIt& first(OutEdgeIt&, const Node&)
1818 ///\author Marton Makai
1819 template<typename Graph, typename FirstOutEdgesMap>
1820 class ErasingFirstGraphWrapper : public GraphWrapper<Graph> {
1822 typedef GraphWrapper<Graph> Parent;
1824 FirstOutEdgesMap* first_out_edges;
1826 ErasingFirstGraphWrapper(Graph& _graph,
1827 FirstOutEdgesMap& _first_out_edges) :
1828 GraphWrapper<Graph>(_graph), first_out_edges(&_first_out_edges) { }
1830 typedef typename GraphWrapper<Graph>::Node Node;
1832 // friend class GraphWrapper<Graph>;
1833 // friend class ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>;
1834 // typename Graph::NodeIt n;
1837 // NodeIt(const typename Graph::NodeIt& _n) : n(_n) { }
1838 // NodeIt(const Invalid& i) : n(i) { }
1839 // NodeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G) :
1840 // n(*(_G.graph)) { }
1841 // operator Node() const { return Node(typename Graph::Node(n)); }
1843 typedef typename GraphWrapper<Graph>::Edge Edge;
1845 friend class GraphWrapper<Graph>;
1846 friend class ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>;
1847 // typedef typename Graph::OutEdgeIt GraphOutEdgeIt;
1848 typename Graph::OutEdgeIt e;
1851 OutEdgeIt(const typename Graph::OutEdgeIt& _e) : e(_e) { }
1852 OutEdgeIt(const Invalid& i) : e(i) { }
1853 OutEdgeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G,
1855 e((*_G.first_out_edges)[_n]) { }
1856 operator Edge() const { return Edge(typename Graph::Edge(e)); }
1859 friend class GraphWrapper<Graph>;
1860 friend class ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>;
1861 // typedef typename Graph::InEdgeIt GraphInEdgeIt;
1862 typename Graph::InEdgeIt e;
1865 InEdgeIt(const typename Graph::InEdgeIt& _e) : e(_e) { }
1866 InEdgeIt(const Invalid& i) : e(i) { }
1867 InEdgeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G,
1869 e(*(_G.graph), typename Graph::Node(_n)) { }
1870 operator Edge() const { return Edge(typename Graph::Edge(e)); }
1872 //typedef typename Graph::SymEdgeIt SymEdgeIt;
1874 friend class GraphWrapper<Graph>;
1875 friend class ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>;
1876 // typedef typename Graph::EdgeIt GraphEdgeIt;
1877 typename Graph::EdgeIt e;
1880 EdgeIt(const typename Graph::EdgeIt& _e) : e(_e) { }
1881 EdgeIt(const Invalid& i) : e(i) { }
1882 EdgeIt(const ErasingFirstGraphWrapper<Graph, FirstOutEdgesMap>& _G) :
1884 operator Edge() const { return Edge(typename Graph::Edge(e)); }
1887 using GraphWrapper<Graph>::first;
1888 // NodeIt& first(NodeIt& i) const {
1889 // i=NodeIt(*this); return i;
1891 OutEdgeIt& first(OutEdgeIt& i, const Node& p) const {
1892 i=OutEdgeIt(*this, p); return i;
1894 InEdgeIt& first(InEdgeIt& i, const Node& p) const {
1895 i=InEdgeIt(*this, p); return i;
1897 EdgeIt& first(EdgeIt& i) const {
1898 i=EdgeIt(*this); return i;
1901 using GraphWrapper<Graph>::next;
1902 // NodeIt& next(NodeIt& i) const { graph->next(i.n); return i; }
1903 OutEdgeIt& next(OutEdgeIt& i) const { this->graph->next(i.e); return i; }
1904 InEdgeIt& next(InEdgeIt& i) const { this->graph->next(i.e); return i; }
1905 EdgeIt& next(EdgeIt& i) const { this->graph->next(i.e); return i; }
1907 Node aNode(const OutEdgeIt& e) const {
1908 return Node(this->graph->aNode(e.e)); }
1909 Node aNode(const InEdgeIt& e) const {
1910 return Node(this->graph->aNode(e.e)); }
1911 Node bNode(const OutEdgeIt& e) const {
1912 return Node(this->graph->bNode(e.e)); }
1913 Node bNode(const InEdgeIt& e) const {
1914 return Node(this->graph->bNode(e.e)); }
1916 void erase(const OutEdgeIt& e) const {
1919 first_out_edges->set(this->tail(e), f.e);
1927 #endif //HUGO_GRAPH_WRAPPER_H