RhodeCode

/* -*- mode: C++; indent-tabs-mode: nil; -*-

 *

 * This file is a part of LEMON, a generic C++ optimization library.

 *

 * Copyright (C) 2003-2010

 * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport

 * (Egervary Research Group on Combinatorial Optimization, EGRES).

 *

 * Permission to use, modify and distribute this software is granted

 * provided that this copyright notice appears in all copies. For

 * precise terms see the accompanying LICENSE file.

 *

 * This software is provided "AS IS" with no warranty of any kind,

 * express or implied, and with no claim as to its suitability for any

 * purpose.

 *

 */

#ifndef LEMON_HAO_ORLIN_H

#define LEMON_HAO_ORLIN_H

#include <vector>

#include <list>

#include <limits>

#include <lemon/maps.h>

#include <lemon/core.h>

#include <lemon/tolerance.h>

/// \file

/// \ingroup min_cut

/// \brief Implementation of the Hao-Orlin algorithm.

///

/// Implementation of the Hao-Orlin algorithm for finding a minimum cut

/// in a digraph.

namespace lemon {

  /// \ingroup min_cut

  ///

  /// \brief Hao-Orlin algorithm for finding a minimum cut in a digraph.

  ///

  /// This class implements the Hao-Orlin algorithm for finding a minimum

  /// value cut in a directed graph \f$D=(V,A)\f$.

  /// It takes a fixed node \f$ source \in V \f$ and

  /// consists of two phases: in the first phase it determines a

  /// minimum cut with \f$ source \f$ on the source-side (i.e. a set

  /// \f$ X\subsetneq V \f$ with \f$ source \in X \f$ and minimal outgoing

  /// capacity) and in the second phase it determines a minimum cut

  /// with \f$ source \f$ on the sink-side (i.e. a set

  /// \f$ X\subsetneq V \f$ with \f$ source \notin X \f$ and minimal outgoing

  /// capacity). Obviously, the smaller of these two cuts will be a

  /// minimum cut of \f$ D \f$. The algorithm is a modified

  /// preflow push-relabel algorithm. Our implementation calculates

  /// the minimum cut in \f$ O(n^2\sqrt{m}) \f$ time (we use the

  ///

  /// For an undirected graph you can run just the first phase of the

  /// algorithm or you can use the algorithm of Nagamochi and Ibaraki,

  /// which solves the undirected problem in \f$ O(nm + n^2 \log n) \f$

  /// time. It is implemented in the NagamochiIbaraki algorithm class.

  ///

  /// \tparam GR The type of the digraph the algorithm runs on.

  /// \tparam CAP The type of the arc map containing the capacities,

  /// which can be any numreric type. The default map type is

  /// \ref concepts::Digraph::ArcMap "GR::ArcMap<int>".

  /// \tparam TOL Tolerance class for handling inexact computations. The

  /// default tolerance type is \ref Tolerance "Tolerance<CAP::Value>".

#ifdef DOXYGEN

  template <typename GR, typename CAP, typename TOL>

#else

  template <typename GR,

            typename CAP = typename GR::template ArcMap<int>,

            typename TOL = Tolerance<typename CAP::Value> >

#endif

  class HaoOrlin {

  public:

    /// The digraph type of the algorithm

    typedef GR Digraph;

    /// The capacity map type of the algorithm

    typedef CAP CapacityMap;

    /// The tolerance type of the algorithm

    typedef TOL Tolerance;

  private:

    typedef typename CapacityMap::Value Value;

    TEMPLATE_DIGRAPH_TYPEDEFS(Digraph);

    const Digraph& _graph;

    const CapacityMap* _capacity;

    typedef typename Digraph::template ArcMap<Value> FlowMap;

    FlowMap* _flow;

    Node _source;

    int _node_num;

    // Bucketing structure

    std::vector<Node> _first, _last;

    typename Digraph::template NodeMap<Node>* _next;

    typename Digraph::template NodeMap<Node>* _prev;

    typename Digraph::template NodeMap<bool>* _active;

    typename Digraph::template NodeMap<int>* _bucket;

    std::vector<bool> _dormant;

    std::list<std::list<int> > _sets;

    std::list<int>::iterator _highest;

    typedef typename Digraph::template NodeMap<Value> ExcessMap;

    ExcessMap* _excess;

    typedef typename Digraph::template NodeMap<bool> SourceSetMap;

    SourceSetMap* _source_set;

    Value _min_cut;

    typedef typename Digraph::template NodeMap<bool> MinCutMap;

    MinCutMap* _min_cut_map;

    Tolerance _tolerance;

  public:

    /// \brief Constructor

    ///

    /// Constructor of the algorithm class.

    HaoOrlin(const Digraph& graph, const CapacityMap& capacity,

             const Tolerance& tolerance = Tolerance()) :

      _graph(graph), _capacity(&capacity), _flow(0), _source(),

      _node_num(), _first(), _last(), _next(0), _prev(0),

      _active(0), _bucket(0), _dormant(), _sets(), _highest(),

      _excess(0), _source_set(0), _min_cut(), _min_cut_map(0),

      _tolerance(tolerance) {}

    ~HaoOrlin() {

      if (_min_cut_map) {

        delete _min_cut_map;

      }

      if (_source_set) {

        delete _source_set;

      }

      if (_excess) {

        delete _excess;

      }

      if (_next) {

        delete _next;

      }

            if (!_tolerance.positive(rem)) continue;

            Node v = _graph.target(a);

            if (!(*_active)[v] && !(*_source_set)[v]) {

              activate(v);

            }

            (*_excess)[v] += rem;

            (*_flow)[a] = 0;

          }

          target = new_target;

          if ((*_active)[target]) {

            deactivate(target);

          }

          _highest = _sets.back().begin();

          while (_highest != _sets.back().end() &&

                 !(*_active)[_first[*_highest]]) {

            ++_highest;

          }

        }

      }

    }

  public:

    /// \name Execution Control

    /// The simplest way to execute the algorithm is to use

    /// one of the member functions called \ref run().

    /// \n

    /// If you need better control on the execution,

    /// you have to call one of the \ref init() functions first, then

    /// \ref calculateOut() and/or \ref calculateIn().

    /// @{

    /// \brief Initialize the internal data structures.

    ///

    /// This function initializes the internal data structures. It creates

    /// the maps and some bucket structures for the algorithm.

    /// The first node is used as the source node for the push-relabel

    /// algorithm.

    void init() {

      init(NodeIt(_graph));

    }

    /// \brief Initialize the internal data structures.

    ///

    /// This function initializes the internal data structures. It creates

    /// the maps and some bucket structures for the algorithm.

    /// The given node is used as the source node for the push-relabel

    /// algorithm.

    void init(const Node& source) {

      _source = source;

      _node_num = countNodes(_graph);

      _first.resize(_node_num);

      _last.resize(_node_num);

      _dormant.resize(_node_num);

      if (!_flow) {

        _flow = new FlowMap(_graph);

      }

      if (!_next) {

        _next = new typename Digraph::template NodeMap<Node>(_graph);

      }

      if (!_prev) {

        _prev = new typename Digraph::template NodeMap<Node>(_graph);

      }

      if (!_active) {

        _active = new typename Digraph::template NodeMap<bool>(_graph);

      }

      if (!_bucket) {

        _bucket = new typename Digraph::template NodeMap<int>(_graph);

      }

      if (!_excess) {

        _excess = new ExcessMap(_graph);

      }

      if (!_source_set) {

        _source_set = new SourceSetMap(_graph);

      }

      if (!_min_cut_map) {

        _min_cut_map = new MinCutMap(_graph);

      }

      _min_cut = std::numeric_limits<Value>::max();

    }

    /// \brief Calculate a minimum cut with \f$ source \f$ on the

    /// source-side.

    ///

    /// This function calculates a minimum cut with \f$ source \f$ on the

    /// source-side (i.e. a set \f$ X\subsetneq V \f$ with

    /// \f$ source \in X \f$ and minimal outgoing capacity).

    ///

    /// \pre \ref init() must be called before using this function.

    void calculateOut() {

      findMinCutOut();

    }

    /// \brief Calculate a minimum cut with \f$ source \f$ on the

    /// sink-side.

    ///

    /// This function calculates a minimum cut with \f$ source \f$ on the

    /// sink-side (i.e. a set \f$ X\subsetneq V \f$ with

    /// \f$ source \notin X \f$ and minimal outgoing capacity).

    ///

    /// \pre \ref init() must be called before using this function.

    void calculateIn() {

      findMinCutIn();

    }

    /// \brief Run the algorithm.

    ///

    /// and \ref calculateIn().

    void run() {

      init();

      calculateOut();

      calculateIn();

    }

    /// \brief Run the algorithm.

    ///

    void run(const Node& s) {

      init(s);

      calculateOut();

      calculateIn();

    }

    /// @}

    /// \name Query Functions

    /// The result of the %HaoOrlin algorithm

    /// can be obtained using these functions.\n

    /// \ref run(), \ref calculateOut() or \ref calculateIn()

    /// should be called before using them.

    /// @{

    /// \brief Return the value of the minimum cut.

    ///

    ///

    /// \pre \ref run(), \ref calculateOut() or \ref calculateIn()

    /// must be called before using this function.

    Value minCutValue() const {

      return _min_cut;

    }

    /// \brief Return a minimum cut.

    ///

    /// for the nodes of \f$ X \f$).

    ///

    /// \param cutMap A \ref concepts::WriteMap "writable" node map with

    /// \c bool (or convertible) value type.

    ///

    /// \return The value of the minimum cut.

    ///

    /// \pre \ref run(), \ref calculateOut() or \ref calculateIn()

    /// must be called before using this function.

    template <typename CutMap>

    Value minCutMap(CutMap& cutMap) const {

      for (NodeIt it(_graph); it != INVALID; ++it) {

        cutMap.set(it, (*_min_cut_map)[it]);

      }

      return _min_cut;

    }

    /// @}

  }; //class HaoOrlin

} //namespace lemon

#endif //LEMON_HAO_ORLIN_H