[Java] PriorityQueue
PriorityQueue, java.util.PriorityQueue, Java PriorityQueue, 우선순위큐, 최소힙
정의
java.util.PriorityQueue<E> 는 이진 힙 (binary heap) 기반의 Queue 구현. FIFO 가 아닌 우선순위 순서 로 원소를 꺼낸다.
기본은 min-heap, Comparable 의 자연 순서나 Comparator 로 우선순위 결정. 가장 작은 (또는 highest-priority) 원소가 head.
사용 상황
| 상황 | 이유 |
|---|---|
| Top-K 원소 추출 | O(n log k), 전체 정렬보다 효율적 |
| 작업 스케줄러 | 우선순위별 실행 순서 보장 |
| Dijkstra / A* 최단경로 | 최소 비용 노드를 O(log n) 에 꺼냄 |
| Merge K sorted lists | 각 리스트 head 를 힙에 유지 |
| 이벤트 드리븐 시뮬레이션 | 타임스탬프 기반 정렬 |
시각화
내부 구조
public class PriorityQueue<E> extends AbstractQueue<E> ... {
transient Object[] queue; // 힙을 표현하는 배열
private int size;
private final Comparator<? super E> comparator;
}
배열로 이진 힙을 표현. 인덱스 i 일 때:
- 부모:
(i - 1) / 2 - 왼쪽 자식:
2i + 1 - 오른쪽 자식:
2i + 2
배열: [1, 3, 2, 6, 5, 8, 7]
힙: 1
/ \
3 2
/ \ / \
6 5 8 7
peek (= queue[0]) 가 항상 최솟값.
offer / poll 흐름
flowchart LR
subgraph OFFER["offer(e): 삽입"]
O1["배열 끝에 추가"]
O2["sift up: 부모와 비교"]
O3{"부모 > e?"}
O4["부모와 swap"]
O5["완료"]
O1 --> O2 --> O3
O3 -->|"예"| O4 --> O2
O3 -->|"아니오"| O5
end
subgraph POLL["poll(): 최솟값 제거"]
P1["root 저장"]
P2["마지막 원소를 root로"]
P3["sift down: 더 작은 자식과 비교"]
P4{"더 작은 자식 < 현재?"}
P5["자식과 swap"]
P6["완료"]
P1 --> P2 --> P3 --> P4
P4 -->|"예"| P5 --> P3
P4 -->|"아니오"| P6
end
복잡도
| 작업 | 시간 |
|---|---|
offer(e) (add) | O(log n) (sift up) |
poll() (remove min) | O(log n) (sift down) |
peek() | O(1) |
contains | O(n) |
remove(Object) | O(n) (선형 검색 + sift) |
사용 예
최솟값 N 개 (Top-K)
PriorityQueue<Integer> minHeap = new PriorityQueue<>();
for (int x : data) {
minHeap.offer(x);
if (minHeap.size() > k) minHeap.poll(); // k 보다 크면 제거
}
// minHeap 에는 최대 k 개의 가장 큰 값들이 들어있음
O(n log k) 로 Top-K 해결. 전체 정렬 O(n log n) 보다 효율적.
max-heap 만들기
// Comparator.reverseOrder() 로 max-heap 구현
PriorityQueue<Integer> maxHeap = new PriorityQueue<>(Comparator.reverseOrder());
maxHeap.offer(3);
maxHeap.offer(1);
maxHeap.offer(5);
maxHeap.poll(); // 5 (가장 큰 값)
작업 스케줄러
PriorityQueue<Task> scheduler = new PriorityQueue<>(
Comparator.comparingInt(Task::priority).reversed() // 우선순위 높은 게 먼저
);
scheduler.offer(new Task(...));
Task next = scheduler.poll();
Dijkstra 알고리즘
PriorityQueue<int[]> pq = new PriorityQueue<>(
(a, b) -> Integer.compare(a[1], b[1]) // [node, distance]
);
pq.offer(new int[]{start, 0});
int[] dist = new int[n];
Arrays.fill(dist, Integer.MAX_VALUE);
dist[start] = 0;
while (!pq.isEmpty()) {
int[] cur = pq.poll();
int node = cur[0], d = cur[1];
if (d > dist[node]) continue; // 이미 더 짧은 경로 처리됨
for (int[] edge : graph[node]) {
int next = edge[0], cost = edge[1];
if (dist[node] + cost < dist[next]) {
dist[next] = dist[node] + cost;
pq.offer(new int[]{next, dist[next]});
}
}
}
K 개의 정렬된 배열 병합
// int[][] arrays = 정렬된 k 개의 배열
PriorityQueue<int[]> pq = new PriorityQueue<>((a, b) -> a[0] - b[0]);
// [값, 배열인덱스, 원소인덱스]
for (int i = 0; i < arrays.length; i++) {
if (arrays[i].length > 0) {
pq.offer(new int[]{arrays[i][0], i, 0});
}
}
List<Integer> result = new ArrayList<>();
while (!pq.isEmpty()) {
int[] cur = pq.poll();
result.add(cur[0]);
int ai = cur[1], ei = cur[2];
if (ei + 1 < arrays[ai].length) {
pq.offer(new int[]{arrays[ai][ei + 1], ai, ei + 1});
}
}
// O(n log k), n = 전체 원소 수
힙 정렬 (Heap Sort)
PriorityQueue 를 이용한 O(n log n) 정렬. 실용적이진 않지만 동작 원리를 이해하는 데 좋다.
static int[] heapSort(int[] arr) {
PriorityQueue<Integer> minHeap = new PriorityQueue<>();
for (int x : arr) minHeap.offer(x);
int[] result = new int[arr.length];
for (int i = 0; i < arr.length; i++) {
result[i] = minHeap.poll();
}
return result; // 오름차순 정렬
}
실무에서는
Arrays.sort()가 dual-pivot quicksort 를 써서 캐시 효율이 훨씬 좋다. 이 패턴은 알고리즘 이해용.
함정
1. 순회 순서가 정렬 순서가 아니다
PriorityQueue<Integer> pq = new PriorityQueue<>(List.of(5, 3, 8, 1));
for (Integer x : pq) System.out.print(x + " "); // 1 3 8 5 (힙 배열 순서)
원소를 정렬된 순서로 보려면 poll() 을 반복하거나 별도 정렬 필요.
2. null 비허용
pq.offer(null); // NullPointerException
3. thread-safe 가 아님
PriorityBlockingQueue 가 동시성 버전.
4. remove(Object) 는 O(n)
힙에서 임의 원소를 빠르게 찾는 방법이 없다. 빠른 remove 가 필요하면 TreeSet 또는 외부 인덱싱 자료구조.
CAUTION
Comparator 가 equals 와 일치하지 않으면 remove(Object) 가 동작하지 않을 수 있다. Comparator 가 두 원소를 “같다” 고 보더라도 equals 가 false 면 다른 객체로 취급.
5. 초기 용량과 정렬 모드
// 힙 생성 시 초기 용량 + Comparator 지정
PriorityQueue<String> pq = new PriorityQueue<>(100, Comparator.reverseOrder());
초기 용량은 힌트. 자동 grow 되지만, 대량 삽입이 예상되면 미리 지정해 reallocation 방지.
초기 데이터 일괄 삽입
// Collection 을 넘기면 O(n) heapify 로 힙 구성 (개별 offer 의 O(n log n) 보다 빠름)
List<Integer> data = List.of(5, 3, 8, 1, 9, 2);
PriorityQueue<Integer> pq = new PriorityQueue<>(data);
// pq.poll() = 1 (최솟값)
// size 힌트 없이 만들어도 내부에서 배열 grow 처리
PriorityQueue<Integer> pq2 = new PriorityQueue<>(data.size(), Comparator.reverseOrder());
pq2.addAll(data);
// pq2.poll() = 9 (최댓값)
관련 위키
이 글의 용어 (5개)
- [Java] ArrayDequejava
- 정의 는 원형 배열 (circular buffer) 기반의 구현. JDK 1.6 도입. 으로 쓰면 보다 빠르고, 로 쓰면 보다 빠르다. Stack / Queue / Deque 가…
- [Java] Collectionjava
- 정의 는 그룹으로 묶인 객체들을 표현하는 최상위 인터페이스. JCF (Java Collections Framework) 의 입구이자, / / / 모두 이를 확장한다. 자체는 직접…
- [Java] Iterablejava
- 정의 는 루프로 순회 가능한 모든 타입의 최상위 인터페이스. 단 하나의 추상 메서드, 를 정의한다. 인터페이스가 을 extends 하므로 , , , 등 모든 컬렉션이 자동으로 대…
- [Java] PriorityBlockingQueuejava
- 정의 는 의 동시성 + blocking 버전. unbounded 힙 기반 . - 원소는 (자연 순서) 또는 생성자에 전달한 로 정렬 - 은 절대 블록하지 않음 (unbounded…
- 큐 (Queue)algorithm
- 정의 큐 (Queue) 는 FIFO (First In, First Out) 순서로 원소를 관리하는 추상 자료구조입니다. (또는 ), (또는 ), 세 연산만 제공하며, 가장 먼저 …
💬 댓글