-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathIndexMinPQ.h
319 lines (293 loc) · 10.7 KB
/
IndexMinPQ.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
#ifndef CH2_INDEXMINPQ_H
#define CH2_INDEXMINPQ_H
#include <vector>
#include <stdexcept>
#include <memory>
using std::vector;
using std::runtime_error;
using std::unique_ptr;
using std::make_unique;
/**
* The {@code IndexMinPQ} class represents an indexed priority queue of generic keys.
* It supports the usual <em>insert</em> and <em>delete-the-minimum</em>
* operations, along with <em>delete</em> and <em>change-the-key</em>
* methods. In order to let the client refer to keys on the priority queue,
* an integer between {@code 0} and {@code maxN - 1}
* is associated with each key—the client uses this integer to specify
* which key to delete or change.
* It also supports methods for peeking at the minimum key,
* testing if the priority queue is empty, and iterating through
* the keys.
* <p>
* This implementation uses a binary heap along with an array to associate
* keys with integers in the given range.
* The <em>insert</em>, <em>delete-the-minimum</em>, <em>delete</em>,
* <em>change-key</em>, <em>decrease-key</em>, and <em>increase-key</em>
* operations take logarithmic time.
* The <em>is-empty</em>, <em>size</em>, <em>min-index</em>, <em>min-key</em>,
* and <em>key-of</em> operations take constant time.
* Construction takes time proportional to the specified capacity.
* <p>
* For additional documentation, see <a href="https://algs4.cs.princeton.edu/24pq">Section 2.4</a> of
* <i>Algorithms, 4th Edition</i> by Robert Sedgewick and Kevin Wayne.
*
* @author Robert Sedgewick
* @author Kevin Wayne
*
* @param <Key> the generic type of key on this priority queue
*/
template<typename T>
class IndexMinPQ {
public:
/**
* Initializes an empty indexed priority queue with indices between {@code 0}
* and {@code maxN - 1}.
* @param maxN the keys on this priority queue are index from {@code 0}
* {@code maxN - 1}
* @throws IllegalArgumentException if {@code maxN < 0}
*/
IndexMinPQ(int maxN_) {
if (maxN_ < 0) throw runtime_error("illegal size");
maxN = maxN_;
n = 0;
keys.resize(maxN + 1); // make this of length maxN??
pq.resize(maxN + 1);
qp.resize(maxN + 1); // make this of length maxN??
for (int i = 0; i <= maxN; i++)
qp[i] = -1;
}
/**
* Returns true if this priority queue is empty.
*
* @return {@code true} if this priority queue is empty;
* {@code false} otherwise
*/
bool isEmpty() {
return n == 0;
}
/**
* Is {@code i} an index on this priority queue?
*
* @param i an index
* @return {@code true} if {@code i} is an index on this priority queue;
* {@code false} otherwise
* @throws IllegalArgumentException unless {@code 0 <= i < maxN}
*/
bool contains(int i) {
if (i < 0 || i >= maxN) throw runtime_error("index out of range");
return qp[i] != -1;
}
/**
* Returns the number of keys on this priority queue.
*
* @return the number of keys on this priority queue
*/
int size() {
return n;
}
/**
* Associates key with index {@code i}.
*
* @param i an index
* @param key the key to associate with index {@code i}
* @throws IllegalArgumentException unless {@code 0 <= i < maxN}
* @throws IllegalArgumentException if there already is an item associated
* with index {@code i}
*/
void insert(int i, T key) {
if (i < 0 || i >= maxN) throw runtime_error("index out of range");
if (contains(i)) throw runtime_error("index is already in the priority queue");
n++;
qp[i] = n;
pq[n] = i;
keys[i] = key;
swim(n);
}
/**
* Returns an index associated with a minimum key.
*
* @return an index associated with a minimum key
* @throws NoSuchElementException if this priority queue is empty
*/
int minIndex() {
if (n == 0) throw runtime_error("Priority queue underflow");
return pq[1];
}
/**
* Returns a minimum key.
*
* @return a minimum key
* @throws NoSuchElementException if this priority queue is empty
*/
T minKey() {
if (n == 0) throw runtime_error("Priority queue underflow");
return keys[pq[1]];
}
/**
* Removes a minimum key and returns its associated index.
* @return an index associated with a minimum key
* @throws NoSuchElementException if this priority queue is empty
*/
int delMin() {
if (n == 0) throw runtime_error("Priority queue underflow");
int min = pq[1];
exch(1, n--);
sink(1);
qp[min] = -1; // delete
pq[n + 1] = -1; // not needed
return min;
}
/**
* Returns the key associated with index {@code i}.
*
* @param i the index of the key to return
* @return the key associated with index {@code i}
* @throws IllegalArgumentException unless {@code 0 <= i < maxN}
* @throws NoSuchElementException no key is associated with index {@code i}
*/
T keyOf(int i) {
if (i < 0 || i >= maxN) throw runtime_error("illegal index");
if (!contains(i)) throw runtime_error("index is not in the priority queue");
else return keys[i];
}
/**
* Change the key associated with index {@code i} to the specified value.
*
* @param i the index of the key to change
* @param key change the key associated with index {@code i} to this key
* @throws IllegalArgumentException unless {@code 0 <= i < maxN}
* @throws NoSuchElementException no key is associated with index {@code i}
*/
void changeKey(int i, T key) {
if (i < 0 || i >= maxN) throw runtime_error("index out of range");
if (!contains(i)) throw runtime_error("index is not in the priority queue");
keys[i] = key;
swim(qp[i]);
sink(qp[i]);
}
/**
* Decrease the key associated with index {@code i} to the specified value.
*
* @param i the index of the key to decrease
* @param key decrease the key associated with index {@code i} to this key
* @throws IllegalArgumentException unless {@code 0 <= i < maxN}
* @throws IllegalArgumentException if {@code key >= keyOf(i)}
* @throws NoSuchElementException no key is associated with index {@code i}
*/
void decreaseKey(int i, T key) {
if (i < 0 || i >= maxN) throw runtime_error("index out of range");
if (!contains(i)) throw runtime_error("index is not in the priority queue");
if (keys[i] <= key)
throw runtime_error("Calling decreaseKey() with given argument would not strictly decrease the key");
keys[i] = key;
swim(qp[i]);
}
/**
* Increase the key associated with index {@code i} to the specified value.
*
* @param i the index of the key to increase
* @param key increase the key associated with index {@code i} to this key
* @throws IllegalArgumentException unless {@code 0 <= i < maxN}
* @throws IllegalArgumentException if {@code key <= keyOf(i)}
* @throws NoSuchElementException no key is associated with index {@code i}
*/
void increaseKey(int i, T key) {
if (i < 0 || i >= maxN) throw runtime_error("index out of range");
if (!contains(i)) throw runtime_error("index is not in the priority queue");
if (keys[i] >= key)
throw runtime_error("Calling increaseKey() with given argument would not strictly increase the key");
keys[i] = key;
sink(qp[i]);
}
/**
* Remove the key associated with index {@code i}.
*
* @param i the index of the key to remove
* @throws IllegalArgumentException unless {@code 0 <= i < maxN}
* @throws NoSuchElementException no key is associated with index {@code i}
*/
void delete_op(int i) {
if (i < 0 || i >= maxN) throw runtime_error("illegal index");
if (!contains(i)) throw runtime_error("index is not in the priority queue");
int index = qp[i];
exch(index, n--);
swim(index);
sink(index);
qp[i] = -1;
}
/***************************************************************************
* Iterators.
***************************************************************************/
private:
class Iterator {
unique_ptr<IndexMinPQ<T>> tmp;
int cnt;
public:
Iterator(vector<int> &pq_t, vector<T> &key_t, int n_t) : cnt(n_t) {
tmp = make_unique<IndexMinPQ>(pq_t.size() - 1);
for (int i = 1; i <= n_t; ++i) {
tmp->insert(pq_t[i], key_t[pq_t[i]]);
}
}
// get current value
int operator*() { return tmp->minIndex(); }
// next iterator
Iterator &operator++() {
tmp->delMin();
--cnt;
return *this;
}
// judge is same?
bool operator!=(const Iterator &it) const { return cnt != it.cnt; }
};
public:
/**
* Returns an iterator that iterates over the keys on the
* priority queue in ascending order.
* The iterator doesn't implement {@code remove()} since it's optional.
*
* @return an iterator that iterates over the keys in ascending order
*/
Iterator begin() { return {pq, keys, n}; }
Iterator end() { return {pq, keys, 0}; }
private:
/***************************************************************************
* General helper functions.
***************************************************************************/
void exch(int i, int j) {
int swap = pq[i];
pq[i] = pq[j];
pq[j] = swap;
qp[pq[i]] = i;
qp[pq[j]] = j;
}
bool greater(int i, int j) {
return keys[pq[i]] > keys[pq[j]];
}
/***************************************************************************
* Heap helper functions.
***************************************************************************/
void swim(int k) {
while (k > 1 && greater(k / 2, k)) {
exch(k, k / 2);
k = k / 2;
}
}
void sink(int k) {
while (2 * k <= n) {
int j = 2 * k;
if (j < n && greater(j, j + 1)) j++;
if (!greater(k, j)) break;
exch(k, j);
k = j;
}
}
// pq---索引对应的位置, qp---各位置对应的索引, keys---各位置的值
private:
int maxN; // maximum number of elements on PQ
int n; // number of elements on PQ
vector<int> pq; // binary heap using 1-based indexing
vector<int> qp; // inverse of pq - qp[pq[i]] = pq[qp[i]] = i
vector<T> keys; // keys[i] = priority of i
};
#endif //CH2_INDEXMINPQ_H