1 /* Fibonacci heap for GNU compiler.
2 Copyright (C) 1998-2018 Free Software Foundation, Inc.
3 Contributed by Daniel Berlin (dan@cgsoftware.com).
4 Re-implemented in C++ by Martin Liska <mliska@suse.cz>
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 /* Fibonacci heaps are somewhat complex, but, there's an article in
23 DDJ that explains them pretty well:
25 http://www.ddj.com/articles/1997/9701/9701o/9701o.htm?topic=algoritms
27 Introduction to algorithms by Corman and Rivest also goes over them.
29 The original paper that introduced them is "Fibonacci heaps and their
30 uses in improved network optimization algorithms" by Tarjan and
31 Fredman (JACM 34(3), July 1987).
33 Amortized and real worst case time for operations:
35 ExtractMin: O(lg n) amortized. O(n) worst case.
36 DecreaseKey: O(1) amortized. O(lg n) worst case.
37 Insert: O(1) amortized.
38 Union: O(1) amortized. */
40 #ifndef GCC_FIBONACCI_HEAP_H
41 #define GCC_FIBONACCI_HEAP_H
43 /* Forward definition. */
45 template<class K
, class V
>
48 /* Fibonacci heap node class. */
50 template<class K
, class V
>
53 typedef fibonacci_node
<K
,V
> fibonacci_node_t
;
54 friend class fibonacci_heap
<K
,V
>;
57 /* Default constructor. */
58 fibonacci_node (): m_parent (NULL
), m_child (NULL
), m_left (this),
59 m_right (this), m_degree (0), m_mark (0)
63 /* Constructor for a node with given KEY. */
64 fibonacci_node (K key
, V
*data
= NULL
): m_parent (NULL
), m_child (NULL
),
65 m_left (this), m_right (this), m_key (key
), m_data (data
),
66 m_degree (0), m_mark (0)
70 /* Compare fibonacci node with OTHER node. */
71 int compare (fibonacci_node_t
*other
)
73 if (m_key
< other
->m_key
)
75 if (m_key
> other
->m_key
)
80 /* Compare the node with a given KEY. */
81 int compare_data (K key
)
83 return fibonacci_node_t (key
).compare (this);
86 /* Remove fibonacci heap node. */
87 fibonacci_node_t
*remove ();
89 /* Link the node with PARENT. */
90 void link (fibonacci_node_t
*parent
);
92 /* Return key associated with the node. */
98 /* Return data associated with the node. */
105 /* Put node B after this node. */
106 void insert_after (fibonacci_node_t
*b
);
108 /* Insert fibonacci node B after this node. */
109 void insert_before (fibonacci_node_t
*b
)
111 m_left
->insert_after (b
);
115 fibonacci_node
*m_parent
;
117 fibonacci_node
*m_child
;
119 fibonacci_node
*m_left
;
121 fibonacci_node
*m_right
;
122 /* Key associated with node. */
124 /* Data associated with node. */
127 #if defined (__GNUC__) && (!defined (SIZEOF_INT) || SIZEOF_INT < 4)
128 /* Degree of the node. */
129 __extension__
unsigned long int m_degree
: 31;
130 /* Mark of the node. */
131 __extension__
unsigned long int m_mark
: 1;
133 /* Degree of the node. */
134 unsigned int m_degree
: 31;
135 /* Mark of the node. */
136 unsigned int m_mark
: 1;
140 /* Fibonacci heap class. */
141 template<class K
, class V
>
144 typedef fibonacci_node
<K
,V
> fibonacci_node_t
;
145 friend class fibonacci_node
<K
,V
>;
148 /* Default constructor. */
149 fibonacci_heap (K global_min_key
): m_nodes (0), m_min (NULL
), m_root (NULL
),
150 m_global_min_key (global_min_key
)
157 while (m_min
!= NULL
)
158 delete (extract_minimum_node ());
161 /* Insert new node given by KEY and DATA associated with the key. */
162 fibonacci_node_t
*insert (K key
, V
*data
);
164 /* Return true if no entry is present. */
170 /* Return the number of nodes. */
176 /* Return minimal key presented in the heap. */
185 /* For given NODE, set new KEY value. */
186 K
replace_key (fibonacci_node_t
*node
, K key
)
188 K okey
= node
->m_key
;
190 replace_key_data (node
, key
, node
->m_data
);
194 /* For given NODE, decrease value to new KEY. */
195 K
decrease_key (fibonacci_node_t
*node
, K key
)
197 gcc_assert (key
<= node
->m_key
);
198 return replace_key (node
, key
);
201 /* For given NODE, set new KEY and DATA value. */
202 V
*replace_key_data (fibonacci_node_t
*node
, K key
, V
*data
);
204 /* Extract minimum node in the heap. If RELEASE is specified,
205 memory is released. */
206 V
*extract_min (bool release
= true);
208 /* Return value associated with minimum node in the heap. */
214 return m_min
->m_data
;
217 /* Replace data associated with NODE and replace it with DATA. */
218 V
*replace_data (fibonacci_node_t
*node
, V
*data
)
220 return replace_key_data (node
, node
->m_key
, data
);
223 /* Delete NODE in the heap. */
224 V
*delete_node (fibonacci_node_t
*node
, bool release
= true);
226 /* Union the heap with HEAPB. */
227 fibonacci_heap
*union_with (fibonacci_heap
*heapb
);
230 /* Insert new NODE given by KEY and DATA associated with the key. */
231 fibonacci_node_t
*insert (fibonacci_node_t
*node
, K key
, V
*data
);
233 /* Insert new NODE that has already filled key and value. */
234 fibonacci_node_t
*insert_node (fibonacci_node_t
*node
);
236 /* Insert it into the root list. */
237 void insert_root (fibonacci_node_t
*node
);
239 /* Remove NODE from PARENT's child list. */
240 void cut (fibonacci_node_t
*node
, fibonacci_node_t
*parent
);
242 /* Process cut of node Y and do it recursivelly. */
243 void cascading_cut (fibonacci_node_t
*y
);
245 /* Extract minimum node from the heap. */
246 fibonacci_node_t
* extract_minimum_node ();
248 /* Remove root NODE from the heap. */
249 void remove_root (fibonacci_node_t
*node
);
251 /* Consolidate heap. */
254 /* Number of nodes. */
256 /* Minimum node of the heap. */
257 fibonacci_node_t
*m_min
;
258 /* Root node of the heap. */
259 fibonacci_node_t
*m_root
;
260 /* Global minimum given in the heap construction. */
264 /* Remove fibonacci heap node. */
266 template<class K
, class V
>
267 fibonacci_node
<K
,V
> *
268 fibonacci_node
<K
,V
>::remove ()
270 fibonacci_node
<K
,V
> *ret
;
277 if (m_parent
!= NULL
&& m_parent
->m_child
== this)
278 m_parent
->m_child
= ret
;
280 m_right
->m_left
= m_left
;
281 m_left
->m_right
= m_right
;
290 /* Link the node with PARENT. */
292 template<class K
, class V
>
294 fibonacci_node
<K
,V
>::link (fibonacci_node
<K
,V
> *parent
)
296 if (parent
->m_child
== NULL
)
297 parent
->m_child
= this;
299 parent
->m_child
->insert_before (this);
305 /* Put node B after this node. */
307 template<class K
, class V
>
309 fibonacci_node
<K
,V
>::insert_after (fibonacci_node
<K
,V
> *b
)
311 fibonacci_node
<K
,V
> *a
= this;
322 b
->m_right
= a
->m_right
;
323 a
->m_right
->m_left
= b
;
329 /* Insert new node given by KEY and DATA associated with the key. */
331 template<class K
, class V
>
333 fibonacci_heap
<K
,V
>::insert (K key
, V
*data
)
335 /* Create the new node. */
336 fibonacci_node
<K
,V
> *node
= new fibonacci_node_t (key
, data
);
338 return insert_node (node
);
341 /* Insert new NODE given by DATA associated with the key. */
343 template<class K
, class V
>
345 fibonacci_heap
<K
,V
>::insert (fibonacci_node_t
*node
, K key
, V
*data
)
347 /* Set the node's data. */
351 return insert_node (node
);
354 /* Insert new NODE that has already filled key and value. */
356 template<class K
, class V
>
358 fibonacci_heap
<K
,V
>::insert_node (fibonacci_node_t
*node
)
360 /* Insert it into the root list. */
363 /* If their was no minimum, or this key is less than the min,
365 if (m_min
== NULL
|| node
->m_key
< m_min
->m_key
)
373 /* For given NODE, set new KEY and DATA value. */
375 template<class K
, class V
>
377 fibonacci_heap
<K
,V
>::replace_key_data (fibonacci_node
<K
,V
> *node
, K key
,
381 fibonacci_node
<K
,V
> *y
;
382 V
*odata
= node
->m_data
;
384 /* If we wanted to, we do a real increase by redeleting and
386 if (node
->compare_data (key
) > 0)
388 delete_node (node
, false);
390 node
= new (node
) fibonacci_node_t ();
391 insert (node
, key
, data
);
401 /* Short-circuit if the key is the same, as we then don't have to
402 do anything. Except if we're trying to force the new node to
403 be the new minimum for delete. */
404 if (okey
== key
&& okey
!= m_global_min_key
)
407 /* These two compares are specifically <= 0 to make sure that in the case
408 of equality, a node we replaced the data on, becomes the new min. This
409 is needed so that delete's call to extractmin gets the right node. */
410 if (y
!= NULL
&& node
->compare (y
) <= 0)
416 if (node
->compare (m_min
) <= 0)
422 /* Extract minimum node in the heap. Delete fibonacci node if RELEASE
425 template<class K
, class V
>
427 fibonacci_heap
<K
,V
>::extract_min (bool release
)
429 fibonacci_node
<K
,V
> *z
;
432 /* If we don't have a min set, it means we have no nodes. */
435 /* Otherwise, extract the min node, free the node, and return the
437 z
= extract_minimum_node ();
447 /* Delete NODE in the heap, if RELEASE is specified memory is released. */
449 template<class K
, class V
>
451 fibonacci_heap
<K
,V
>::delete_node (fibonacci_node
<K
,V
> *node
, bool release
)
453 V
*ret
= node
->m_data
;
455 /* To perform delete, we just make it the min key, and extract. */
456 replace_key (node
, m_global_min_key
);
459 fprintf (stderr
, "Can't force minimum on fibheap.\n");
462 extract_min (release
);
467 /* Union the heap with HEAPB. One of the heaps is going to be deleted. */
469 template<class K
, class V
>
471 fibonacci_heap
<K
,V
>::union_with (fibonacci_heap
<K
,V
> *heapb
)
473 fibonacci_heap
<K
,V
> *heapa
= this;
475 fibonacci_node
<K
,V
> *a_root
, *b_root
;
477 /* If one of the heaps is empty, the union is just the other heap. */
478 if ((a_root
= heapa
->m_root
) == NULL
)
483 if ((b_root
= heapb
->m_root
) == NULL
)
489 /* Merge them to the next nodes on the opposite chain. */
490 a_root
->m_left
->m_right
= b_root
;
491 b_root
->m_left
->m_right
= a_root
;
492 std::swap (a_root
->m_left
, b_root
->m_left
);
493 heapa
->m_nodes
+= heapb
->m_nodes
;
495 /* And set the new minimum, if it's changed. */
496 if (heapb
->m_min
->compare (heapa
->m_min
) < 0)
497 heapa
->m_min
= heapb
->m_min
;
499 /* Set m_min to NULL to not to delete live fibonacci nodes. */
506 /* Insert it into the root list. */
508 template<class K
, class V
>
510 fibonacci_heap
<K
,V
>::insert_root (fibonacci_node_t
*node
)
512 /* If the heap is currently empty, the new node becomes the singleton
513 circular root list. */
518 node
->m_right
= node
;
522 /* Otherwise, insert it in the circular root list between the root
523 and it's right node. */
524 m_root
->insert_after (node
);
527 /* Remove NODE from PARENT's child list. */
529 template<class K
, class V
>
531 fibonacci_heap
<K
,V
>::cut (fibonacci_node
<K
,V
> *node
,
532 fibonacci_node
<K
,V
> *parent
)
537 node
->m_parent
= NULL
;
541 /* Process cut of node Y and do it recursivelly. */
543 template<class K
, class V
>
545 fibonacci_heap
<K
,V
>::cascading_cut (fibonacci_node
<K
,V
> *y
)
547 fibonacci_node
<K
,V
> *z
;
549 while ((z
= y
->m_parent
) != NULL
)
564 /* Extract minimum node from the heap. */
566 template<class K
, class V
>
568 fibonacci_heap
<K
,V
>::extract_minimum_node ()
570 fibonacci_node
<K
,V
> *ret
= m_min
;
571 fibonacci_node
<K
,V
> *x
, *y
, *orig
;
573 /* Attach the child list of the minimum node to the root list of the heap.
574 If there is no child list, we don't do squat. */
575 for (x
= ret
->m_child
, orig
= NULL
; x
!= orig
&& x
!= NULL
; x
= y
)
584 /* Remove the old root. */
588 /* If we are left with no nodes, then the min is NULL. */
593 /* Otherwise, consolidate to find new minimum, as well as do the reorg
594 work that needs to be done. */
595 m_min
= ret
->m_right
;
602 /* Remove root NODE from the heap. */
604 template<class K
, class V
>
606 fibonacci_heap
<K
,V
>::remove_root (fibonacci_node
<K
,V
> *node
)
608 if (node
->m_left
== node
)
611 m_root
= node
->remove ();
614 /* Consolidate heap. */
616 template<class K
, class V
>
617 void fibonacci_heap
<K
,V
>::consolidate ()
619 int D
= 1 + 8 * sizeof (long);
620 auto_vec
<fibonacci_node
<K
,V
> *> a (D
);
621 a
.safe_grow_cleared (D
);
622 fibonacci_node
<K
,V
> *w
, *x
, *y
;
625 while ((w
= m_root
) != NULL
)
633 if (x
->compare (y
) > 0)
642 for (i
= 0; i
< D
; i
++)
646 if (m_min
== NULL
|| a
[i
]->compare (m_min
) < 0)
651 #endif // GCC_FIBONACCI_HEAP_H