Kopiec to drzewo binarne, w węzłach którego znajdują się elementy reprezentowanego multizbioru S i jest spełniony tzw. warunek kopca, mianowicie: jeśli węzeł x jest następnikiem węzła y, to element w węźle x jest nie większy niż element w węźle y.
Jeśli spełniony jest warunek kopca mówimy, że drzewo ma uporządkowanie kopcowe, a jego elementy zachowują porządek kopcowy. Uporządkowanie kopcowe zapewnia, iż w korzeniu drzewa znajduje się największy element (lub jeden z największych, gdy jest ich kilka), zaś na ścieżkach w drzewie, od korzenia do liścia, elementy są uporządkowane w porządku nierosnącym. i c
KOPIEC
PODSTAWY INFORMATYKI, Adrian Horzyk, http://home.agh.edu.pl/~horzyk
Wykład 6. Strona 15.
2