// -*- C++ -*-

 /*

  *template <typename Item, 

  *          typename Prio, 

  *          typename ItemIntMap, 

  *          typename Compare = std::less<Prio> >

  * 

  *constructors:

  *

  *FibHeap(ItemIntMap),   FibHeap(ItemIntMap, Compare)

  *

  *Member functions:

  *

  *int size() : returns the number of elements in the heap

  *

  *bool empty() : true iff size()=0

  *

  *void set(Item, Prio) : calls push(Item, Prio) if Item is not

  *     in the heap, and calls decrease/increase(Item, Prio) otherwise

  *

  *void push(Item, Prio) : pushes Item to the heap with priority Prio. Item

  *     mustn't be in the heap.

  *

  *Item top() : returns the Item with least Prio

  *

  *Prio prio() : returns the least Prio

  *  

  *Prio get(Item) : returns Prio of Item

  *

  *void pop() : deletes the Item with least Prio

  *

  *void erase(Item) : deletes Item from the heap if it was already there

  *

  *void decrease(Item, P) : decreases prio of Item to P. 

  *     Item must be in the heap with prio at least P.

  *

  *void increase(Item, P) : sets prio of Item to P. 

  *

  *state_enum state(Item) : returns PRE_HEAP if Item has not been in the 

  *     heap until now, IN_HEAP if it is in the heap at the moment, and 

  *     POST_HEAP otherwise. In the latter case it is possible that Item

  *     will get back to the heap again. 

  *

  *In Fibonacci heaps, increase and erase are not efficient, in case of

  *many calls to these operations, it is better to use bin_heap.

  */

 #ifndef FIB_HEAP_H

 #define FIB_HEAP_H

 #include <vector>

 #include <functional>

 #include <math.h>

 namespace hugo {

   template <typename Item, typename Prio, typename ItemIntMap, 

     typename Compare = std::less<Prio> >

   class FibHeap {

     typedef Prio PrioType;

     class store;

     std::vector<store> container;

     int minimum;

     bool blank;

     ItemIntMap &iimap;

     Compare comp;

     enum state_enum {

       IN_HEAP = 0,

       PRE_HEAP = -1,

       POST_HEAP = -2

     };

   public :

     FibHeap(ItemIntMap &_iimap) : minimum(), blank(true), iimap(_iimap) {} 

     FibHeap(ItemIntMap &_iimap, const Compare &_comp) : minimum(), 

       blank(true), iimap(_iimap), comp(_comp) {}

     int size() const {

       int s=0;

       for ( unsigned int i=0; i!=container.size(); ++i )

 	if ( container[i].in ) ++s;

       return s; 

     }

     bool empty() const { return blank; }

     void set (Item const it, PrioType const value) {

       int i=iimap.get(it);

       if ( i >= 0 && container[i].in ) {

 	if ( !comp(container[i].prio, value) ) decrease(it, value); 

 	if ( comp(container[i].prio, value) ) increase(it, value); 

       } else push(it, value);

     }

     void push (Item const it, PrioType const value) {

       int i=iimap.get(it);      

       if ( i < 0 ) {

 	int s=container.size();

 	iimap.set( it, s );	

 	store st;

 	st.name=it;

 	container.push_back(st);

 	i=s;

       } else {

 	container[i].parent=container[i].child=-1;

 	container[i].degree=0;

 	container[i].in=true;

 	container[i].marked=false;

       }

       if ( !blank ) {

 	container[container[minimum].right_neighbor].left_neighbor=i;

 	container[i].right_neighbor=container[minimum].right_neighbor;

 	container[minimum].right_neighbor=i;

 	container[i].left_neighbor=minimum;

 	if ( !comp( container[minimum].prio, value) ) minimum=i; 

       } else {

 	container[i].right_neighbor=container[i].left_neighbor=i;

 	minimum=i;	

 	blank=false;

       }

       container[i].prio=value;

     }

     Item top() const {

       if ( !blank ) { 

 	return container[minimum].name;

       } else {

 	return Item();

       }

     }

     PrioType prio() const {

       if ( !blank ) { 

 	return container[minimum].prio;

       } else {

 	return PrioType();

       }

     }

     const PrioType get(const Item& it) const {

       int i=iimap.get(it);

       if ( i >= 0 && container[i].in ) { 

 	return container[i].prio;

       } else {

 	return PrioType();

       }

     }

     void pop() {

       /*The first case is that there are only one root.*/

       if ( container[minimum].left_neighbor==minimum ) {

 	container[minimum].in=false;

 	if ( container[minimum].degree==0 ) blank=true; 

 	else { 

 	  makeroot(container[minimum].child);

 	  minimum=container[minimum].child;

 	  balance();

 	} 

       } else {

 	int right=container[minimum].right_neighbor;

 	unlace(minimum);

 	container[minimum].in=false;

 	if ( container[minimum].degree > 0 ) {

 	  int left=container[minimum].left_neighbor;

 	  int child=container[minimum].child;

 	  int last_child=container[child].left_neighbor;

 	  makeroot(child);

 	  container[left].right_neighbor=child;

 	  container[child].left_neighbor=left;

 	  container[right].left_neighbor=last_child;

 	  container[last_child].right_neighbor=right;

 	}

 	minimum=right;

 	balance();

       } // the case where there are more roots

     }

     void erase (const Item& it) {

       int i=iimap.get(it);

       if ( i >= 0 && container[i].in ) { 

        if ( container[i].parent!=-1 ) {

 	 int p=container[i].parent;

 	 cut(i,p);	    

 	 cascade(p);

 	 minimum=i;     //As if its prio would be -infinity

        }

        pop();

      }

    }

     void decrease (Item it, PrioType const value) {

       int i=iimap.get(it);

       container[i].prio=value;

       int p=container[i].parent;

       if ( p!=-1 && comp(value, container[p].prio) ) {

 	cut(i,p);	    

 	cascade(p);

 	if ( comp(value, container[minimum].prio) ) minimum=i; 

       }

     }

     void increase (Item it, PrioType const value) {

       erase(it);

       push(it, value);

     }

     state_enum state(const Item &it) const {

       int i=iimap.get(it);

       if( i>=0 ) {

 	if ( container[i].in ) i=0;

 	else i=-2; 

       }

       return state_enum(i);

     }

   private:

     void balance() {      

     int maxdeg=int( floor( 2.08*log(double(container.size()))))+1;

     std::vector<int> A(maxdeg,-1); 

     /*

      *Recall that now minimum does not point to the minimum prio element.

      *We set minimum to this during balance().

      */

     int anchor=container[minimum].left_neighbor; 

     int next=minimum; 

     bool end=false; 

        do {

 	int active=next;

 	if ( anchor==active ) end=true;

 	int d=container[active].degree;

 	next=container[active].right_neighbor;

 	while (A[d]!=-1) {	  

 	  if( comp(container[active].prio, container[A[d]].prio) ) {

 	    fuse(active,A[d]); 

 	  } else { 

 	    fuse(A[d],active);

 	    active=A[d];

 	  } 

 	  A[d]=-1;

 	  ++d;

 	}	

 	A[d]=active;

        } while ( !end );

        while ( container[minimum].parent >=0 ) minimum=container[minimum].parent;

        int s=minimum;

        int m=minimum;

        do {  

 	 if ( comp(container[s].prio, container[minimum].prio) ) minimum=s;

 	 s=container[s].right_neighbor;

        } while ( s != m );

     }

     void makeroot (int c) {

       int s=c;

       do {  

 	container[s].parent=-1;

 	s=container[s].right_neighbor;

       } while ( s != c );

     }

     void cut (int a, int b) {    

       /*

        *Replacing a from the children of b.

        */

       --container[b].degree;

       if ( container[b].degree !=0 ) {

 	int child=container[b].child;

 	if ( child==a ) 

 	  container[b].child=container[child].right_neighbor;

 	unlace(a);

       }

       /*Lacing i to the roots.*/

       int right=container[minimum].right_neighbor;

       container[minimum].right_neighbor=a;

       container[a].left_neighbor=minimum;

       container[a].right_neighbor=right;

       container[right].left_neighbor=a;

       container[a].parent=-1;

       container[a].marked=false;

     }

     void cascade (int a) 

     {

       if ( container[a].parent!=-1 ) {

 	int p=container[a].parent;

 	if ( container[a].marked==false ) container[a].marked=true;

 	else {

 	  cut(a,p);

 	  cascade(p);

 	}

       }

     }

     void fuse (int a, int b) {

       unlace(b);

       /*Lacing b under a.*/

       container[b].parent=a;

       if (container[a].degree==0) {

 	container[b].left_neighbor=b;

 	container[b].right_neighbor=b;

 	container[a].child=b;	

       } else {

 	int child=container[a].child;

 	int last_child=container[child].left_neighbor;

 	container[child].left_neighbor=b;

 	container[b].right_neighbor=child;

 	container[last_child].right_neighbor=b;

 	container[b].left_neighbor=last_child;

       }

       ++container[a].degree;

       container[b].marked=false;

     }

     /*

      *It is invoked only if a has siblings.

      */

     void unlace (int a) {      

       int leftn=container[a].left_neighbor;

       int rightn=container[a].right_neighbor;

       container[leftn].right_neighbor=rightn;

       container[rightn].left_neighbor=leftn;

     }

     class store {

       friend class FibHeap;

       Item name;

       int parent;

       int left_neighbor;

       int right_neighbor;

       int child;

       int degree;  

       bool marked;

       bool in;

       PrioType prio;

       store() : parent(-1), child(-1), degree(), marked(false), in(true) {} 

     };

   };

 } //namespace hugo

 #endif