Priority Queues (Heaps)  Sections 6.1 to 6.5 1

advertisement
Priority Queues (Heaps)
 Sections 6.1 to 6.5
1
The Priority Queue ADT
 DeleteMin
– log N time
 Insert
– log N time
 Other operations
– FindMin
 Constant time
– Initialize
 N time
2
Applications of Priority Queues
 Any event/job management that assign priority to
events/jobs
 In Operating Systems
– Scheduling jobs
 In Simulators
– Scheduling the next event (smallest event time)
3
Priority Queue Implementation
 Implemented as adaptor class around
– Linked lists
 O(N) worst-case time on either insert() or deleteMin()
– Binary Search Trees
 O(log(N)) average time on insert() and delete()
 Overkill: all elements are sorted
– However, we only need the minimum element
– Heaps
 This is what we’ll study and use to implement Priority
Queues
 O(logN) worst case for both insertion and delete
operations
4
Partially Ordered Trees
 A partially ordered tree (POT) is a tree T such that:
– There is an order relation <= defined for the
vertices of T
– For any vertex p and any child c of p, p <= c
 Consequences:
– The smallest element in a POT is the root
– No conclusion can be drawn about the order of
children
5
Binary Heaps
 A binary heap is a partially ordered complete binary tree
– The tree is completely filled on all levels except possibly the
lowest.
root
3
4
0
2
5
 In a more general d-Heap
– A parent node can have d children
 We simply refer to binary heaps as heaps
6
Vector Representation of Complete Binary Tree
 Storing elements in vector in level-order
– Parent of v[k] = v[k/2]
root
– Left child of v[k] = v[2*k]
– Right child of v[k] = v[2*k + 1]
l
ll
R
r
lr
rl
1
2
3
4
5
6
7
R
l
r
ll
lr
rl
rr
rr
7
Heap example



Parent of v[k] = v[k/2]
Left child of v[k] = v[2*k]
Right child of v[k] = v[2*k + 1]
8
Examples
Which one is a heap?
9
Implementation of Priority Queue (heap)
10
Insertion Example: insert(14)
14
14
14
11
Basic Heap Operations: insert(x)
 Maintain the complete binary tree property and fix
any problem with the partially ordered tree property
– Create a leaf at the end
– Repeat
 Locate parent
 if POT not satisfied
– Swap with parent
 else
– Stop
– Insert x into its final location
12
Implementation of insert
13
deleteMin() example
31
13 14
16 19 21
19 68
65 26
32 31
14
deleteMin() Example (Cont’d)
31
31
31
15
Basic Heap Operations: deleteMin()
 Replace root with the last leaf ( last element in the
array representation
– This maintains the complete binary tree property
but may violate the partially ordered tree property
 Repeat
– Find the smaller child of the “hole”
– If POT not satisfied
 Swap hole and smaller child
– else
 Stop
16
Implementation of deleteMin()
17
Implementation of deleteMin()
18
Constructor
 Construct heap from a collection of item
 How to?
– Naïve methods
– Insert() each element
– Worst-case time: O(N(logN))
– We show an approach taking O(N) worst-case
 Basic idea
– First insert all elements into the tree without
worrying about POT
– Then, adjust the tree to satisfy POT, starting from
the bottom
19
Constructor
20
Example
percolateDown(7)
percolateDown(6)
percolateDown(5)
21
percolateDown(4)
percolateDown(2)
percolateDown(3)
percolateDown(1)
22
Complexity Analysis
 Consider a tree of height h with 2h-1 nodes
– Time = 1•(h) + 2•(h-1) + 4•(h-2) + ... + 2h-1•1
–
= i=1h 2h-i i = 2h i=1h i/2i
–
= 2h O(1) = O(2h) = O(N)
 Proof for i=1h i/2i = O(1)
– i/2i ≤ ∫i-1i (x+1)/2x dx
 i=1h i/2i ≤ i=1∞ i/2i ≤ ∫0∞ (x+1)/2x dx
 Note: ∫u dv = uv - ∫v du, with dv = 2x and u = x and ∫2-x dx = 2-x/ln 2
– ∫0∞ (x+1)/2x dx = -x 2-x/ln 2|0∞ + 1/ln 2 ∫0∞ 2-x dx + ∫0∞
2-x dx
– = -2-x/ln2 2|0∞ - 2-x/ln 2|0∞ = (1 + 1/ln 2)/ln 2 = O(1)
23
Alternate Proof
 Prove i=1h i/2i = O(1)
– i=0∞ xi = 1/(1-x) when |x| < 1
– Differentiating both sides with respect to x we get
– i=0∞ i xi-1 = 1/(1-x)2
– So, i=0∞ i xi = x/(1-x)2
– Substituting x = 1/2 above gives
 i=0∞ i 2-i = 0.5/(1-0.5)2 = 2 = O(1)
24
C++ STL Priority Queues
 priority_queue class template
– Implements deleteMax instead of deleteMin in default
– MaxHeap instead of MinHeap
 Template
– Item type
– container type (default vector)
– comparator (default less)
 Associative queue operations
– Void push(t)
– void pop()
– T& top()
– void clear()
– bool empty()
25
26
Download