Priority Queues & Heaps

Similar documents
Priority Queues & Heaps

Priority Queues & Heaps

Midterm Review. EECS 2011 Prof. J. Elder - 1 -

Midterm Review. EECS 2011 Prof. J. Elder - 1 -

Comparison Sorts. EECS 2011 Prof. J. Elder - 1 -

Search Trees. Chapter 10. CSE 2011 Prof. J. Elder Last Updated: :51 PM

Maps, Hash Tables and Dictionaries

ECE250: Algorithms and Data Structures Trees

Maps and Hash Tables. EECS 2011 Prof. J. Elder - 1 -

COMP : DATA STRUCTURES 2/27/14. Are binary trees satisfying two additional properties:

Chapter 8: Recursion

File Systems: Fundamentals

Notes for Session 7 Basic Voting Theory and Arrow s Theorem

CS 5523: Operating Systems

Uninformed search. Lirong Xia

Estimating the Margin of Victory for Instant-Runoff Voting

Optimization Strategies

TAFTW (Take Aways for the Week) APT Quiz and Markov Overview. Comparing objects and tradeoffs. From Comparable to TreeMap/Sort

A Calculus for End-to-end Statistical Service Guarantees

Event Based Sequential Program Development: Application to Constructing a Pointer Program

Title: Solving Problems by Searching AIMA: Chapter 3 (Sections 3.1, 3.2 and 3.3)

Constraint satisfaction problems. Lirong Xia

Subreddit Recommendations within Reddit Communities

Text UI. Data Store Ø Example of a backend to a real Could add a different user interface. Good judgment comes from experience

Mathematics and Social Choice Theory. Topic 4 Voting methods with more than 2 alternatives. 4.1 Social choice procedures

Contents. Bibliography 121. Index 123

Lecture 6 Cryptographic Hash Functions

Complexity of Manipulating Elections with Few Candidates

Voting. Suppose that the outcome is determined by the mean of all voter s positions.

Cluster Analysis. (see also: Segmentation)

Manipulating Two Stage Voting Rules

Title: Adverserial Search AIMA: Chapter 5 (Sections 5.1, 5.2 and 5.3)

Dictatorships Are Not the Only Option: An Exploration of Voting Theory

1 Aggregating Preferences

Electrical Engineering and Computer Science Department

Chapter 10. The Manipulability of Voting Systems. For All Practical Purposes: Effective Teaching. Chapter Briefing

CS 4407 Algorithms Greedy Algorithms and Minimum Spanning Trees

HASHGRAPH CONSENSUS: DETAILED EXAMPLES

Support Vector Machines

VOTING DYNAMICS IN INNOVATION SYSTEMS

MATH4999 Capstone Projects in Mathematics and Economics Topic 3 Voting methods and social choice theory

Connecting Voting Theory and Graph Theory

Randomized Pursuit-Evasion in Graphs

A New Method of the Single Transferable Vote and its Axiomatic Justification

Voting on combinatorial domains. LAMSADE, CNRS Université Paris-Dauphine. FET-11, session on Computational Social Choice

NEW YORK CITY COLLEGE OF TECHNOLOGY The City University of New York

Homework 7 Answers PS 30 November 2013

A Bloom Filter Based Scalable Data Integrity Check Tool for Large-scale Dataset

Social welfare functions

Chapter 9: Social Choice: The Impossible Dream

Minimum Spanning Tree Union-Find Data Structure. Feb 28, 2018 CSCI211 - Sprenkle. Comcast wants to lay cable in a neighborhood. Neighborhood Layout

Introduction to Computational Social Choice. Yann Chevaleyre. LAMSADE, Université Paris-Dauphine

Approval Voting Theory with Multiple Levels of Approval

arxiv: v1 [cs.gt] 11 Jul 2018

AGENDAS AND SINCERITY: A SECOND RESPONSE TO SCHWARTZ

Bribery in voting with CP-nets

Estimating the Margin of Victory for an IRV Election Part 1 by David Cary November 6, 2010

Agenda trees and sincere voting: a response to Schwartz

Proving correctness of Stable Matching algorithm Analyzing algorithms Asymptotic running times

Quality of Service in Optical Telecommunication Networks

Tengyu Ma Facebook AI Research. Based on joint work with Yuanzhi Li (Princeton) and Hongyang Zhang (Stanford)

arxiv: v2 [math.ho] 12 Oct 2018

Manipulating Two Stage Voting Rules

Supreme Court of Florida

Agendas and sincerity: a second response to Schwartz

Hat problem on a graph

The Australian Society for Operations Research

Year 1 Mental mathematics and fluency in rapid recall of number facts are one of the main aims of the new Mathematics Curriculum.

c M. J. Wooldridge, used by permission/updated by Simon Parsons, Spring

Introduction to Game Theory. Lirong Xia

SMART MOTION C A T A L O G 2009:1

Analyzing proofs Introduction to problem solving. Wiki: Everyone log in okay? Decide on either using a blog or wiki-style journal?

How hard is it to control sequential elections via the agenda?

Data 100. Lecture 9: Scraping Web Technologies. Slides by: Joseph E. Gonzalez, Deb Nolan

Computational Social Choice: Spring 2017

The Mathematics of Voting. The Mathematics of Voting

Chapter 9: Social Choice: The Impossible Dream Lesson Plan

Stackelberg Voting Games

Local differential privacy

Overview. Ø Neural Networks are considered black-box models Ø They are complex and do not provide much insight into variable relationships

Arrow s Impossibility Theorem

Political Districting for Elections to the German Bundestag: An Optimization-Based Multi-Stage Heuristic Respecting Administrative Boundaries

Platform independent proc interface

Random Forests. Gradient Boosting. and. Bagging and Boosting

Designing a Social Network Prep for Lab 10. March 26, 2018 Sprenkle - CSCI Why classes and objects? How do we create new data types?

Clause Logic Service User Interface User Manual

Voting Criteria April

Distributive Justice Rawls

Randomized Pursuit-Evasion in Graphs

Social Rankings in Human-Computer Committees

Recall: Properties of ranking rules. Recall: Properties of ranking rules. Kenneth Arrow. Recall: Properties of ranking rules. Strategically vulnerable

Manipulative Voting Dynamics

LOUISIANA MECHANIC S LIEN LAW

1.6 Arrow s Impossibility Theorem

Hoboken Public Schools. Algebra II Honors Curriculum

Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections

Math of Election APPORTIONMENT

Polydisciplinary Faculty of Larache Abdelmalek Essaadi University, MOROCCO 3 Department of Mathematics and Informatics

CS 5523: Operating Systems

Louis M. Edwards Mathematics Super Bowl Valencia Community College -- April 30, 2004

Transcription:

Priority Queues & Heaps Chapter 8-1 -

The Java Collections Framework (Ordered Data Types) Interface Abstract Class Class Iterable Collection Queue Abstract Collection List Abstract Queue Abstract List Priority Queue Abstract Sequential List Array List Vector Stack Linked List - 2 -

The Priority Queue Class Ø Based on priority heap Ø Elements are prioritized based either on q natural order q a comparator, passed to the constructor. Ø Provides an iterator - 3 -

Priority Queue ADT Ø A priority queue stores a collection of entries Ø Each entry is a pair (key, value) Ø Main methods of the Priority Queue ADT q insert(k, x) inserts an entry with key k and value x q removemin() removes and returns the entry with smallest key Ø Additional methods q min() returns, but does not remove, an entry with smallest key q size(), isempty() Ø Applications: q Process scheduling q Standby flyers - 4 -

Total Order Relations Ø Keys in a priority queue can be arbitrary objects on which an order is defined Ø Two distinct entries in a priority queue can have the same key Ø Mathematical concept of total order relation q Reflexive property: x x q Antisymmetric property: x y y x è x = y q Transitive property: x y y z è x z - -

Entry ADT Ø An entry in a priority queue is simply a keyvalue pair Ø Methods: q getkey(): returns the key for this entry q getvalue(): returns the value for this entry Ø As a Java interface: /** * Interface for a key-value * pair entry **/ public interface Entry { public Object getkey(); public Object getvalue(); } - -

Comparator ADT Ø A comparator encapsulates the action of comparing two objects according to a given total order relation Ø A generic priority queue uses an auxiliary comparator Ø The comparator is external to the keys being compared Ø When the priority queue needs to compare two keys, it uses its comparator Ø The primary method of the Comparator ADT: q compare(a, b): ² Returns an integer i such that v i < 0 if a < b v i = 0 if a = b v i > 0 if a > b v an error occurs if a and b cannot be compared. - 7 -

Example Comparator /** Comparator for 2D points under the standard lexicographic order. */ public class Lexicographic implements Comparator { } } int xa, ya, xb, yb; public int compare(object a, Object b) throws ClassCastException { xa = ((Point2D) a).getx(); ya = ((Point2D) a).gety(); xb = ((Point2D) b).getx(); yb = ((Point2D) b).gety(); if (xa!= xb) else return (xa - xb); return (ya - yb); /** Class representing a point in the plane with integer coordinates */ public class Point2D { } } protected int xc, yc; // coordinates public Point2D(int x, int y) { xc = x; yc = y; public int getx() { } return xc; public int gety() { } return yc; - 8 -

Sequence-based Priority Queue Ø Implementation with an unsorted list Ø Implementation with a sorted list 4 2 3 1 1 2 3 4 Ø Performance: q insert takes O(1) time since we can insert the item at the beginning or end of the sequence q removemin and min take O(n) time since we have to traverse the entire sequence to find the smallest key Ø Performance: q insert takes O(n) time since we have to find the right place to insert the item q removemin and min take O (1) time, since the smallest key is at the beginning Is this tradeoff inevitable? - 9 -

Heaps Ø Goal: q O(log n) insertion q O(log n) removal Ø Remember that O(log n) is almost as good as O(1)! q e.g., n = 1,000,000,000 à log n 30 Ø There are min heaps and max heaps. We will assume min heaps. - 10 -

Min Heaps Ø A min heap is a binary tree storing keys at its nodes and satisfying the following properties: q Heap-order: for every internal node v other than the root ² key(v) key(parent(v)) q (Almost) complete binary tree: let h be the height of the heap ² for i = 0,, h 1, there are 2 i nodes of depth i ² at depth h 1 v the internal nodes are to the left of the external nodes v Only the rightmost internal node may have a single child 2 9 7-11 - q The last node of a heap is the rightmost node of depth h

Height of a Heap Ø Theorem: A heap storing n keys has height O(log n) Proof: (we apply the complete binary tree property) q Let h be the height of a heap storing n keys q Since there are 2 i keys at depth i = 0,, h 1 and at least one key at depth h, we have n 1 + 2 + 4 + + 2 h 1 + 1 q Thus, n 2 h, i.e., h log n depth 0 1 h 1 h keys 1 2 2 h 1 1-12 -

Heaps and Priority Queues Ø We can use a heap to implement a priority queue Ø We store a (key, element) item at each internal node Ø We keep track of the position of the last node Ø For simplicity, we will typically show only the keys in the pictures (2, Sue) (, Pat) (, Mark) (9, Jeff) (7, Anna) - 13 -

Insertion into a Heap Ø Method insert of the priority queue ADT involves inserting a new entry with key k into the heap Ø The insertion algorithm consists of two steps q Store the new entry at the next available location q Restore the heap-order property 2 z 9 7 new node 2 z 9 7 1-14 -

Upheap Ø After the insertion of a new key k, the heap-order property may be violated Ø Algorithm upheap restores the heap-order property by swapping k along an upward path from the insertion node Ø Upheap terminates when the key k reaches the root or a node whose parent has a key smaller than or equal to k Ø Since a heap has height O(log n), upheap runs in O(log n) time 2 1 1 2 9 7 9 7-1 -

Removal from a Heap Ø Method removemin of the priority queue ADT corresponds to the removal of the root key from the heap Ø The removal algorithm consists of three steps q Replace the root key with the key of the last node w q Remove w q Restore the heap-order property 9 7 w w 7 2 last node 9 new last node - 1 -

Downheap Ø After replacing the root key with the key k of the last node, the heap-order property may be violated Ø Algorithm downheap restores the heap-order property by swapping key k along a downward path from the root Ø Note that there are, in general, many possible downward paths which one do we choose??? 7 w 9-17 -

Downheap Ø We select the downward path through the minimum-key nodes. Ø Downheap terminates when key k reaches a leaf or a node whose children have keys greater than or equal to k Ø Since a heap has height O(log n), downheap runs in O(log n) time 7 w 7 w 9 9-18 -

Array-based Heap Implementation Ø We can represent a heap with n keys by means of an array of length n + 1 Ø Links between nodes are not explicitly stored 2 Ø The cell at rank 0 is not used Ø The root is stored at rank 1. Ø For the node at rank i q the left child is at rank 2i q the right child is at rank 2i + 1 9 7 q the parent is at rank floor(i/2) q if 2i + 1 > n, the node has no right child q if 2i > n, the node is a leaf 0 2 9 7 1 2 3 4-19 -

Merging Two Heaps Ø We are given two heaps and a new key k 8 3 4 2 Ø We create a new heap with the root node storing k and with the two heaps as subtrees 8 3 7 4 2 Ø We perform downheap to restore the heaporder property 3 2 4 8 7-20 -

Bottom-up Heap Construction Ø We can construct a heap storing n keys using a bottom-up construction with log n phases 2 i 1 2 i 1 Ø In phase i, pairs of heaps with 2 i 1 keys are merged into heaps with 2 i+1 1 keys 2 i+1 1-21 -

Example 1 1 4 12 7 23 20 2 11 27 1 1 4 12 7 23 20-22 -

Example (contd.) 2 11 27 1 1 4 12 9 23 20 1 4 20 1 2 12 11 9 23 27-23 -

Example (contd.) 7 8 1 4 20 1 2 12 11 9 23 27 4 1 8 20 1 2 7 12 11 9 23 27-24 -

Example (end) 10 4 1 8 23 1 2 7 12 11 9 27 20 4 1 7 8 20 1 2 10 12 11 9 23 27-2 -

Analysis Ø We visualize the worst-case time of a downheap with a proxy path that goes first right and then repeatedly goes left until the bottom of the heap (this path may differ from the actual downheap path) Ø Since each node is traversed by at most two proxy paths, the total number of nodes of the proxy paths is O(n) Ø Thus, bottom-up heap construction runs in O(n) time Ø Bottom-up heap construction is faster than n successive insertions (running time?). - 2 -

Bottom-Up Heap Construction Ø Uses downheap to reorganize the tree from bottom to top to make it a heap. Ø Can be written concisely in either recursive or iterative form. - 27 -

Iterative MakeHeap MakeHeap(A, n) <pre-cond>:a[1 n] is a balanced binary tree <post-cond>:a[1 n] is a heap for i! " n / 2$ # % downto 1 < LI >: All subtrees rooted at i + 1 n are heaps DownHeap(A, i, n) - 28 -

Recursive MakeHeap Get help from friends - 29 -

Recursive MakeHeap MakeHeap(A, i, n) Invoke as MakeHeap (A, 1, n) <pre-cond>:a[i n] is a balanced binary tree <post-cond>:the subtree rooted at i is a heap if i! " n / 4$ # % then MakeHeap(A, LEFT (i), n) MakeHeap(A, RIGHT (i), n) Downheap(A, i, n) Running time: T(n) = 2T(n/2) + log(n) i = (n) n/4 is grandparent of n n/2 is parent of n n - 30 -

Iterative vs Recursive MakeHeap Ø Recursive and Iterative MakeHeap do essentially the same thing: Heapify from bottom to top. Ø Difference: q Recursive is depth-first q Iterative is breadth-first - 31 -

Adaptable Priority 3 a Queues g 4 e - 32 -

Recall the Entry and Priority Queue ADTs Ø An entry stores a (key, value) pair within a data structure Ø Methods of the entry ADT: q getkey(): returns the key associated with this entry q getvalue(): returns the value paired with the key associated with this entry Ø Priority Queue ADT: q insert(k, x) inserts an entry with key k and value x q removemin() removes and returns the entry with smallest key q min() returns, but does not remove, an entry with smallest key q size(), isempty() - 33 -

Motivating Example Ø Suppose we have an online trading system where orders to purchase and sell a given stock are stored in two priority queues (one for sell orders and one for buy orders) as (p,s) entries: q The key, p, of an order is the price q The value, s, for an entry is the number of shares q A buy order (p,s) is executed when a sell order (p,s ) with price p <p is added (the execution is complete if s >s) q A sell order (p,s) is executed when a buy order (p,s ) with price p >p is added (the execution is complete if s >s) Ø What if someone wishes to cancel their order before it executes? Ø What if someone wishes to update the price or number of shares for their order? - 34 -

Additional Methods of the Adaptable Priority Queue ADT Ø remove(e): Remove from P and return entry e. Ø replacekey(e,k): Replace with k and return the old key; an error condition occurs if k is invalid (that is, k cannot be compared with other keys). Ø replacevalue(e,x): Replace with x and return the old value. - 3 -

Example Operation Output P insert(,a) e 1 (,A) insert(3,b) e 2 (3,B),(,A) insert(7,c) e 3 (3,B),(,A),(7,C) min() e 2 (3,B),(,A),(7,C) key(e 2 ) 3 (3,B),(,A),(7,C) remove(e 1 ) e 1 (3,B),(7,C) replacekey(e 2,9) 3 (7,C),(9,B) replacevalue(e 3,D) C (7,D),(9,B) remove(e 2 ) e 2 (7,D) - 3 -

Locating Entries Ø In order to implement the operations remove(e), replacekey(e,k), and replacevalue(e,x), we need fast ways of locating an entry e in a priority queue. Ø We can always just search the entire data structure to find an entry e, but there are better ways for locating entries. - 37 -

Location-Aware Entries Ø A location-aware entry identifies and tracks the location of its (key, value) object within a data structure - 38 -

List Implementation Ø A location-aware list entry is an object storing q key q value q position (or rank) of the item in the list Ø In turn, the position (or array cell) stores the entry Ø Back pointers (or ranks) are updated during swaps header nodes/positions trailer 2 c 4 a d 8 b - 39 - entries

Heap Implementation Ø A location-aware heap entry is an object storing q key 2 d q value q position of the entry in the underlying heap Ø In turn, each heap position stores an entry Ø Back pointers are updated during entry swaps 4 a b 8 g e 9 c - 40 -

Performance Ø Times better than those achievable without location-aware entries are highlighted in red: Method Unsorted List Sorted List Heap size, isempty O(1) O(1) O(1) insert O(1) O(n) O(log n) min O(n) O(1) O(1) removemin O(n) O(1) O(log n) remove O(1) O(1) O(log n) replacekey O(1) O(n) O(log n) replacevalue O(1) O(1) O(1) - 41 -