/* -*- C++ -*-

  * lemon/hypercube_graph.h - Part of LEMON, a generic C++ optimization library

  *

  * Copyright (C) 2006 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 HYPERCUBE_GRAPH_H

 #define HYPERCUBE_GRAPH_H

 #include <iostream>

 #include <vector>

 #include <lemon/invalid.h>

 #include <lemon/utility.h>

 #include <lemon/error.h>

 #include <lemon/bits/iterable_graph_extender.h>

 #include <lemon/bits/alteration_notifier.h>

 #include <lemon/bits/default_map.h>

 #include <lemon/bits/graph_extender.h>

 ///\ingroup graphs

 ///\file

 ///\brief HyperCubeGraph class.

 namespace lemon {

   /// \brief Base graph for HyperCubeGraph.

   ///

   /// Base graph for hyper-cube graph. It describes some member functions

   /// which can be used in the HyperCubeGraph.

   ///

   /// \warning Always use the HyperCubeGraph instead of this.

   /// \see HyperCubeGraph

   class HyperCubeGraphBase {

   public:

     typedef HyperCubeGraphBase Graph;

     class Node;

     class Edge;

   public:

     HyperCubeGraphBase() {}

   protected:

     /// \brief Creates a hypercube graph with the given size.

     ///

     /// Creates a hypercube graph with the given size.

     void construct(int dim) {

       _dim = dim;

       _nodeNum = 1 << dim;

     }

   public:

     typedef True NodeNumTag;

     typedef True EdgeNumTag;

     ///Number of nodes.

     int nodeNum() const { return _nodeNum; }

     ///Number of edges.

     int edgeNum() const { return _nodeNum * _dim; }

     /// Maximum node ID.

     /// Maximum node ID.

     ///\sa id(Node)

     int maxNodeId() const { return nodeNum() - 1; }

     /// Maximum edge ID.

     /// Maximum edge ID.

     ///\sa id(Edge)

     int maxEdgeId() const { return edgeNum() - 1; }

     /// \brief Gives back the source node of an edge.

     ///    

     /// Gives back the source node of an edge.

     Node source(Edge e) const {

       return e.id / _dim;

     }

     /// \brief Gives back the target node of an edge.

     ///    

     /// Gives back the target node of an edge.

     Node target(Edge e) const {

       return (e.id / _dim) ^ ( 1 << (e.id % _dim));

     }

     /// Node ID.

     /// The ID of a valid Node is a nonnegative integer not greater than

     /// \ref maxNodeId(). The range of the ID's is not surely continuous

     /// and the greatest node ID can be actually less then \ref maxNodeId().

     ///

     /// The ID of the \ref INVALID node is -1.

     ///\return The ID of the node \c v. 

     static int id(Node v) { return v.id; }

     /// Edge ID.

     /// The ID of a valid Edge is a nonnegative integer not greater than

     /// \ref maxEdgeId(). The range of the ID's is not surely continuous

     /// and the greatest edge ID can be actually less then \ref maxEdgeId().

     ///

     /// The ID of the \ref INVALID edge is -1.

     ///\return The ID of the edge \c e. 

     static int id(Edge e) { return e.id; }

     static Node nodeFromId(int id) { return Node(id);}

     static Edge edgeFromId(int id) { return Edge(id);}

     class Node {

       friend class HyperCubeGraphBase;

     protected:

       int id;

       Node(int _id) { id = _id;}

     public:

       Node() {}

       Node (Invalid) { id = -1; }

       bool operator==(const Node node) const {return id == node.id;}

       bool operator!=(const Node node) const {return id != node.id;}

       bool operator<(const Node node) const {return id < node.id;}

     };

     class Edge {

       friend class HyperCubeGraphBase;

     protected:

       int id; 

       Edge(int _id) : id(_id) {}

     public:

       Edge() { }

       Edge (Invalid) { id = -1; }

       bool operator==(const Edge edge) const {return id == edge.id;}

       bool operator!=(const Edge edge) const {return id != edge.id;}

       bool operator<(const Edge edge) const {return id < edge.id;}

     };

     void first(Node& node) const {

       node.id = nodeNum() - 1;

     }

     static void next(Node& node) {

       --node.id;

     }

     void first(Edge& edge) const {

       edge.id = edgeNum() - 1;

     }

     static void next(Edge& edge) {

       --edge.id;

     }

     void firstOut(Edge& edge, const Node& node) const {

       edge.id = node.id * _dim;

     }

     void nextOut(Edge& edge) const {

       ++edge.id;

       if (edge.id % _dim == 0) edge.id = -1;

     }

     void firstIn(Edge& edge, const Node& node) const {

       edge.id = (node.id ^ 1) * _dim;

     }

     void nextIn(Edge& edge) const {

       int cnt = edge.id % _dim;

       if ((cnt + 1) % _dim == 0) {

 	edge.id = -1;

       } else {

 	edge.id = ((edge.id / _dim) ^ ((1 << cnt) * 3)) * _dim + cnt + 1; 

       }

     }

     /// \brief Gives back the number of the dimensions.

     ///

     /// Gives back the number of the dimensions.

     int dimension() const {

       return _dim;

     }

     /// \brief Returns true if the n'th bit of the node is one.

     ///

     /// Returns true if the n'th bit of the node is one. 

     bool projection(Node node, int n) const {

       return (bool)(node.id & (1 << n));

     }

     /// \brief The dimension id of the edge.

     ///

     /// It returns the dimension id of the edge. It can

     /// be in the ${0, 1, dim-1}$ intervall.

     int dimension(Edge edge) const {

       return edge.id % _dim;

     }

     /// \brief Gives back the index of the node.

     ///

     /// Gives back the index of the node. The lower bits of the

     /// integer describe the node.

     int index(Node node) const {

       return node.id;

     }

     /// \brief Gives back the node by its index.

     ///

     ///  Gives back the node by its index.

     Node node(int index) const {

       return Node(index);

     }

   private:

     int _dim, _nodeNum;

   };

   typedef StaticMappableGraphExtender<

     IterableGraphExtender<

     AlterableGraphExtender<

     GraphExtender<

     HyperCubeGraphBase> > > > ExtendedHyperCubeGraphBase;

   /// \ingroup graphs

   ///

   /// \brief HyperCube graph class

   ///

   /// This class implements a special graph type. The nodes of the

   /// graph can be indiced with integers with at most \c dim binary length.

   /// Two nodes are connected in the graph if the indices differ only

   /// on one position in the binary form. 

   ///

   /// \note The type of the \c ids is chosen to \c int because efficiency

   /// reasons. This way the maximal dimension of this implementation

   /// is 26. 

   ///

   /// The graph type is fully conform to the \ref concept::StaticGraph

   /// concept but it does not conform to the \ref concept::UndirGraph.

   ///

   /// \see HyperCubeGraphBase

   /// \author Balazs Dezso

   class HyperCubeGraph : public ExtendedHyperCubeGraphBase {

   public:

     /// \brief Construct a graph with \c dim dimension.

     ///

     /// Construct a graph with \c dim dimension.

     HyperCubeGraph(int dim) { construct(dim); }

     /// \brief Linear combination map.

     ///

     /// It makes possible to give back a linear combination

     /// for each node. This function works like the \c std::accumulate

     /// so it accumulates the \c bf binary function with the \c fv

     /// first value. The map accumulates only on that dimensions where

     /// the node's index is one. The accumulated values should be

     /// given by the \c begin and \c end iterators and this range's length

     /// should be the dimension number of the graph.

     /// 

     /// \code

     /// const int DIM = 3;

     /// HyperCubeGraph graph(DIM);

     /// xy<double> base[DIM];

     /// for (int k = 0; k < DIM; ++k) {

     ///   base[k].x = rand() / (RAND_MAX + 1.0);

     ///   base[k].y = rand() / (RAND_MAX + 1.0);

     /// } 

     /// HyperCubeGraph::HyperMap<xy<double> > 

     ///   pos(graph, base, base + DIM, xy<double>(0.0, 0.0));

     /// \endcode

     ///

     /// \see HyperCubeGraph

     template <typename T, typename BF = std::plus<T> >

     class HyperMap {

     public:

       typedef Node Key;

       typedef T Value;

       /// \brief Constructor for HyperMap. 

       ///

       /// Construct a HyperMap for the given graph. The accumulated values 

       /// should be given by the \c begin and \c end iterators and this 

       /// range's length should be the dimension number of the graph.

       ///

       /// This function accumulates the \c bf binary function with 

       /// the \c fv first value. The map accumulates only on that dimensions 

       /// where the node's index is one.           

       template <typename It>

       HyperMap(const Graph& graph, It begin, It end, 

 		   T fv = 0.0, const BF& bf = BF()) 

 	: _graph(graph), _values(begin, end), _first_value(fv), _bin_func(bf) {

 	LEMON_ASSERT(_values.size() != graph.dimension(), 

 		     "Wrong size of dimension");

       }

       /// \brief Gives back the partial accumulated value.

       ///

       /// Gives back the partial accumulated value.

       Value operator[](Key k) const {

 	Value val = _first_value;

 	int id = _graph.index(k); 

 	int n = 0;

 	while (id != 0) {

 	  if (id & 1) {

 	    val = _bin_func(_values[n], _first_value);

 	  }

 	  id >>= 1;

 	  ++n;

 	}

 	return val;

       }

     private:

       const Graph& _graph;

       std::vector<T> _values;

       T _first_value;

       BF _bin_func;

     };    

   };

 }

 #endif