Class FibonacciHeapDouble<E>

java.lang.Object
org.cicirello.ds.SimpleFibonacciHeapDouble<E>
org.cicirello.ds.FibonacciHeapDouble<E>
Type Parameters:
E - The type of object contained in the FibonacciHeapDouble.
All Implemented Interfaces:
Iterable<PriorityQueueNode.Double<E>>, Collection<PriorityQueueNode.Double<E>>, Queue<PriorityQueueNode.Double<E>>, MergeablePriorityQueueDouble<E,SimpleFibonacciHeapDouble<E>>, PriorityQueueDouble<E>, Copyable<SimpleFibonacciHeapDouble<E>>

public final class FibonacciHeapDouble<E> extends SimpleFibonacciHeapDouble<E>
An implementation of a Fibonacci Heap. An instance of a FibonacciHeapDouble contains (element, priority) pairs, such that the elements are distinct. The priority values are of type double.

Origin: Fibonacci heaps were first introduced in the following article: M. L. Fredman and R. E. Tarjan (1987). Fibonacci Heaps and Their Uses in Improved Network Optimization Algorithms. Journal of the ACM, 34(3): 596-615, July 1987.

Priority order: FibonacciHeapDouble instances are created via factory methods with names beginning with create. The priority order depends upon the factory method used to create the FibonacciHeapDouble. Methods named createMinHeap produce a min heap with priority order minimum-priority-first-out. Methods named createMaxHeap produce a max heap with priority order maximum-priority-first-out.

Distinctness: The Object.hashCode() and Object.equals(java.lang.Object) methods are used to enforce distinctness, so be sure that the class of the elements properly implements these methods, or else behavior is not guaranteed.

Creating instances: To create an instance, use one of the factory methods, such as with:


 FibonacciHeapDouble<String> pq = FibonacciHeapDouble.createMinHeap();
 

Method runtimes: The asymptotic runtime of the methods of this class are as follows (where n is the current size of the heap and m is the size of a Collection parameter where relevant). Note that in many cases in this list, the runtimes are amortized time and not actual time (see a reference on Fibonacci heaps for details).

The amortized runtime of SimpleFibonacciHeapDouble.change(E, double) depends on the direction of change. If the priority is decreased for a min-heap or increased for a max-heap, the amortized runtime of SimpleFibonacciHeapDouble.change(E, double) is O(1); but if the priority is increased for a min-heap or decreased for a max-heap, then the amortized time of SimpleFibonacciHeapDouble.change(E, double) is O(lg n).

  • Method Details

    • copy

      public FibonacciHeapDouble<E> copy()
      Description copied from interface: Copyable
      Creates an identical copy of this object.
      Specified by:
      copy in interface Copyable<E>
      Overrides:
      copy in class SimpleFibonacciHeapDouble<E>
      Returns:
      an identical copy of this object.
    • createMinHeap

      public static <E> FibonacciHeapDouble<E> createMinHeap()
      Creates an empty FibonacciHeapDouble with minimum-priority-first-out priority order.
      Type Parameters:
      E - The type of elements contained in the FibonacciHeapDouble.
      Returns:
      an empty FibonacciHeapDouble with a minimum-priority-first-out priority order
    • createMinHeap

      public static <E> FibonacciHeapDouble<E> createMinHeap(Collection<PriorityQueueNode.Double<E>> initialElements)
      Creates a FibonacciHeapDouble from a collection of (element, priority) pairs, with a minimum-priority-first-out priority order.
      Type Parameters:
      E - The type of elements contained in the FibonacciHeapDouble.
      Parameters:
      initialElements - The initial collection of (element, priority) pairs.
      Returns:
      a FibonacciHeapDouble with a minimum-priority-first-out priority order
      Throws:
      IllegalArgumentException - if more than one pair in initialElements contains the same element.
    • createMaxHeap

      public static <E> FibonacciHeapDouble<E> createMaxHeap()
      Creates an empty FibonacciHeapDouble with maximum-priority-first-out priority order.
      Type Parameters:
      E - The type of elements contained in the FibonacciHeapDouble.
      Returns:
      an empty FibonacciHeapDouble with a maximum-priority-first-out priority order
    • createMaxHeap

      public static <E> FibonacciHeapDouble<E> createMaxHeap(Collection<PriorityQueueNode.Double<E>> initialElements)
      Creates a FibonacciHeapDouble from a collection of (element, priority) pairs, with a maximum-priority-first-out priority order.
      Type Parameters:
      E - The type of elements contained in the FibonacciHeapDouble.
      Parameters:
      initialElements - The initial collection of (element, priority) pairs.
      Returns:
      a FibonacciHeapDouble with a maximum-priority-first-out priority order
      Throws:
      IllegalArgumentException - if more than one pair in initialElements contains the same element.
    • add

      public boolean add(E element, double priority)
      Description copied from interface: PriorityQueueDouble
      Adds an (element, priority) pair to the priority queue with a specified priority.

      This method differs from PriorityQueueDouble.offer(Object, double) in that it throws an exception if the add fails, while the offer method instead returns false, which will occur for the class implementations that require distinct elements. For classes implementing this interface that do not require distinctness, this method should never fail.

      Specified by:
      add in interface PriorityQueueDouble<E>
      Overrides:
      add in class SimpleFibonacciHeapDouble<E>
      Parameters:
      element - The element.
      priority - The priority of the element.
      Returns:
      true if the (element, priority) pair was added.
    • add

      public boolean add(PriorityQueueNode.Double<E> pair)
      Description copied from interface: PriorityQueueDouble
      Adds an (element, priority) pair to the priority queue.

      This method differs from PriorityQueueDouble.offer(PriorityQueueNode.Double) in that it throws an exception if the add fails, while the offer method instead returns false, which will occur for the class implementations that require distinct elements. For classes implementing this interface that do not require distinctness, this method should never fail.

      Specified by:
      add in interface Collection<E>
      Specified by:
      add in interface PriorityQueueDouble<E>
      Specified by:
      add in interface Queue<E>
      Overrides:
      add in class SimpleFibonacciHeapDouble<E>
      Parameters:
      pair - The (element, priority) pair to add.
      Returns:
      true if the (element, priority) pair was added.
    • clear

      public final void clear()
      Description copied from interface: PriorityQueueDouble
      Clears the priority queue, removing all elements.
      Specified by:
      clear in interface Collection<E>
      Specified by:
      clear in interface PriorityQueueDouble<E>
    • contains

      public final boolean contains(Object o)
      Description copied from interface: PriorityQueueDouble
      Checks if this priority queue contains a given element or an (element, priority) pair with a given element.
      Specified by:
      contains in interface Collection<E>
      Specified by:
      contains in interface PriorityQueueDouble<E>
      Overrides:
      contains in class SimpleFibonacciHeapDouble<E>
      Parameters:
      o - An element or (element, priority) pair to check for containment of the element.
      Returns:
      true if and only if this priority queue contains the element.
    • containsAll

      public final boolean containsAll(Collection<?> c)
      Checks if this PriorityQueueDouble contains all elements or (element, priority) pairs from a given Collection.
      Specified by:
      containsAll in interface Collection<E>
      Specified by:
      containsAll in interface PriorityQueueDouble<E>
      Overrides:
      containsAll in class SimpleFibonacciHeapDouble<E>
      Parameters:
      c - A Collection of elements or (element, priority) pairs to check for containment.
      Returns:
      true if and only if this PriorityQueueDouble contains all of the elements or (element, priority) pairs in c.
    • merge

      public boolean merge(SimpleFibonacciHeapDouble<E> other)
      Merges another priority queue into this one, adding all of its (element, priority) pairs. This is a destructive operation with no guarantees to the state of the other priority queue upon completion. Additionally, some implementations of this method may assume that other and this do not share any elements, and the priority queue may become unstable if they do. The priority order of both priority queues must be the same (e.g., both minheaps or both maxheaps).
      Specified by:
      merge in interface MergeablePriorityQueueDouble<E,SimpleFibonacciHeapDouble<E>>
      Overrides:
      merge in class SimpleFibonacciHeapDouble<E>
      Parameters:
      other - The priority queue that you want to merge into this. Implementations need not make any guarantees as to the state of other upon completion.
      Returns:
      true if and only if this priority queue changed as a result of the merge
      Throws:
      IllegalArgumentException - if this and other have different priority-order (e.g., one is a minheap while the other is a maxheap)
    • offer

      public final boolean offer(E element, double priority)
      Description copied from interface: PriorityQueueDouble
      Adds an (element, priority) pair to the priority queue with a specified priority.
      Specified by:
      offer in interface PriorityQueueDouble<E>
      Overrides:
      offer in class SimpleFibonacciHeapDouble<E>
      Parameters:
      element - The element.
      priority - The priority of the element.
      Returns:
      true if the (element, priority) pair was added, and false otherwise such as for those implementations that enforce distinct elements. For those implementations that allow duplicate elements, this method should always return true.
    • offer

      public final boolean offer(PriorityQueueNode.Double<E> pair)
      Description copied from interface: PriorityQueueDouble
      Adds an (element, priority) pair to the priority queue.
      Specified by:
      offer in interface PriorityQueueDouble<E>
      Specified by:
      offer in interface Queue<E>
      Overrides:
      offer in class SimpleFibonacciHeapDouble<E>
      Parameters:
      pair - The (element, priority) pair to add.
      Returns:
      true if the (element, priority) pair was added, and false otherwise such as for those implementations that enforce distinct elements. For those implementations that allow duplicate elements, this method should always return true.
    • poll

      public final PriorityQueueNode.Double<E> poll()
      Description copied from interface: PriorityQueueDouble
      Removes and returns the next (element, priority) pair in priority order from this priority queue.
      Specified by:
      poll in interface PriorityQueueDouble<E>
      Specified by:
      poll in interface Queue<E>
      Returns:
      the next (element, priority) pair in priority order, or null if empty.
    • demote

      public final boolean demote(E element, double priority)
      Description copied from interface: PriorityQueueDouble
      Demotes an element relative to priority order if the element is present in the priority queue. For a min-heap, demotion means increasing the element's priority, while for a max-heap, demotion means decreasing its priority. If the element is not in the priority queue, or if its new priority is not a demotion, then this method does nothing.

      For those implementations that allow duplicate elements, this method changes the priority of only one element, without defining which is chosen when such duplicates exist.

      Specified by:
      demote in interface PriorityQueueDouble<E>
      Parameters:
      element - The element whose priority is to change.
      priority - Its new priority.
      Returns:
      true if and only if the priority queue changed as a consequence of this method call.
    • equals

      public boolean equals(Object other)
      Checks if this heap is the same as another, including the same class, and that they contain the same (element, priority) pairs as another, including the specific structure the heap, as well as that the priority order is the same.
      Specified by:
      equals in interface Collection<E>
      Overrides:
      equals in class Object
      Parameters:
      other - The other heap.
      Returns:
      true if and only if this and other contain the same (element, priority) pairs, with the same priority order.
    • hashCode

      public int hashCode()
      Computes a hashCode.
      Specified by:
      hashCode in interface Collection<E>
      Overrides:
      hashCode in class Object
      Returns:
      a hashCode
    • isEmpty

      public final boolean isEmpty()
      Description copied from interface: PriorityQueueDouble
      Checks if the priority queue is empty.
      Specified by:
      isEmpty in interface Collection<E>
      Specified by:
      isEmpty in interface PriorityQueueDouble<E>
      Returns:
      true if and only if it is empty
    • iterator

      public final Iterator<PriorityQueueNode.Double<E>> iterator()
      Description copied from interface: PriorityQueueDouble
      Returns an iterator over the (element, priority) pairs in a mostly arbitrary order (i.e., you must not assume any particular order).
      Specified by:
      iterator in interface Collection<E>
      Specified by:
      iterator in interface Iterable<E>
      Specified by:
      iterator in interface PriorityQueueDouble<E>
      Returns:
      an iterator over the (element, priority) pairs
    • peekElement

      public final E peekElement()
      Description copied from interface: PriorityQueueDouble
      Gets the next element in priority order from this priority queue, without removing it.
      Specified by:
      peekElement in interface PriorityQueueDouble<E>
      Returns:
      the next element in priority order, or null if empty.
    • peek

      public final PriorityQueueNode.Double<E> peek()
      Description copied from interface: PriorityQueueDouble
      Gets the next (element, priority) pair in priority order from this priority queue, without removing it.
      Specified by:
      peek in interface PriorityQueueDouble<E>
      Specified by:
      peek in interface Queue<E>
      Returns:
      the next (element, priority) pair in priority order, or null if empty.
    • peekPriority

      public final double peekPriority()
      Description copied from interface: PriorityQueueDouble
      Gets the priority of the next element in priority order in the priority queue.
      Specified by:
      peekPriority in interface PriorityQueueDouble<E>
      Returns:
      the priority of the next element in priority order.
    • peekPriority

      public final double peekPriority(E element)
      Description copied from interface: PriorityQueueDouble
      Gets the priority of a specified element if it is present in the priority queue. This interface does not define the behavior when the element is not present. Implementations may define the behavior when the element is not present.

      For those implementations that allow duplicate elements, it returns the priority of any one of them, without defining which is chosen.

      Specified by:
      peekPriority in interface PriorityQueueDouble<E>
      Parameters:
      element - The element whose priority is returned.
      Returns:
      the priority of a specified element.
    • pollElement

      public final E pollElement()
      Description copied from interface: PriorityQueueDouble
      Removes and returns the next element in priority order from this priority queue.
      Specified by:
      pollElement in interface PriorityQueueDouble<E>
      Returns:
      the next element in priority order, or null if empty.
    • promote

      public final boolean promote(E element, double priority)
      Description copied from interface: PriorityQueueDouble
      Promotes an element relative to priority order if the element is present in the priority queue. For a min-heap, promotion means decreasing the element's priority, while for a max-heap, promotion means increasing its priority. If the element is not in the priority queue, or if its new priority is not a promotion, then this method does nothing.

      For those implementations that allow duplicate elements, this method changes the priority of only one element, without defining which is chosen when such duplicates exist.

      Specified by:
      promote in interface PriorityQueueDouble<E>
      Parameters:
      element - The element whose priority is to change.
      priority - Its new priority.
      Returns:
      true if and only if the priority queue changed as a consequence of this method call.
    • remove

      public final boolean remove(Object o)
      Description copied from interface: PriorityQueueDouble
      Removes from this priority queue the (element, priority) pair, if present, for a specified element or element from a specified (element, priority) pair.

      For those implementations that allow duplicate elements, this method removes only one element, without defining which is chosen when such duplicates exist.

      Specified by:
      remove in interface Collection<E>
      Specified by:
      remove in interface PriorityQueueDouble<E>
      Parameters:
      o - An element or (element, priority) pair, such that element designates the desired pair to remove (note that if you pass an (element, priority) pair, only the element must match to cause removal.
      Returns:
      true if and only if an (element, priority) pair was removed as a result of this method call.
    • size

      public final int size()
      Description copied from interface: PriorityQueueDouble
      Gets the current size of the priority queue, which is the number of (element, value) pairs that it contains.
      Specified by:
      size in interface Collection<E>
      Specified by:
      size in interface PriorityQueueDouble<E>
      Returns:
      the current size of the priority queue.
    • toArray

      public final Object[] toArray()
      Description copied from interface: PriorityQueueDouble
      Returns an array containing all of the (element, priority) pairs contained in the priority queue. The order is not guaranteed. The runtime component type is Object. The priority queue does not maintain any references to the array that is returned, instead creating a new array upon each call to the toArray method. The length of the array that is returned is equal to the current PriorityQueueDouble.size() of the priority queue.
      Specified by:
      toArray in interface Collection<E>
      Specified by:
      toArray in interface PriorityQueueDouble<E>
      Returns:
      an array, whose runtime component type is Object, containing all of the (element, priority) pairs currently in the priority queue.
    • toArray

      public final <T> T[] toArray(T[] array)
      Returns an array containing all of the (element, priority) pairs contained in the priority queue. The order is not guaranteed. The runtime component type is the same as the array passed to it as a parameter. If the specified array is large enough, then it is used, otherwise a new array is allocated whose length is equal to the current PriorityQueueDouble.size() of the priority queue. If the specified array is larger than the current size() of the priority queue, the first extra cell is set to null.
      Specified by:
      toArray in interface Collection<E>
      Specified by:
      toArray in interface PriorityQueueDouble<E>
      Type Parameters:
      T - The component type of the array to contain the (element, priority) pairs
      Parameters:
      array - The array in which to place the (element, priority) pairs, if it is sufficiently large, otherwise a new array of length PriorityQueueDouble.size() is allocated of the same runtime type as array.
      Returns:
      The array in which the (element, priority) pairs have been inserted.
      Throws:
      ArrayStoreException - if the runtime component type of array is not compatible with the type of the (element, priority) pairs.
      NullPointerException - if array is null