00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifdef HAVE_CONFIG_H
00023 #include "config.h"
00024 #endif
00025 #ifdef HAVE_LIMITS_H
00026 #include <limits.h>
00027 #endif
00028 #ifdef HAVE_STDLIB_H
00029 #include <stdlib.h>
00030 #endif
00031 #ifdef HAVE_STRING_H
00032 #include <string.h>
00033 #endif
00034 #include "libiberty.h"
00035 #include "fibheap.h"
00036
00037
00038 #define FIBHEAPKEY_MIN LONG_MIN
00039
00040 static void fibheap_ins_root PARAMS ((fibheap_t, fibnode_t));
00041 static void fibheap_rem_root PARAMS ((fibheap_t, fibnode_t));
00042 static void fibheap_consolidate PARAMS ((fibheap_t));
00043 static void fibheap_link PARAMS ((fibheap_t, fibnode_t, fibnode_t));
00044 static void fibheap_cut PARAMS ((fibheap_t, fibnode_t, fibnode_t));
00045 static void fibheap_cascading_cut PARAMS ((fibheap_t, fibnode_t));
00046 static fibnode_t fibheap_extr_min_node PARAMS ((fibheap_t));
00047 static int fibheap_compare PARAMS ((fibheap_t, fibnode_t, fibnode_t));
00048 static int fibheap_comp_data PARAMS ((fibheap_t, fibheapkey_t, void *,
00049 fibnode_t));
00050 static fibnode_t fibnode_new PARAMS ((void));
00051 static void fibnode_insert_after PARAMS ((fibnode_t, fibnode_t));
00052 #define fibnode_insert_before(a, b) fibnode_insert_after (a->left, b)
00053 static fibnode_t fibnode_remove PARAMS ((fibnode_t));
00054
00055
00056
00057 fibheap_t
00058 fibheap_new ()
00059 {
00060 return (fibheap_t) xcalloc (1, sizeof (struct fibheap));
00061 }
00062
00063
00064 static fibnode_t
00065 fibnode_new ()
00066 {
00067 fibnode_t node;
00068
00069 node = (fibnode_t) xcalloc (1, sizeof *node);
00070 node->left = node;
00071 node->right = node;
00072
00073 return node;
00074 }
00075
00076 static inline int
00077 fibheap_compare (heap, a, b)
00078 fibheap_t heap ATTRIBUTE_UNUSED;
00079 fibnode_t a;
00080 fibnode_t b;
00081 {
00082 if (a->key < b->key)
00083 return -1;
00084 if (a->key > b->key)
00085 return 1;
00086 return 0;
00087 }
00088
00089 static inline int
00090 fibheap_comp_data (heap, key, data, b)
00091 fibheap_t heap;
00092 fibheapkey_t key;
00093 void *data;
00094 fibnode_t b;
00095 {
00096 struct fibnode a;
00097
00098 a.key = key;
00099 a.data = data;
00100
00101 return fibheap_compare (heap, &a, b);
00102 }
00103
00104
00105 fibnode_t
00106 fibheap_insert (heap, key, data)
00107 fibheap_t heap;
00108 fibheapkey_t key;
00109 void *data;
00110 {
00111 fibnode_t node;
00112
00113
00114 node = fibnode_new ();
00115
00116
00117 node->data = data;
00118 node->key = key;
00119
00120
00121 fibheap_ins_root (heap, node);
00122
00123
00124
00125 if (heap->min == NULL || node->key < heap->min->key)
00126 heap->min = node;
00127
00128 heap->nodes++;
00129
00130 return node;
00131 }
00132
00133
00134 void *
00135 fibheap_min (heap)
00136 fibheap_t heap;
00137 {
00138
00139 if (heap->min == NULL)
00140 return NULL;
00141 return heap->min->data;
00142 }
00143
00144
00145 fibheapkey_t
00146 fibheap_min_key (heap)
00147 fibheap_t heap;
00148 {
00149
00150 if (heap->min == NULL)
00151 return 0;
00152 return heap->min->key;
00153 }
00154
00155
00156 fibheap_t
00157 fibheap_union (heapa, heapb)
00158 fibheap_t heapa;
00159 fibheap_t heapb;
00160 {
00161 fibnode_t a_root, b_root, temp;
00162
00163
00164 if ((a_root = heapa->root) == NULL)
00165 {
00166 free (heapa);
00167 return heapb;
00168 }
00169 if ((b_root = heapb->root) == NULL)
00170 {
00171 free (heapb);
00172 return heapa;
00173 }
00174
00175
00176 a_root->left->right = b_root;
00177 b_root->left->right = a_root;
00178 temp = a_root->left;
00179 a_root->left = b_root->left;
00180 b_root->left = temp;
00181 heapa->nodes += heapb->nodes;
00182
00183
00184 if (fibheap_compare (heapa, heapb->min, heapa->min) < 0)
00185 heapa->min = heapb->min;
00186
00187 free (heapb);
00188 return heapa;
00189 }
00190
00191
00192 void *
00193 fibheap_extract_min (heap)
00194 fibheap_t heap;
00195 {
00196 fibnode_t z;
00197 void *ret = NULL;
00198
00199
00200 if (heap->min != NULL)
00201 {
00202
00203
00204 z = fibheap_extr_min_node (heap);
00205 ret = z->data;
00206 free (z);
00207 }
00208
00209 return ret;
00210 }
00211
00212
00213 void *
00214 fibheap_replace_key_data (heap, node, key, data)
00215 fibheap_t heap;
00216 fibnode_t node;
00217 fibheapkey_t key;
00218 void *data;
00219 {
00220 void *odata;
00221 fibheapkey_t okey;
00222 fibnode_t y;
00223
00224
00225
00226
00227 if (fibheap_comp_data (heap, key, data, node) > 0)
00228 return NULL;
00229
00230 odata = node->data;
00231 okey = node->key;
00232 node->data = data;
00233 node->key = key;
00234 y = node->parent;
00235
00236 if (okey == key)
00237 return odata;
00238
00239
00240
00241
00242 if (y != NULL && fibheap_compare (heap, node, y) <= 0)
00243 {
00244 fibheap_cut (heap, node, y);
00245 fibheap_cascading_cut (heap, y);
00246 }
00247
00248 if (fibheap_compare (heap, node, heap->min) <= 0)
00249 heap->min = node;
00250
00251 return odata;
00252 }
00253
00254
00255 void *
00256 fibheap_replace_data (heap, node, data)
00257 fibheap_t heap;
00258 fibnode_t node;
00259 void *data;
00260 {
00261 return fibheap_replace_key_data (heap, node, node->key, data);
00262 }
00263
00264
00265 fibheapkey_t
00266 fibheap_replace_key (heap, node, key)
00267 fibheap_t heap;
00268 fibnode_t node;
00269 fibheapkey_t key;
00270 {
00271 int okey = node->key;
00272 fibheap_replace_key_data (heap, node, key, node->data);
00273 return okey;
00274 }
00275
00276
00277 void *
00278 fibheap_delete_node (heap, node)
00279 fibheap_t heap;
00280 fibnode_t node;
00281 {
00282 void *ret = node->data;
00283
00284
00285 fibheap_replace_key (heap, node, FIBHEAPKEY_MIN);
00286 fibheap_extract_min (heap);
00287
00288 return ret;
00289 }
00290
00291
00292 void
00293 fibheap_delete (heap)
00294 fibheap_t heap;
00295 {
00296 while (heap->min != NULL)
00297 free (fibheap_extr_min_node (heap));
00298
00299 free (heap);
00300 }
00301
00302
00303 int
00304 fibheap_empty (heap)
00305 fibheap_t heap;
00306 {
00307 return heap->nodes == 0;
00308 }
00309
00310
00311 static fibnode_t
00312 fibheap_extr_min_node (heap)
00313 fibheap_t heap;
00314 {
00315 fibnode_t ret = heap->min;
00316 fibnode_t x, y, orig;
00317
00318
00319
00320 for (x = ret->child, orig = NULL; x != orig && x != NULL; x = y)
00321 {
00322 if (orig == NULL)
00323 orig = x;
00324 y = x->right;
00325 x->parent = NULL;
00326 fibheap_ins_root (heap, x);
00327 }
00328
00329
00330 fibheap_rem_root (heap, ret);
00331 heap->nodes--;
00332
00333
00334 if (heap->nodes == 0)
00335 heap->min = NULL;
00336 else
00337 {
00338
00339
00340 heap->min = ret->right;
00341 fibheap_consolidate (heap);
00342 }
00343
00344 return ret;
00345 }
00346
00347
00348 static void
00349 fibheap_ins_root (heap, node)
00350 fibheap_t heap;
00351 fibnode_t node;
00352 {
00353
00354
00355 if (heap->root == NULL)
00356 {
00357 heap->root = node;
00358 node->left = node;
00359 node->right = node;
00360 return;
00361 }
00362
00363
00364
00365 fibnode_insert_after (heap->root, node);
00366 }
00367
00368
00369 static void
00370 fibheap_rem_root (heap, node)
00371 fibheap_t heap;
00372 fibnode_t node;
00373 {
00374 if (node->left == node)
00375 heap->root = NULL;
00376 else
00377 heap->root = fibnode_remove (node);
00378 }
00379
00380
00381 static void
00382 fibheap_consolidate (heap)
00383 fibheap_t heap;
00384 {
00385 fibnode_t a[1 + 8 * sizeof (long)];
00386 fibnode_t w;
00387 fibnode_t y;
00388 fibnode_t x;
00389 int i;
00390 int d;
00391 int D;
00392
00393 D = 1 + 8 * sizeof (long);
00394
00395 memset (a, 0, sizeof (fibnode_t) * D);
00396
00397 while ((w = heap->root) != NULL)
00398 {
00399 x = w;
00400 fibheap_rem_root (heap, w);
00401 d = x->degree;
00402 while (a[d] != NULL)
00403 {
00404 y = a[d];
00405 if (fibheap_compare (heap, x, y) > 0)
00406 {
00407 fibnode_t temp;
00408 temp = x;
00409 x = y;
00410 y = temp;
00411 }
00412 fibheap_link (heap, y, x);
00413 a[d] = NULL;
00414 d++;
00415 }
00416 a[d] = x;
00417 }
00418 heap->min = NULL;
00419 for (i = 0; i < D; i++)
00420 if (a[i] != NULL)
00421 {
00422 fibheap_ins_root (heap, a[i]);
00423 if (heap->min == NULL || fibheap_compare (heap, a[i], heap->min) < 0)
00424 heap->min = a[i];
00425 }
00426 }
00427
00428
00429 static void
00430 fibheap_link (heap, node, parent)
00431 fibheap_t heap ATTRIBUTE_UNUSED;
00432 fibnode_t node;
00433 fibnode_t parent;
00434 {
00435 if (parent->child == NULL)
00436 parent->child = node;
00437 else
00438 fibnode_insert_before (parent->child, node);
00439 node->parent = parent;
00440 parent->degree++;
00441 node->mark = 0;
00442 }
00443
00444
00445 static void
00446 fibheap_cut (heap, node, parent)
00447 fibheap_t heap;
00448 fibnode_t node;
00449 fibnode_t parent;
00450 {
00451 fibnode_remove (node);
00452 parent->degree--;
00453 fibheap_ins_root (heap, node);
00454 node->parent = NULL;
00455 node->mark = 0;
00456 }
00457
00458 static void
00459 fibheap_cascading_cut (heap, y)
00460 fibheap_t heap;
00461 fibnode_t y;
00462 {
00463 fibnode_t z;
00464
00465 while ((z = y->parent) != NULL)
00466 {
00467 if (y->mark == 0)
00468 {
00469 y->mark = 1;
00470 return;
00471 }
00472 else
00473 {
00474 fibheap_cut (heap, y, z);
00475 y = z;
00476 }
00477 }
00478 }
00479
00480 static void
00481 fibnode_insert_after (a, b)
00482 fibnode_t a;
00483 fibnode_t b;
00484 {
00485 if (a == a->right)
00486 {
00487 a->right = b;
00488 a->left = b;
00489 b->right = a;
00490 b->left = a;
00491 }
00492 else
00493 {
00494 b->right = a->right;
00495 a->right->left = b;
00496 a->right = b;
00497 b->left = a;
00498 }
00499 }
00500
00501 static fibnode_t
00502 fibnode_remove (node)
00503 fibnode_t node;
00504 {
00505 fibnode_t ret;
00506
00507 if (node == node->left)
00508 ret = NULL;
00509 else
00510 ret = node->left;
00511
00512 if (node->parent != NULL && node->parent->child == node)
00513 node->parent->child = ret;
00514
00515 node->right->left = node->left;
00516 node->left->right = node->right;
00517
00518 node->parent = NULL;
00519 node->left = node;
00520 node->right = node;
00521
00522 return ret;
00523 }