lemon/sub_graph.h
author kpeter
Tue, 05 Feb 2008 12:41:05 +0000
changeset 2564 3250756f5add
parent 2391 14a343be7a5a
permissions -rw-r--r--
Several doc improvements and fixes in maps.h and concepts/maps.h.
deba@1866
     1
/* -*- C++ -*-
deba@1866
     2
 *
alpar@1956
     3
 * This file is a part of LEMON, a generic C++ optimization library
alpar@1956
     4
 *
alpar@2553
     5
 * Copyright (C) 2003-2008
alpar@1956
     6
 * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
deba@1866
     7
 * (Egervary Research Group on Combinatorial Optimization, EGRES).
deba@1866
     8
 *
deba@1866
     9
 * Permission to use, modify and distribute this software is granted
deba@1866
    10
 * provided that this copyright notice appears in all copies. For
deba@1866
    11
 * precise terms see the accompanying LICENSE file.
deba@1866
    12
 *
deba@1866
    13
 * This software is provided "AS IS" with no warranty of any kind,
deba@1866
    14
 * express or implied, and with no claim as to its suitability for any
deba@1866
    15
 * purpose.
deba@1866
    16
 *
deba@1866
    17
 */
deba@1866
    18
deba@1866
    19
#ifndef LEMON_SUB_GRAPH_H
deba@1866
    20
#define LEMON_SUB_GRAPH_H
deba@1866
    21
deba@1866
    22
#include <lemon/graph_adaptor.h>
deba@1990
    23
#include <lemon/bits/graph_adaptor_extender.h>
deba@1990
    24
#include <lemon/bits/default_map.h>
deba@1866
    25
deba@2224
    26
/// \ingroup semi_adaptors
deba@2224
    27
/// \file
deba@2224
    28
/// \brief Subgraphs.
deba@2224
    29
///
deba@2224
    30
/// Graphs with filtered edge and node set.
deba@2224
    31
deba@1866
    32
namespace lemon {
deba@1866
    33
deba@1866
    34
  /// \brief Base for the SubGraph.
deba@1866
    35
  ///
deba@1866
    36
  /// Base for the SubGraph.
deba@1866
    37
  template <typename _Graph>
deba@1866
    38
  class SubGraphBase : public GraphAdaptorBase<const _Graph> {
deba@1866
    39
  public:
deba@1866
    40
    typedef _Graph Graph;
deba@1866
    41
    typedef SubGraphBase<_Graph> SubGraph;
deba@1866
    42
    typedef GraphAdaptorBase<const _Graph> Parent;
deba@1866
    43
    typedef Parent Base;
deba@1866
    44
deba@1866
    45
    typedef typename Parent::Node Node;
deba@1866
    46
    typedef typename Parent::Edge Edge;
deba@1866
    47
deba@1866
    48
deba@1866
    49
  protected:
deba@1866
    50
deba@1866
    51
    class NodesImpl;
deba@1866
    52
    class EdgesImpl;
deba@1866
    53
deba@1866
    54
    SubGraphBase() {}
deba@1866
    55
deba@1866
    56
    void construct(const Graph& _graph, NodesImpl& _nodes, EdgesImpl& _edges) {
deba@1866
    57
      Parent::setGraph(_graph);
deba@1866
    58
      nodes = &_nodes;
deba@1866
    59
      edges = &_edges;
deba@1866
    60
      firstNode = INVALID;
deba@1866
    61
deba@1866
    62
      Node node;
deba@1866
    63
      Parent::first(node);
deba@1866
    64
      while (node != INVALID) {
deba@1866
    65
	(*nodes)[node].prev = node;
deba@1866
    66
	(*nodes)[node].firstIn = INVALID;
deba@1866
    67
	(*nodes)[node].firstOut = INVALID;
deba@1866
    68
	Parent::next(node);
deba@1866
    69
      }
deba@1866
    70
deba@1866
    71
      Edge edge;
deba@1866
    72
      Parent::first(edge);
deba@1866
    73
      while (edge != INVALID) {
deba@1866
    74
	(*edges)[edge].prevOut = edge;
deba@1866
    75
	Parent::next(edge);
deba@1866
    76
      }
deba@1866
    77
    }
deba@1866
    78
deba@1866
    79
  public:
deba@1866
    80
deba@1866
    81
    void first(Node& node) const {
deba@1866
    82
      node = firstNode;
deba@1866
    83
    }
deba@1866
    84
    void next(Node& node) const {
deba@1866
    85
      node = (*nodes)[node].next;
deba@1866
    86
    }
deba@1866
    87
deba@1866
    88
    void first(Edge& edge) const {
deba@1866
    89
      Node node = firstNode;
deba@1866
    90
      while (node != INVALID && (*nodes)[node].firstOut == INVALID) {
deba@1866
    91
	node = (*nodes)[node].next;
deba@1866
    92
      }
deba@1866
    93
      if (node == INVALID) {
deba@1866
    94
	edge = INVALID;
deba@1866
    95
      } else {
deba@1866
    96
	edge = (*nodes)[node].firstOut;
deba@1866
    97
      }
deba@1866
    98
    }
deba@1866
    99
    void next(Edge& edge) const {
deba@1866
   100
      if ((*edges)[edge].nextOut != INVALID) {
deba@1866
   101
	edge = (*edges)[edge].nextOut;
deba@1866
   102
      } else {
deba@1866
   103
	Node node = (*nodes)[source(edge)].next;
deba@1866
   104
	while (node != INVALID && (*nodes)[node].firstOut == INVALID) {
deba@1866
   105
	  node = (*nodes)[node].next;
deba@1866
   106
	}
deba@1866
   107
	if (node == INVALID) {
deba@1866
   108
	  edge = INVALID;
deba@1866
   109
	} else {
deba@1866
   110
	  edge = (*nodes)[node].firstOut;
deba@1866
   111
	}
deba@1866
   112
      }
deba@1866
   113
    }
deba@1866
   114
deba@1866
   115
    void firstOut(Edge& edge, const Node& node) const {
deba@1866
   116
      edge = (*nodes)[node].firstOut;
deba@1866
   117
    }
deba@1866
   118
    void nextOut(Edge& edge) const {
deba@1866
   119
      edge = (*edges)[edge].nextOut;
deba@1866
   120
    }
deba@1866
   121
deba@1866
   122
    void firstIn(Edge& edge, const Node& node) const {
deba@1866
   123
      edge = (*nodes)[node].firstIn;
deba@1866
   124
    }
deba@1866
   125
    void nextIn(Edge& edge) const {
deba@1866
   126
      edge = (*edges)[edge].nextIn;
deba@1866
   127
    }
deba@1866
   128
deba@1866
   129
    /// \brief Returns true when the given node is hidden.
deba@1866
   130
    ///
deba@1866
   131
    /// Returns true when the given node is hidden.
deba@1866
   132
    bool hidden(const Node& node) const {
deba@1866
   133
      return (*nodes)[node].prev == node;
deba@1866
   134
    }
deba@1866
   135
deba@1866
   136
    /// \brief Hide the given node in the sub-graph.
deba@1866
   137
    ///
deba@1866
   138
    /// Hide the given node in the sub graph. It just lace out from
deba@1866
   139
    /// the linked lists the given node. If there are incoming or outgoing
deba@1866
   140
    /// edges into or from this node then all of these will be hidden.
deba@1866
   141
    void hide(const Node& node) {
deba@1866
   142
      if (hidden(node)) return;
deba@1866
   143
      Edge edge;
deba@1866
   144
      firstOut(edge, node);
deba@1866
   145
      while (edge != INVALID) {
deba@1866
   146
	hide(edge);
deba@1866
   147
	firstOut(edge, node);
deba@1866
   148
      }
deba@1866
   149
deba@1866
   150
      firstOut(edge, node);
deba@1866
   151
      while (edge != INVALID) {
deba@1866
   152
	hide(edge);
deba@1866
   153
	firstOut(edge, node);
deba@1866
   154
      }
deba@1866
   155
      if ((*nodes)[node].prev != INVALID) {
deba@1866
   156
	(*nodes)[(*nodes)[node].prev].next = (*nodes)[node].next;
deba@1866
   157
      } else {
deba@1866
   158
	firstNode = (*nodes)[node].next;
deba@1866
   159
      }
deba@1866
   160
      if ((*nodes)[node].next != INVALID) {
deba@1866
   161
	(*nodes)[(*nodes)[node].next].prev = (*nodes)[node].prev;
deba@1866
   162
      }
deba@1866
   163
      (*nodes)[node].prev = node;
deba@1866
   164
      (*nodes)[node].firstIn = INVALID;
deba@1866
   165
      (*nodes)[node].firstOut = INVALID;
deba@1866
   166
    }
deba@1866
   167
deba@1866
   168
    /// \brief Unhide the given node in the sub-graph.
deba@1866
   169
    ///
deba@1866
   170
    /// Unhide the given node in the sub graph. It just lace in the given
deba@1866
   171
    /// node into the linked lists.
deba@1866
   172
    void unHide(const Node& node) {
deba@1866
   173
      if (!hidden(node)) return;
deba@1866
   174
      (*nodes)[node].next = firstNode;
deba@1866
   175
      (*nodes)[node].prev = INVALID;
deba@1866
   176
      if ((*nodes)[node].next != INVALID) {
deba@1866
   177
	(*nodes)[(*nodes)[node].next].prev = node;
deba@1866
   178
      }
deba@1866
   179
      firstNode = node;
deba@1866
   180
    }
deba@1866
   181
deba@1866
   182
    /// \brief Returns true when the given edge is hidden.
deba@1866
   183
    ///
deba@1866
   184
    /// Returns true when the given edge is hidden.
deba@1866
   185
    bool hidden(const Edge& edge) const {
deba@1866
   186
      return (*edges)[edge].prevOut == edge;
deba@1866
   187
    }
deba@1866
   188
deba@1866
   189
    /// \brief Hide the given edge in the sub-graph.
deba@1866
   190
    ///
deba@1866
   191
    /// Hide the given edge in the sub graph. It just lace out from
deba@1866
   192
    /// the linked lists the given edge.
deba@1866
   193
    void hide(const Edge& edge) {
deba@1866
   194
      if (hidden(edge)) return;
deba@1866
   195
      if ((*edges)[edge].prevOut == edge) return;
deba@1866
   196
      if ((*edges)[edge].prevOut != INVALID) {
deba@1866
   197
	(*edges)[(*edges)[edge].prevOut].nextOut = (*edges)[edge].nextOut;
deba@1866
   198
      } else {
deba@1866
   199
	(*nodes)[source(edge)].firstOut = (*edges)[edge].nextOut;
deba@1866
   200
      }
deba@1866
   201
      if ((*edges)[edge].nextOut != INVALID) {
deba@1866
   202
	(*edges)[(*edges)[edge].nextOut].prevOut = (*edges)[edge].prevOut;
deba@1866
   203
      }
deba@1866
   204
deba@1866
   205
      if ((*edges)[edge].prevIn != INVALID) {
deba@1866
   206
	(*edges)[(*edges)[edge].prevIn].nextIn = (*edges)[edge].nextIn;
deba@1866
   207
      } else {
deba@1866
   208
	(*nodes)[target(edge)].firstIn = (*edges)[edge].nextIn;
deba@1866
   209
      }
deba@1866
   210
      if ((*edges)[edge].nextIn != INVALID) {
deba@1866
   211
	(*edges)[(*edges)[edge].nextIn].prevIn = (*edges)[edge].prevIn;
deba@1866
   212
      }
deba@1866
   213
      (*edges)[edge].next = edge;
deba@1866
   214
    }
deba@1866
   215
deba@1866
   216
    /// \brief Unhide the given edge in the sub-graph.
deba@1866
   217
    ///
deba@1866
   218
    /// Unhide the given edge in the sub graph. It just lace in the given
deba@1866
   219
    /// edge into the linked lists. If the source or the target of the
deba@1866
   220
    /// node is hidden then it will unhide it.
deba@1866
   221
    void unHide(const Edge& edge) {
deba@1866
   222
      if (!hidden(edge)) return;
deba@1866
   223
deba@1866
   224
      Node node;
deba@1866
   225
deba@1866
   226
      node = Parent::source(edge);
deba@1866
   227
      unHide(node);
deba@1866
   228
      (*edges)[edge].nextOut = (*nodes)[node].firstOut;
deba@1866
   229
      (*edges)[edge].prevOut = INVALID;
deba@1866
   230
      if ((*edges)[edge].nextOut != INVALID) {
deba@1866
   231
	(*edges)[(*edges)[edge].nextOut].prevOut = edge;
deba@1866
   232
      }
deba@1866
   233
      (*nodes)[node].firstOut = edge;
deba@1866
   234
deba@1866
   235
      node = Parent::target(edge);
deba@1866
   236
      unHide(node);
deba@1866
   237
      (*edges)[edge].nextIn = (*nodes)[node].firstIn;
deba@1866
   238
      (*edges)[edge].prevIn = INVALID;
deba@1866
   239
      if ((*edges)[edge].nextIn != INVALID) {
deba@1866
   240
	(*edges)[(*edges)[edge].nextIn].prevIn = edge;
deba@1866
   241
      }
deba@1866
   242
      (*nodes)[node].firstIn = edge;      
deba@1866
   243
    }
deba@1866
   244
    
deba@1866
   245
    typedef False NodeNumTag;
deba@1866
   246
    typedef False EdgeNumTag;
deba@1866
   247
deba@1866
   248
  protected:
deba@1866
   249
    struct NodeT {
deba@1866
   250
      Node prev, next;
deba@1866
   251
      Edge firstIn, firstOut;
deba@1866
   252
    };
deba@1990
   253
    class NodesImpl : public DefaultMap<Graph, Node, NodeT> {
deba@1866
   254
      friend class SubGraphBase;
deba@1866
   255
    public:
deba@1990
   256
      typedef DefaultMap<Graph, Node, NodeT> Parent;
deba@1866
   257
deba@1866
   258
      NodesImpl(SubGraph& _adaptor, const Graph& _graph) 
deba@1866
   259
	: Parent(_graph), adaptor(_adaptor) {}
deba@1866
   260
deba@1866
   261
      virtual ~NodesImpl() {}
deba@1866
   262
deba@1866
   263
      virtual void build() {
deba@1866
   264
	Parent::build();
deba@1866
   265
	Node node;
deba@1866
   266
	adaptor.Base::first(node);
deba@1866
   267
	while (node != INVALID) {
deba@1866
   268
	  Parent::operator[](node).prev = node;
deba@1866
   269
	  Parent::operator[](node).firstIn = INVALID;
deba@1866
   270
	  Parent::operator[](node).firstOut = INVALID;
deba@1866
   271
	  adaptor.Base::next(node);
deba@1866
   272
	}
deba@1866
   273
      }
deba@1866
   274
deba@1866
   275
      virtual void clear() {
deba@1866
   276
	adaptor.firstNode = INVALID;
deba@1866
   277
	Parent::clear();
deba@1866
   278
      }
deba@1866
   279
deba@1866
   280
      virtual void add(const Node& node) {
deba@1866
   281
	Parent::add(node);
deba@1866
   282
	Parent::operator[](node).prev = node;
deba@1866
   283
	Parent::operator[](node).firstIn = INVALID;
deba@1866
   284
	Parent::operator[](node).firstOut = INVALID;
deba@1866
   285
      }
deba@1964
   286
deba@1866
   287
      virtual void add(const std::vector<Node>& nodes) {
deba@1866
   288
	Parent::add(nodes);
deba@1866
   289
	for (int i = 0; i < (int)nodes.size(); ++i) {
deba@1866
   290
	  Parent::operator[](nodes[i]).prev = nodes[i];
deba@1866
   291
	  Parent::operator[](nodes[i]).firstIn = INVALID;
deba@1866
   292
	  Parent::operator[](nodes[i]).firstOut = INVALID;
deba@1866
   293
	}
deba@1866
   294
      } 
deba@1866
   295
deba@1866
   296
      virtual void erase(const Node& node) {
deba@1866
   297
	adaptor.hide(node);
deba@1866
   298
	Parent::erase(node);
deba@1866
   299
      }
deba@1866
   300
deba@1866
   301
      virtual void erase(const std::vector<Node>& nodes) {
deba@1866
   302
	for (int i = 0; i < (int)nodes.size(); ++i) {
deba@1866
   303
	  adaptor.hide(nodes[i]);
deba@1866
   304
	}
deba@1866
   305
	Parent::erase(nodes);
deba@1866
   306
      }
deba@1866
   307
deba@1866
   308
    private:
deba@1866
   309
      SubGraph& adaptor;
deba@1866
   310
    };
deba@1866
   311
deba@1866
   312
    struct EdgeT {
deba@1866
   313
      Edge prevOut, nextOut;
deba@1866
   314
      Edge prevIn, nextIn;
deba@1866
   315
    };
deba@1990
   316
    class EdgesImpl : public DefaultMap<Graph, Edge, EdgeT> {
deba@1866
   317
      friend class SubGraphBase;
deba@1866
   318
    public:
deba@1990
   319
      typedef DefaultMap<Graph, Edge, EdgeT> Parent;
deba@1866
   320
deba@1866
   321
      EdgesImpl(SubGraph& _adaptor, const Graph& _graph) 
deba@1866
   322
	: Parent(_graph), adaptor(_adaptor) {}
deba@1866
   323
deba@1866
   324
      virtual ~EdgesImpl() {}
deba@1866
   325
deba@1866
   326
      virtual void build() {
deba@1866
   327
	Parent::build();
deba@1866
   328
	Edge edge;
deba@1866
   329
	adaptor.Base::first(edge);
deba@1866
   330
	while (edge != INVALID) {
deba@1866
   331
	  Parent::operator[](edge).prevOut = edge;
deba@1866
   332
	  adaptor.Base::next(edge);
deba@1866
   333
	}
deba@1866
   334
      }
deba@1866
   335
deba@1866
   336
      virtual void clear() {
deba@1866
   337
	Node node;
deba@1866
   338
	adaptor.first(node);
deba@1866
   339
	while (node != INVALID) {
deba@1866
   340
	  (*adaptor.nodes).firstIn = INVALID;
deba@1866
   341
	  (*adaptor.nodes).firstOut = INVALID;
deba@1866
   342
	  adaptor.next(node);
deba@1866
   343
	}
deba@1866
   344
	Parent::clear();
deba@1866
   345
      }
deba@1866
   346
deba@1866
   347
      virtual void add(const Edge& edge) {
deba@1866
   348
	Parent::add(edge);
deba@1866
   349
	Parent::operator[](edge).prevOut = edge;
deba@1866
   350
      }
deba@1866
   351
deba@1866
   352
      virtual void add(const std::vector<Edge>& edges) {
deba@1866
   353
	Parent::add(edges);
deba@1866
   354
	for (int i = 0; i < (int)edges.size(); ++i) {
deba@1866
   355
	  Parent::operator[](edges[i]).prevOut = edges[i];
deba@1866
   356
	}
deba@1866
   357
      }
deba@1866
   358
deba@1866
   359
      virtual void erase(const Edge& edge) {
deba@1866
   360
	adaptor.hide(edge);
deba@1866
   361
	Parent::erase(edge);
deba@1866
   362
      }
deba@1866
   363
deba@1866
   364
      virtual void erase(const std::vector<Edge>& edges) {
deba@1866
   365
	for (int i = 0; i < (int)edges.size(); ++i) {
deba@1866
   366
	  adaptor.hide(edges[i]);
deba@1866
   367
	}
deba@1964
   368
	Parent::erase(edges);
deba@1866
   369
      }
deba@1866
   370
deba@1866
   371
    private:
deba@1866
   372
      SubGraph& adaptor;
deba@1866
   373
    };
deba@1866
   374
deba@1866
   375
    NodesImpl* nodes;
deba@1866
   376
    EdgesImpl* edges;
deba@1866
   377
    Node firstNode;
deba@1866
   378
  };
deba@1866
   379
deba@1866
   380
  /// \ingroup semi_adaptors
deba@1866
   381
  ///
alpar@2006
   382
  /// \brief Graph which uses a subset of another graph's nodes and edges.
deba@1866
   383
  ///
alpar@2006
   384
  /// Graph which uses a subset of another graph's nodes and edges. This class
deba@1866
   385
  /// is an alternative to the SubGraphAdaptor which is created for the
deba@1866
   386
  /// same reason. The main difference between the two class that it
deba@1866
   387
  /// makes linked lists on the unhidden nodes and edges what cause that
deba@1866
   388
  /// on sparse subgraphs the algorithms can be more efficient and some times
deba@1866
   389
  /// provide better time complexity. On other way this implemetation is
deba@1866
   390
  /// less efficient in most case when the subgraph filters out only
deba@1866
   391
  /// a few nodes or edges.
deba@1866
   392
  /// 
deba@1866
   393
  /// \see SubGraphAdaptor
deba@1866
   394
  /// \see EdgeSubGraphBase
deba@1866
   395
  template <typename Graph>
deba@1866
   396
  class SubGraph 
deba@1979
   397
    : public GraphAdaptorExtender< SubGraphBase<Graph> > {
deba@1866
   398
  public:
deba@1979
   399
    typedef GraphAdaptorExtender< SubGraphBase<Graph> > Parent;
deba@1866
   400
  public:
deba@1866
   401
    /// \brief Constructor for sub-graph.
deba@1866
   402
    ///
deba@1866
   403
    /// Constructor for sub-graph. Initially all the edges and nodes
deba@1866
   404
    /// are hidden in the graph.
deba@1866
   405
    SubGraph(const Graph& _graph) 
deba@1866
   406
      : Parent(), nodes(*this, _graph), edges(*this, _graph) { 
deba@1866
   407
      Parent::construct(_graph, nodes, edges);
deba@1866
   408
    }
deba@1866
   409
  private:
deba@1866
   410
    typename Parent::NodesImpl nodes;
deba@1866
   411
    typename Parent::EdgesImpl edges;
deba@1866
   412
  };
deba@1866
   413
deba@1866
   414
  /// \brief Base for the EdgeSubGraph.
deba@1866
   415
  ///
deba@1866
   416
  /// Base for the EdgeSubGraph.
deba@1866
   417
  template <typename _Graph>
deba@1866
   418
  class EdgeSubGraphBase : public GraphAdaptorBase<const _Graph> {
deba@1866
   419
  public:
deba@1866
   420
    typedef _Graph Graph;
deba@1866
   421
    typedef EdgeSubGraphBase<_Graph> SubGraph;
deba@1866
   422
    typedef GraphAdaptorBase<const _Graph> Parent;
deba@1866
   423
    typedef Parent Base;
deba@1866
   424
deba@1866
   425
    typedef typename Parent::Node Node;
deba@1866
   426
    typedef typename Parent::Edge Edge;
deba@1866
   427
deba@1866
   428
deba@1866
   429
  protected:
deba@1866
   430
deba@1866
   431
    class NodesImpl;
deba@1866
   432
    class EdgesImpl;
deba@1866
   433
deba@1866
   434
    EdgeSubGraphBase() {}
deba@1866
   435
deba@1866
   436
    void construct(const Graph& _graph, NodesImpl& _nodes, EdgesImpl& _edges) {
deba@1866
   437
      Parent::setGraph(_graph);
deba@1866
   438
      nodes = &_nodes;
deba@1866
   439
      edges = &_edges;
deba@1866
   440
deba@1866
   441
      Node node;
deba@1866
   442
      Parent::first(node);
deba@1866
   443
      while (node != INVALID) {
deba@1866
   444
	(*nodes)[node].firstIn = INVALID;
deba@1866
   445
	(*nodes)[node].firstOut = INVALID;
deba@1866
   446
	Parent::next(node);
deba@1866
   447
      }
deba@1866
   448
deba@1866
   449
      Edge edge;
deba@1866
   450
      Parent::first(edge);
deba@1866
   451
      while (edge != INVALID) {
deba@1866
   452
	(*edges)[edge].prevOut = edge;
deba@1866
   453
	Parent::next(edge);
deba@1866
   454
      }
deba@1866
   455
    }
deba@1866
   456
deba@1866
   457
  public:
deba@1866
   458
deba@1866
   459
    void first(Node& node) const {
deba@1866
   460
      Parent::first(node);
deba@1866
   461
    }
deba@1866
   462
    void next(Node& node) const {
deba@1866
   463
      Parent::next(node);
deba@1866
   464
    }
deba@1866
   465
deba@1866
   466
    void first(Edge& edge) const {
deba@1866
   467
      Node node;
deba@1866
   468
      Parent::first(node);
deba@1866
   469
      while (node != INVALID && (*nodes)[node].firstOut == INVALID) {
deba@1866
   470
	Parent::next(node);
deba@1866
   471
      }
deba@1866
   472
      if (node == INVALID) {
deba@1866
   473
	edge = INVALID;
deba@1866
   474
      } else {
deba@1866
   475
	edge = (*nodes)[node].firstOut;
deba@1866
   476
      }
deba@1866
   477
    }
deba@1866
   478
    void next(Edge& edge) const {
deba@1866
   479
      if ((*edges)[edge].nextOut != INVALID) {
deba@1866
   480
	edge = (*edges)[edge].nextOut;
deba@1866
   481
      } else {
deba@1866
   482
	Node node = source(edge);
deba@1866
   483
	Parent::next(node);
deba@1866
   484
	while (node != INVALID && (*nodes)[node].firstOut == INVALID) {
deba@1866
   485
	  Parent::next(node);
deba@1866
   486
	}
deba@1866
   487
	if (node == INVALID) {
deba@1866
   488
	  edge = INVALID;
deba@1866
   489
	} else {
deba@1866
   490
	  edge = (*nodes)[node].firstOut;
deba@1866
   491
	}
deba@1866
   492
      }
deba@1866
   493
    }
deba@1866
   494
deba@1866
   495
    void firstOut(Edge& edge, const Node& node) const {
deba@1866
   496
      edge = (*nodes)[node].firstOut;
deba@1866
   497
    }
deba@1866
   498
    void nextOut(Edge& edge) const {
deba@1866
   499
      edge = (*edges)[edge].nextOut;
deba@1866
   500
    }
deba@1866
   501
deba@1866
   502
    void firstIn(Edge& edge, const Node& node) const {
deba@1866
   503
      edge = (*nodes)[node].firstIn;
deba@1866
   504
    }
deba@1866
   505
    void nextIn(Edge& edge) const {
deba@1866
   506
      edge = (*edges)[edge].nextIn;
deba@1866
   507
    }
deba@1866
   508
deba@1866
   509
    /// \brief Returns true when the given edge is hidden.
deba@1866
   510
    ///
deba@1866
   511
    /// Returns true when the given edge is hidden.
deba@1866
   512
    bool hidden(const Edge& edge) const {
deba@1866
   513
      return (*edges)[edge].prevOut == edge;
deba@1866
   514
    }
deba@1866
   515
deba@1866
   516
    /// \brief Hide the given edge in the sub-graph.
deba@1866
   517
    ///
deba@1866
   518
    /// Hide the given edge in the sub graph. It just lace out from
deba@1866
   519
    /// the linked lists the given edge.
deba@1866
   520
    void hide(const Edge& edge) {
deba@1866
   521
      if (hidden(edge)) return;
deba@1866
   522
      if ((*edges)[edge].prevOut != INVALID) {
deba@1866
   523
	(*edges)[(*edges)[edge].prevOut].nextOut = (*edges)[edge].nextOut;
deba@1866
   524
      } else {
deba@1866
   525
	(*nodes)[source(edge)].firstOut = (*edges)[edge].nextOut;
deba@1866
   526
      }
deba@1866
   527
      if ((*edges)[edge].nextOut != INVALID) {
deba@1866
   528
	(*edges)[(*edges)[edge].nextOut].prevOut = (*edges)[edge].prevOut;
deba@1866
   529
      }
deba@1866
   530
deba@1866
   531
      if ((*edges)[edge].prevIn != INVALID) {
deba@1866
   532
	(*edges)[(*edges)[edge].prevIn].nextIn = (*edges)[edge].nextIn;
deba@1866
   533
      } else {
deba@1866
   534
	(*nodes)[target(edge)].firstIn = (*edges)[edge].nextIn;
deba@1866
   535
      }
deba@1866
   536
      if ((*edges)[edge].nextIn != INVALID) {
deba@1866
   537
	(*edges)[(*edges)[edge].nextIn].prevIn = (*edges)[edge].prevIn;
deba@1866
   538
      }
deba@1866
   539
      (*edges)[edge].prevOut = edge;
deba@1866
   540
    }
deba@1866
   541
deba@1866
   542
    /// \brief Unhide the given edge in the sub-graph.
deba@1866
   543
    ///
deba@1866
   544
    /// Unhide the given edge in the sub graph. It just lace in the given
deba@1866
   545
    /// edge into the linked lists.
deba@1866
   546
    void unHide(const Edge& edge) {
deba@1866
   547
      if (!hidden(edge)) return;
deba@1866
   548
      Node node;
deba@1866
   549
deba@1866
   550
      node = Parent::source(edge);
deba@1866
   551
      (*edges)[edge].nextOut = (*nodes)[node].firstOut;
deba@1866
   552
      (*edges)[edge].prevOut = INVALID;
deba@1866
   553
      if ((*edges)[edge].nextOut != INVALID) {
deba@1866
   554
	(*edges)[(*edges)[edge].nextOut].prevOut = edge;
deba@1866
   555
      }
deba@1866
   556
      (*nodes)[node].firstOut = edge;
deba@1866
   557
deba@1866
   558
      node = Parent::target(edge);
deba@1866
   559
      (*edges)[edge].nextIn = (*nodes)[node].firstIn;
deba@1866
   560
      (*edges)[edge].prevIn = INVALID;
deba@1866
   561
      if ((*edges)[edge].nextIn != INVALID) {
deba@1866
   562
	(*edges)[(*edges)[edge].nextIn].prevIn = edge;
deba@1866
   563
      }
deba@1866
   564
      (*nodes)[node].firstIn = edge;      
deba@1866
   565
    }
deba@1866
   566
    
deba@1866
   567
  protected:
deba@1866
   568
    struct NodeT {
deba@1866
   569
      Edge firstIn, firstOut;
deba@1866
   570
    };
deba@1990
   571
    class NodesImpl : public DefaultMap<Graph, Node, NodeT> {
deba@1866
   572
      friend class EdgeSubGraphBase;
deba@1866
   573
    public:
deba@1990
   574
      typedef DefaultMap<Graph, Node, NodeT> Parent;
deba@1866
   575
deba@1866
   576
      NodesImpl(SubGraph& _adaptor, const Graph& _graph) 
deba@1866
   577
	: Parent(_graph), adaptor(_adaptor) {}
deba@1866
   578
deba@1866
   579
      virtual ~NodesImpl() {}
deba@1866
   580
deba@1866
   581
      virtual void build() {
deba@1866
   582
	Parent::build();
deba@1866
   583
	Node node;
deba@1866
   584
	adaptor.Base::first(node);
deba@1866
   585
	while (node != INVALID) {
deba@1866
   586
	  Parent::operator[](node).firstIn = INVALID;
deba@1866
   587
	  Parent::operator[](node).firstOut = INVALID;
deba@1866
   588
	  adaptor.Base::next(node);
deba@1866
   589
	}
deba@1866
   590
      }
deba@1866
   591
deba@1866
   592
      virtual void add(const Node& node) {
deba@1866
   593
	Parent::add(node);
deba@1866
   594
	Parent::operator[](node).firstIn = INVALID;
deba@1866
   595
	Parent::operator[](node).firstOut = INVALID;
deba@1866
   596
      }
deba@1866
   597
deba@1964
   598
      virtual void add(const std::vector<Node>& nodes) {
deba@1964
   599
        Parent::add(nodes);
deba@1964
   600
        for (int i = 0; i < (int)nodes.size(); ++i) {
deba@1964
   601
          Parent::operator[](nodes[i]).firstIn = INVALID;
deba@1964
   602
          Parent::operator[](nodes[i]).firstOut = INVALID;
deba@1964
   603
        }
deba@1964
   604
      }
deba@1964
   605
deba@1866
   606
    private:
deba@1866
   607
      SubGraph& adaptor;
deba@1866
   608
    };
deba@1866
   609
deba@1866
   610
    struct EdgeT {
deba@1866
   611
      Edge prevOut, nextOut;
deba@1866
   612
      Edge prevIn, nextIn;
deba@1866
   613
    };
deba@1990
   614
    class EdgesImpl : public DefaultMap<Graph, Edge, EdgeT> {
deba@1866
   615
      friend class EdgeSubGraphBase;
deba@1866
   616
    public:
deba@1990
   617
      typedef DefaultMap<Graph, Edge, EdgeT> Parent;
deba@1866
   618
deba@1866
   619
      EdgesImpl(SubGraph& _adaptor, const Graph& _graph) 
deba@1866
   620
	: Parent(_graph), adaptor(_adaptor) {}
deba@1866
   621
deba@1866
   622
      virtual ~EdgesImpl() {}
deba@1866
   623
deba@1866
   624
      virtual void build() {
deba@1866
   625
	Parent::build();
deba@1866
   626
	Edge edge;
deba@1866
   627
	adaptor.Base::first(edge);
deba@1866
   628
	while (edge != INVALID) {
deba@1866
   629
	  Parent::operator[](edge).prevOut = edge;
deba@1866
   630
	  adaptor.Base::next(edge);
deba@1866
   631
	}
deba@1866
   632
      }
deba@1866
   633
deba@1866
   634
      virtual void clear() {
deba@1866
   635
	Node node;
deba@1866
   636
	adaptor.Base::first(node);
deba@1866
   637
	while (node != INVALID) {
deba@1866
   638
	  (*adaptor.nodes)[node].firstIn = INVALID;
deba@1866
   639
	  (*adaptor.nodes)[node].firstOut = INVALID;
deba@1866
   640
	  adaptor.Base::next(node);
deba@1866
   641
	}
deba@1866
   642
	Parent::clear();
deba@1866
   643
      }
deba@1866
   644
deba@1866
   645
      virtual void add(const Edge& edge) {
deba@1866
   646
	Parent::add(edge);
deba@1866
   647
	Parent::operator[](edge).prevOut = edge;
deba@1866
   648
      }
deba@1866
   649
deba@1866
   650
      virtual void add(const std::vector<Edge>& edges) {
deba@1866
   651
	Parent::add(edges);
deba@1866
   652
	for (int i = 0; i < (int)edges.size(); ++i) {
deba@1866
   653
	  Parent::operator[](edges[i]).prevOut = edges[i];
deba@1866
   654
	}
deba@1866
   655
      }
deba@1866
   656
deba@1866
   657
      virtual void erase(const Edge& edge) {
deba@1866
   658
	adaptor.hide(edge);
deba@1866
   659
	Parent::erase(edge);
deba@1866
   660
      }
deba@1866
   661
deba@1866
   662
      virtual void erase(const std::vector<Edge>& edges) {
deba@1866
   663
	for (int i = 0; i < (int)edges.size(); ++i) {
deba@1866
   664
	  adaptor.hide(edges[i]);
deba@1866
   665
	}
deba@1964
   666
	Parent::erase(edges);
deba@1866
   667
      }
deba@1866
   668
deba@1866
   669
    private:
deba@1866
   670
      SubGraph& adaptor;
deba@1866
   671
    };
deba@1866
   672
deba@1866
   673
    NodesImpl* nodes;
deba@1866
   674
    EdgesImpl* edges;
deba@1866
   675
  };
deba@1866
   676
deba@1866
   677
  /// \ingroup semi_adaptors
deba@1866
   678
  ///
alpar@2006
   679
  /// \brief Graph which uses a subset of another graph's edges.
deba@1866
   680
  ///
alpar@2006
   681
  /// Graph which uses a subset of another graph's edges. This class
deba@1866
   682
  /// is an alternative to the EdgeSubGraphAdaptor which is created for the
deba@1866
   683
  /// same reason. The main difference between the two class that it
deba@1866
   684
  /// makes linked lists on the unhidden edges what cause that
deba@1866
   685
  /// on sparse subgraphs the algorithms can be more efficient and some times
deba@1866
   686
  /// provide better time complexity. On other way this implemetation is
deba@1866
   687
  /// less efficient in most case when the subgraph filters out only
deba@1866
   688
  /// a few edges.
deba@1866
   689
  /// 
deba@1866
   690
  /// \see EdgeSubGraphAdaptor
deba@1866
   691
  /// \see EdgeSubGraphBase
deba@1866
   692
  template <typename Graph>
deba@1866
   693
  class EdgeSubGraph 
deba@1979
   694
    : public GraphAdaptorExtender< EdgeSubGraphBase<Graph> > {
deba@1866
   695
  public:
deba@1979
   696
    typedef GraphAdaptorExtender< EdgeSubGraphBase<Graph> > Parent;
deba@1866
   697
  public:
deba@1866
   698
    /// \brief Constructor for sub-graph.
deba@1866
   699
    ///
deba@1866
   700
    /// Constructor for sub-graph. Initially all the edges are hidden in the 
deba@1866
   701
    /// graph.
deba@1866
   702
    EdgeSubGraph(const Graph& _graph) 
deba@1866
   703
      : Parent(), nodes(*this, _graph), edges(*this, _graph) { 
deba@1866
   704
      Parent::construct(_graph, nodes, edges);
deba@1866
   705
    }
deba@1866
   706
  private:
deba@1866
   707
    typename Parent::NodesImpl nodes;
deba@1866
   708
    typename Parent::EdgesImpl edges;
deba@1866
   709
  };
deba@1866
   710
deba@1866
   711
deba@1866
   712
//   template<typename Graph, typename Number, 
deba@1866
   713
// 	   typename CapacityMap, typename FlowMap>
deba@1866
   714
//   class ResGraph
deba@1866
   715
//     : public IterableGraphExtender<EdgeSubGraphBase<
klao@1909
   716
//     UGraphAdaptor<Graph> > > {
deba@1866
   717
//   public:
deba@1866
   718
//     typedef IterableGraphExtender<EdgeSubGraphBase<
klao@1909
   719
//       UGraphAdaptor<Graph> > > Parent;
deba@1866
   720
deba@1866
   721
//   protected:
klao@1909
   722
//     UGraphAdaptor<Graph> u;
deba@1866
   723
deba@1866
   724
//     const CapacityMap* capacity;
deba@1866
   725
//     FlowMap* flow;
deba@1866
   726
deba@1866
   727
//     typename Parent::NodesImpl nodes;
deba@1866
   728
//     typename Parent::EdgesImpl edges;
deba@1866
   729
deba@1866
   730
//     void setCapacityMap(const CapacityMap& _capacity) {
deba@1866
   731
//       capacity=&_capacity;
deba@1866
   732
//     }
deba@1866
   733
deba@1866
   734
//     void setFlowMap(FlowMap& _flow) {
deba@1866
   735
//       flow=&_flow;
deba@1866
   736
//     }
deba@1866
   737
deba@1866
   738
//   public:
deba@1866
   739
klao@1909
   740
//     typedef typename UGraphAdaptor<Graph>::Node Node;
klao@1909
   741
//     typedef typename UGraphAdaptor<Graph>::Edge Edge;
klao@1909
   742
//     typedef typename UGraphAdaptor<Graph>::UEdge UEdge;
deba@1866
   743
deba@1866
   744
//     ResGraphAdaptor(Graph& _graph, 
deba@1866
   745
// 		    const CapacityMap& _capacity, FlowMap& _flow) 
klao@1909
   746
//       : Parent(), u(_graph), capacity(&_capacity), flow(&_flow),
deba@1866
   747
// 	nodes(*this, _graph), edges(*this, _graph) {
klao@1909
   748
//       Parent::construct(u, nodes, edges);
deba@1866
   749
//       setFlowMap(_flow);
deba@1866
   750
//       setCapacityMap(_capacity);
deba@1866
   751
//       typename Graph::Edge edge; 
deba@1866
   752
//       for (_graph.first(edge); edge != INVALID; _graph.next(edge)) {
deba@1866
   753
// 	if ((*flow)[edge] != (*capacity)[edge]) {
deba@1866
   754
// 	  Parent::unHide(direct(edge, true));
deba@1866
   755
// 	}
deba@1866
   756
// 	if ((*flow)[edge] != 0) {
deba@1866
   757
// 	  Parent::unHide(direct(edge, false));
deba@1866
   758
// 	}
deba@1866
   759
//       }
deba@1866
   760
//     }
deba@1866
   761
deba@1866
   762
//     void augment(const Edge& e, Number a) {
deba@1866
   763
//       if (direction(e)) {
deba@1866
   764
// 	flow->set(e, (*flow)[e]+a);
deba@1866
   765
//       } else { 
deba@1866
   766
// 	flow->set(e, (*flow)[e]-a);
deba@1866
   767
//       }
deba@1866
   768
//       if ((*flow)[e] == (*capacity)[e]) {
deba@1866
   769
// 	Parent::hide(e);
deba@1866
   770
//       } else {
deba@1866
   771
// 	Parent::unHide(e);
deba@1866
   772
//       }
deba@1866
   773
//       if ((*flow)[e] == 0) {
deba@1866
   774
// 	Parent::hide(oppositeEdge(e));
deba@1866
   775
//       } else {
deba@1866
   776
// 	Parent::unHide(oppositeEdge(e));
deba@1866
   777
//       }
deba@1866
   778
//     }
deba@1866
   779
deba@1866
   780
//     Number resCap(const Edge& e) {
deba@1866
   781
//       if (direction(e)) { 
deba@1866
   782
// 	return (*capacity)[e]-(*flow)[e]; 
deba@1866
   783
//       } else { 
deba@1866
   784
// 	return (*flow)[e];
deba@1866
   785
//       }
deba@1866
   786
//     }
deba@1866
   787
    
deba@1866
   788
//     bool direction(const Edge& edge) const {
deba@1866
   789
//       return Parent::getGraph().direction(edge);
deba@1866
   790
//     }
deba@1866
   791
klao@1909
   792
//     Edge direct(const UEdge& edge, bool direction) const {
deba@1866
   793
//       return Parent::getGraph().direct(edge, direction);
deba@1866
   794
//     }
deba@1866
   795
klao@1909
   796
//     Edge direct(const UEdge& edge, const Node& node) const {
deba@1866
   797
//       return Parent::getGraph().direct(edge, node);
deba@1866
   798
//     }
deba@1866
   799
deba@1866
   800
//     Edge oppositeEdge(const Edge& edge) const {
deba@1866
   801
//       return Parent::getGraph().oppositeEdge(edge);
deba@1866
   802
//     }
deba@1866
   803
deba@1866
   804
//     /// \brief Residual capacity map.
deba@1866
   805
//     ///
deba@1866
   806
//     /// In generic residual graphs the residual capacity can be obtained 
deba@1866
   807
//     /// as a map. 
deba@1866
   808
//     class ResCap {
deba@1866
   809
//     protected:
deba@1866
   810
//       const ResGraphAdaptor* res_graph;
deba@1866
   811
//     public:
deba@1866
   812
//       typedef Number Value;
deba@1866
   813
//       typedef Edge Key;
deba@1866
   814
//       ResCap(const ResGraphAdaptor& _res_graph) 
deba@1866
   815
// 	: res_graph(&_res_graph) {}
deba@1866
   816
//       Number operator[](const Edge& e) const {
deba@1866
   817
// 	return res_graph->resCap(e);
deba@1866
   818
//       }
deba@1866
   819
//     };
deba@1866
   820
//   };
deba@1866
   821
deba@1866
   822
}
deba@1866
   823
deba@1866
   824
#endif