2019-02-07 00:11:13 +08:00
|
|
|
package DataStructures.Heaps;
|
2018-04-14 11:45:48 +08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Interface common to heap data structures.<br>
|
|
|
|
* <p>Heaps are tree-like data structures that allow storing elements in a specific
|
|
|
|
* way. Each node corresponds to an element and has one parent node (except for the root) and
|
|
|
|
* at most two children nodes. Every element contains a key, and those keys
|
|
|
|
* indicate how the tree shall be built. For instance, for a min-heap, the key of a node shall
|
|
|
|
* be greater than or equal to its parent's and lower than or equal to its children's (the opposite rule applies to a
|
|
|
|
* max-heap).</p>
|
|
|
|
* <p>All heap-related operations (inserting or deleting an element, extracting the min or max) are performed in
|
|
|
|
* O(log n) time.</p>
|
2019-02-06 10:13:55 +08:00
|
|
|
*
|
2018-04-14 11:45:48 +08:00
|
|
|
* @author Nicolas Renard
|
|
|
|
*/
|
|
|
|
public interface Heap {
|
2019-02-06 10:13:55 +08:00
|
|
|
|
2018-04-14 11:45:48 +08:00
|
|
|
/**
|
|
|
|
* @return the top element in the heap, the one with lowest key for min-heap or with
|
|
|
|
* the highest key for max-heap
|
2019-02-06 10:13:55 +08:00
|
|
|
* @throws EmptyHeapException if heap is empty
|
2018-04-14 11:45:48 +08:00
|
|
|
*/
|
2019-02-06 10:13:55 +08:00
|
|
|
HeapElement getElement() throws EmptyHeapException;
|
|
|
|
|
2018-04-14 11:45:48 +08:00
|
|
|
/**
|
|
|
|
* Inserts an element in the heap. Adds it to then end and toggle it until it finds its
|
|
|
|
* right position.
|
2019-02-06 10:13:55 +08:00
|
|
|
*
|
2018-04-14 11:45:48 +08:00
|
|
|
* @param element an instance of the HeapElement class.
|
|
|
|
*/
|
2019-02-06 10:13:55 +08:00
|
|
|
void insertElement(HeapElement element);
|
|
|
|
|
2018-04-14 11:45:48 +08:00
|
|
|
/**
|
|
|
|
* Delete an element in the heap.
|
2019-02-06 10:13:55 +08:00
|
|
|
*
|
2018-04-14 11:45:48 +08:00
|
|
|
* @param elementIndex int containing the position in the heap of the element to be deleted.
|
|
|
|
*/
|
2019-02-06 10:13:55 +08:00
|
|
|
void deleteElement(int elementIndex);
|
2018-04-14 11:45:48 +08:00
|
|
|
|
2019-02-06 10:13:55 +08:00
|
|
|
}
|