The heap data structure is a nearly complete binary tree implemented as an array. There are two types of heaps: max-heaps and min-heaps. The MAX-HEAPIFY algorithm maintains the heap property by allowing a value to "float down" the tree. BUILD-MAX-HEAP builds a max-heap by calling MAX-HEAPIFY on each node, and HEAPSORT sorts an array using the heap structure.