[자료구조] 힙(Heap)
힙(Heap)
힙(heap)은 최댓값 및 최솟값을 찾아내는 연산을 빠르게 하기 위해 고안된 완전이진트리(Complete binary tree)를 기본으로 한 자료구조
위키피디아 - 힙(자료구조)
완전이진트리?
마지막 두 레벨을 제외한 모든 노드의 차수가 2이며, 마지막 레벨의 노드가 왼쪽에 몰려있는 이진 트리
힙의 특징
최소 힙과 최대 힙
힙은 최소 힙과 최대 힙으로 나뉜다.
| 비교 | 최소 힙 | 최대 힙 |
|---|---|---|
| 조건 | 자식 노드의 값이 부모보다 커야한다. | 부모의 값이 자식 노드의 값보다 커야한다. |
힙의 원리
힙은 리스트(배열)로 표현될 수 있으며 각 노드의 인덱스가 index라면 왼 쪽 자식 노드의 인덱스는 index * 2 + 1, 오른 쪽 자식 노드의 인덱스는 index * 2 + 2이다.
힙은 새로운 노드를 추가할 때 힙의 마지막 위치(리스트의 끝)에 추가한 후 상향 heapify 한다.
또한 최상위 노드를 삭제할 때엔(사실 pop이라는 표현이 더 맞겠다.) 최상위 노드를 빼낸 후 마지막 노드(리스트의 마지막 인덱스의 노드)의 위치를 최상위로 옮긴 후 하향 heapify한다. 이과정에서 남은 노드중 값이 가장 큰 노드가 최상위로 올라오고, 노드는 원래 위치를 찾아간다.
상향 heapify
부모 노드와 값을 비교해 자신이 더 크다면 부모 노드와 자리를 바꾸는 작업
재귀적으로 수행되며 힙에서 가장 큰 값 N이 추가된 후 이루어지는 상향 heapify는 N의 레벨이 1씩 줄어들어 이내 1레벨에 도달하는 모습을 보여준다.
하향 heapify
왼 쪽 자식 노드와 오른 쪽 자식 노드, 그리고 자기 스스로의 값을 비교해 값이 가장 큰 노드와 자리를 바꾼다. (스스로가 가장 큰 경우 수행을 멈춘다.) 역시 재귀적으로 수행된다.
힙 구현
정수 힙 구현
번외
제네릭을 이용해 Comparable 인터페이스를 구현한 구현체들을 담는 Heap을 구현할 수 있다.