algorithms and data structures - depaul...
TRANSCRIPT
![Page 1: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/1.jpg)
COS 226, SPRING 2013
ALGORITHMSAND
DATA STRUCTURES
JOSH HUGARVIND NARAYANAN
http://www.princeton.edu/~cos226
![Page 2: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/2.jpg)
2
What is COS 226?
・Intermediate-level survey course.
・Programming and problem solving, with applications.
COS 226 course overview
![Page 3: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/3.jpg)
2
What is COS 226?
・Intermediate-level survey course.
・Programming and problem solving, with applications.
・Algorithm: method for solving a problem.
COS 226 course overview
![Page 4: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/4.jpg)
2
What is COS 226?
・Intermediate-level survey course.
・Programming and problem solving, with applications.
・Algorithm: method for solving a problem.
・Data structure: method to store information.
COS 226 course overview
![Page 5: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/5.jpg)
2
What is COS 226?
・Intermediate-level survey course.
・Programming and problem solving, with applications.
・Algorithm: method for solving a problem.
・Data structure: method to store information.
・Sometimes called: Job Interview 101.
COS 226 course overview
![Page 6: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/6.jpg)
2
What is COS 226?
・Intermediate-level survey course.
・Programming and problem solving, with applications.
・Algorithm: method for solving a problem.
・Data structure: method to store information.
・Sometimes called: Job Interview 101.
topic data structures and algorithms
data types stack, queue, bag, union-find, priority queue
sorting quicksort, mergesort, heapsort, radix sorts
searching BST, red-black BST, hash table
graphs BFS, DFS, Prim, Kruskal, Dijkstra
strings KMP, regular expressions, tries, data compression
advanced B-tree, suffix array, maxflow, simplex
COS 226 course overview
![Page 7: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/7.jpg)
3
Why study algorithms?
![Page 8: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/8.jpg)
3
Their impact is broad and far-reaching.
Why study algorithms?
![Page 9: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/9.jpg)
3
Their impact is broad and far-reaching.
Why study algorithms?
![Page 10: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/10.jpg)
3
Their impact is broad and far-reaching.
Why study algorithms?
![Page 11: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/11.jpg)
4
Their impact is broad and far-reaching.
Internet. Web search, packet routing, distributed file sharing, ...
Biology. Human genome project, protein folding, …
Computers. Circuit layout, file system, compilers, …
Computer graphics. Movies, video games, virtual reality, …
Security. Cell phones, e-commerce, voting machines, …
Multimedia. MP3, JPG, HDTV, song recognition, face recognition, …
Social networks. Recommendations, dating, advertisements, …
Physics. N-body simulation, particle collision simulation, …
⋮
Why study algorithms?
![Page 12: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/12.jpg)
4
Their impact is broad and far-reaching.
Internet. Web search, packet routing, distributed file sharing, ...
Biology. Human genome project, protein folding, …
Computers. Circuit layout, file system, compilers, …
Computer graphics. Movies, video games, virtual reality, …
Security. Cell phones, e-commerce, voting machines, …
Multimedia. MP3, JPG, HDTV, song recognition, face recognition, …
Social networks. Recommendations, dating, advertisements, …
Physics. N-body simulation, particle collision simulation, …
⋮
Why study algorithms?
![Page 13: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/13.jpg)
5
To become a proficient programmer.
Why study algorithms?
![Page 14: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/14.jpg)
5
To become a proficient programmer.
Why study algorithms?
“The difference between a bad programmer and a good one is whether
[the programmer] considers code or data structures more important. Bad
programmers worry about the code. Good programmers worry about
data structures and their relationships.”
— Linus Torvalds (creator of Linux)
![Page 15: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/15.jpg)
5
To become a proficient programmer.
Why study algorithms?
“The difference between a bad programmer and a good one is whether
[the programmer] considers code or data structures more important. Bad
programmers worry about the code. Good programmers worry about
data structures and their relationships.”
— Linus Torvalds (creator of Linux)
“ Algorithms + Data Structures = Programs. ” — Niklaus Wirth
![Page 16: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/16.jpg)
6
For intellectual stimulation.
Why study algorithms?
Frank Nelson Cole
“On the Factorization of Large Numbers”
American Mathematical Society, 1903
267-1 = 193,707,721 × 761,838,257,287
![Page 17: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/17.jpg)
They may unlock the secrets of life and of the universe.
7
Why study algorithms?
![Page 18: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/18.jpg)
They may unlock the secrets of life and of the universe.
Scientists are replacing mathematical models with computational models.
7
Why study algorithms?
![Page 19: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/19.jpg)
They may unlock the secrets of life and of the universe.
Scientists are replacing mathematical models with computational models.
7
Why study algorithms?
“ Algorithms: a common language for nature, human, and computer. ” — Avi Wigderson
![Page 20: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/20.jpg)
For fun and profit.
8
Why study algorithms?
![Page 21: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/21.jpg)
For fun and profit.
8
Why study algorithms?
![Page 22: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/22.jpg)
Why study algorithms?
9
Everyone else is doing it, so why shouldn’t we?
http://yaledailynews.com/blog/2013/01/29/computer-science-dept-overworked-understaffed/
![Page 23: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/23.jpg)
10
Lectures. Introduce new material.
Precepts. Discussion, problem-solving, background for assignments.
The usual suspects
What When Where Who
L01 MW 11–12:20 McCosh 10Josh Hug
Arvind Narayanan
P01 Th 11:00 - 11:50 Friend 109 Josh Hug
P02 Th 12:30 - 1:20 Babst 105 Maia Ginsburg †
P03 Th 1:30 - 2:20 Babst 105 Arvind Narayanan
P08 F 10:00 - 11:00 Friend 109 Maia Ginsburg †
P05 F 11:00 - 11:50 Friend 109 Nico Pegard
P05A F 11:00 - 11:50 Friend 108 Stefan Munezel
P06 F 2:30 - 3:20 Friend 109 Diego Perez Botero
P06A F 2:30 - 3:20 Friend 108 Dushant Arora
P07 F 2:30 - 3:20 CS 102 Jennifer Guo
P04 F 3:30 - 4:20 Friend 109 Diego Perez Botero
† lead preceptor
![Page 24: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/24.jpg)
11
Where to get help?
![Page 25: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/25.jpg)
Piazza. Online discussion forum.
・Low latency, low bandwidth.
・Mark solution-revealing questions
as private.
・TAs will answer In-lecture questions.
・Course announcements.
11
Where to get help?
http://www.piazza.com/class#fall2012/cos226
![Page 26: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/26.jpg)
Piazza. Online discussion forum.
・Low latency, low bandwidth.
・Mark solution-revealing questions
as private.
・TAs will answer In-lecture questions.
・Course announcements.
Office hours.
・High bandwidth, high latency.
・See web for schedule.
11
Where to get help?
http://www.piazza.com/class#fall2012/cos226
http://www.princeton.edu/~cos226
![Page 27: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/27.jpg)
Piazza. Online discussion forum.
・Low latency, low bandwidth.
・Mark solution-revealing questions
as private.
・TAs will answer In-lecture questions.
・Course announcements.
Office hours.
・High bandwidth, high latency.
・See web for schedule.
Computing laboratory.
・Undergrad lab TAs in Friend 017.
・For help with debugging.
・See web for schedule.
11
Where to get help?
http://www.piazza.com/class#fall2012/cos226
http://www.princeton.edu/~cos226
http://www.princeton.edu/~cos226
![Page 28: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/28.jpg)
12
Coursework and grading
![Page 29: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/29.jpg)
12
Programming assignments. 45%
・Due on Tuesdays at 11pm via electronic submission.
・See web for collaboration and lateness policy.
Coursework and grading
![Page 30: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/30.jpg)
12
Programming assignments. 45%
・Due on Tuesdays at 11pm via electronic submission.
・See web for collaboration and lateness policy.
Exercises. 10%
・Due on Sundays at 11pm in Blackboard.
Coursework and grading
![Page 31: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/31.jpg)
12
Programming assignments. 45%
・Due on Tuesdays at 11pm via electronic submission.
・See web for collaboration and lateness policy.
Exercises. 10%
・Due on Sundays at 11pm in Blackboard.
Exams. 15% + 30%
・Midterm (in class on Monday, March 11).
・Final (to be scheduled by Registrar).
Coursework and grading
![Page 32: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/32.jpg)
12
Programming assignments. 45%
・Due on Tuesdays at 11pm via electronic submission.
・See web for collaboration and lateness policy.
Exercises. 10%
・Due on Sundays at 11pm in Blackboard.
Exams. 15% + 30%
・Midterm (in class on Monday, March 11).
・Final (to be scheduled by Registrar).
Staff discretion. To adjust borderline cases.
・Report errata.
・Contribute to Piazza discussions.
・Attend and participate in precept/lecture.
・Answering in lecture-questions using a device.
Coursework and grading
![Page 33: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/33.jpg)
12
Programming assignments. 45%
・Due on Tuesdays at 11pm via electronic submission.
・See web for collaboration and lateness policy.
Exercises. 10%
・Due on Sundays at 11pm in Blackboard.
Exams. 15% + 30%
・Midterm (in class on Monday, March 11).
・Final (to be scheduled by Registrar).
Staff discretion. To adjust borderline cases.
・Report errata.
・Contribute to Piazza discussions.
・Attend and participate in precept/lecture.
・Answering in lecture-questions using a device.
Coursework and grading
Final
Exercises
Programs
Midterm
![Page 34: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/34.jpg)
Required reading. Algorithms 4th edition by R. Sedgewick and K. Wayne,
Addison-Wesley Professional, 2011, ISBN 0-321-57351-X.
13
Resources (textbook)
AlgorithmsF O U R T H E D I T I O N
R O B E R T S E D G E W I C K K E V I N W A Y N E1st edition (1982) 3rd edition (1997)2nd edition (1988)
![Page 35: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/35.jpg)
Required reading. Algorithms 4th edition by R. Sedgewick and K. Wayne,
Addison-Wesley Professional, 2011, ISBN 0-321-57351-X.
Available in hardcover and Kindle.
・Online: Amazon ($60 to buy), Chegg ($40 to rent), ...
・Brick-and-mortar: Labyrinth Books (122 Nassau St).
・On reserve: Engineering library.
13
Resources (textbook)
AlgorithmsF O U R T H E D I T I O N
R O B E R T S E D G E W I C K K E V I N W A Y N E
30% discount with
PU student ID
1st edition (1982) 3rd edition (1997)2nd edition (1988)
![Page 36: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/36.jpg)
Course content.
・Course info.
・Programming assignments.
・Exercises.
・Lecture slides.
・Exam archive.
・Submit assignments.
14
Resources (web)
http://www.princeton.edu/~cos226
![Page 37: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/37.jpg)
Course content.
・Course info.
・Programming assignments.
・Exercises.
・Lecture slides.
・Exam archive.
・Submit assignments.
Booksites.
・Brief summary of content.
・Download code from book.
14
Resources (web)
http://www.princeton.edu/~cos226
http://www.algs4.princeton.edu
![Page 38: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/38.jpg)
Coursera Course
・Lectures by Bob Sedgewick.
– Same content as ours.
・Don’t submit assignments!
– Violates course policy.
15
Resources (Coursera) and Flipped Lectures
https://class.coursera.org/algs4partI-002/class
![Page 39: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/39.jpg)
Coursera Course
・Lectures by Bob Sedgewick.
– Same content as ours.
・Don’t submit assignments!
– Violates course policy.
15
Resources (Coursera) and Flipped Lectures
https://class.coursera.org/algs4partI-002/class
![Page 40: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/40.jpg)
Coursera Course
・Lectures by Bob Sedgewick.
– Same content as ours.
・Don’t submit assignments!
– Violates course policy.
The Flipped Lecture Experiment
・Weeks 4-6 (and more?).
・Watch lectures on Coursera.
・Activities in Lecture.
– Big picture mini-lectures.
– Interesting anecdotes.
– Solo/group work.
– Old exam problems.
– Guest speakers.
– Open Q&A.
15
Resources (Coursera) and Flipped Lectures
https://class.coursera.org/algs4partI-002/class
![Page 41: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/41.jpg)
Coursera Course
・Lectures by Bob Sedgewick.
– Same content as ours.
・Don’t submit assignments!
– Violates course policy.
The Flipped Lecture Experiment
・Weeks 4-6 (and more?).
・Watch lectures on Coursera.
・Activities in Lecture.
– Big picture mini-lectures.
– Interesting anecdotes.
– Solo/group work.
– Old exam problems.
– Guest speakers.
– Open Q&A.
15
Resources (Coursera) and Flipped Lectures
https://class.coursera.org/algs4partI-002/class
![Page 42: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/42.jpg)
16
Resources (web)
http://www.princeton.edu/~cos226
![Page 43: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/43.jpg)
17
Resources (web)
http://www.princeton.edu/~cos226
![Page 44: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/44.jpg)
18
Resources (web)
http://www.princeton.edu/~cos226
![Page 45: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/45.jpg)
Resources (web)
19
![Page 46: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/46.jpg)
20
Lecture 1. [today] Union find.
Lecture 2. [Wednesday] Analysis of algorithms.
Precept 1. [Thursday/Friday] Meets this week.
What's ahead?
![Page 47: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/47.jpg)
20
Lecture 1. [today] Union find.
Lecture 2. [Wednesday] Analysis of algorithms.
Precept 1. [Thursday/Friday] Meets this week.
Exercise 1. Due via Bb submission at 11pm on Sunday, February 10th.
Assignment 1. Due via electronic submission at 11pm on Tuesday,
February 12th. Pro tip: Start early.
What's ahead?
![Page 48: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/48.jpg)
20
Lecture 1. [today] Union find.
Lecture 2. [Wednesday] Analysis of algorithms.
Precept 1. [Thursday/Friday] Meets this week.
Exercise 1. Due via Bb submission at 11pm on Sunday, February 10th.
Assignment 1. Due via electronic submission at 11pm on Tuesday,
February 12th. Pro tip: Start early.
Right course? See me.
Placed out of COS 126? Review Sections 1.1–1.2 of Algorithms, 4th edition
(includes command-line interface and our I/O libraries).
What's ahead?
![Page 49: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/49.jpg)
20
Lecture 1. [today] Union find.
Lecture 2. [Wednesday] Analysis of algorithms.
Precept 1. [Thursday/Friday] Meets this week.
Exercise 1. Due via Bb submission at 11pm on Sunday, February 10th.
Assignment 1. Due via electronic submission at 11pm on Tuesday,
February 12th. Pro tip: Start early.
Right course? See me.
Placed out of COS 126? Review Sections 1.1–1.2 of Algorithms, 4th edition
(includes command-line interface and our I/O libraries).
Not registered? Go to any precept this week [only if not registered!].
Change precept? Use SCORE.
What's ahead?
see Colleen Kenny-McGinley in CS 210
if the only precept you can attend is closed
![Page 50: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/50.jpg)
ROBERT SEDGEWICK | KEVIN WAYNE
F O U R T H E D I T I O N
Algorithms
http://algs4.cs.princeton.edu
Algorithms ROBERT SEDGEWICK | KEVIN WAYNE
‣ dynamic connectivity
‣ quick find
‣ quick union
‣ improvements
‣ applications
1.5 UNION-FIND
![Page 51: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/51.jpg)
Steps to developing a usable algorithm.
・Model the problem.
・Find an algorithm to solve it.
・Fast enough? Fits in memory?
・If not, figure out why.
・Find a way to address the problem.
・Iterate until satisfied.
The scientific method.
Mathematical analysis.
22
Subtext of today’s lecture (and this course)
![Page 52: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/52.jpg)
http://algs4.cs.princeton.edu
ROBERT SEDGEWICK | KEVIN WAYNE
Algorithms
‣ dynamic connectivity
‣ quick find
‣ quick union
‣ improvements
‣ applications
1.5 UNION-FIND
![Page 53: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/53.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
0 1 2 3 4
5 6 7 8 9
![Page 54: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/54.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
0 1 2 3 4
5 6 7 8 9
![Page 55: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/55.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
0 1 2 3 4
5 6 7 8 9𐄂
![Page 56: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/56.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
0 1 2 3 4
5 6 7 8 9𐄂
![Page 57: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/57.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 58: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/58.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 59: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/59.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 60: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/60.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
union(7, 2)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 61: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/61.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
union(7, 2)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 62: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/62.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
union(7, 2)
union(6, 1)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 63: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/63.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
union(7, 2)
union(6, 1)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 64: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/64.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
union(7, 2)
union(1, 0)
union(6, 1)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 65: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/65.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
union(7, 2)
union(1, 0)
union(6, 1)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 66: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/66.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
union(7, 2)
connected(0, 7)
union(1, 0)
union(6, 1)
0 1 2 3 4
5 6 7 8 9𐄂✔
![Page 67: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/67.jpg)
Given a set of N objects.
・Union command: connect two objects.
・Find/connected query: is there a path connecting the two objects?
24
Dynamic connectivity
union(4, 3)
union(3, 8)
union(6, 5)
union(9, 4)
union(2, 1)
connected(0, 7)
connected(8, 9)
union(5, 0)
union(7, 2)
connected(0, 7)
union(1, 0)
union(6, 1)
0 1 2 3 4
5 6 7 8 9𐄂✔
✔
![Page 68: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/68.jpg)
25
Connectivity example
p
q
![Page 69: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/69.jpg)
Q. Is there a path connecting p and q ?
25
Connectivity example
p
q
![Page 70: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/70.jpg)
Q. Is there a path connecting p and q ?
A. Yes.
25
Connectivity example
p
q
![Page 71: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/71.jpg)
Applications involve manipulating objects of all types.
・Pixels in a digital photo.
・Computers in a network.
・Friends in a social network.
・Transistors in a computer chip.
・Elements in a mathematical set.
・Variable names in Fortran program.
・Metallic sites in a composite system.
26
Modeling the objects
![Page 72: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/72.jpg)
Applications involve manipulating objects of all types.
・Pixels in a digital photo.
・Computers in a network.
・Friends in a social network.
・Transistors in a computer chip.
・Elements in a mathematical set.
・Variable names in Fortran program.
・Metallic sites in a composite system.
When programming, convenient to name objects 0 to N –1.
・Use integers as array index.
・Suppress details not relevant to union-find.
26
Modeling the objects
can use symbol table to translate from site
names to integers: stay tuned (Chapter 3)
![Page 73: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/73.jpg)
We assume "is connected to" is an equivalence relation:
・Reflexive: p is connected to p.
・Symmetric: if p is connected to q, then q is connected to p.
・Transitive: if p is connected to q and q is connected to r,then p is connected to r.
27
Modeling the connections
![Page 74: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/74.jpg)
We assume "is connected to" is an equivalence relation:
・Reflexive: p is connected to p.
・Symmetric: if p is connected to q, then q is connected to p.
・Transitive: if p is connected to q and q is connected to r,then p is connected to r.
Connected components. Maximal set of objects that are mutually
connected.
27
Modeling the connections
{ 0 } { 1 4 5 } { 2 3 6 7 }
3 connected components
0 1 2 3
4 5 6 7
![Page 75: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/75.jpg)
Find query. Check if two objects are in the same component.
Union command. Replace components containing two objects
with their union.
28
Implementing the operations
{ 0 } { 1 4 5 } { 2 3 6 7 }
3 connected components
0 1 2 3
4 5 6 7
![Page 76: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/76.jpg)
Find query. Check if two objects are in the same component.
Union command. Replace components containing two objects
with their union.
28
Implementing the operations
{ 0 } { 1 4 5 } { 2 3 6 7 }
3 connected components
0 1 2 3
4 5 6 7
union(2, 5)
![Page 77: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/77.jpg)
Find query. Check if two objects are in the same component.
Union command. Replace components containing two objects
with their union.
28
Implementing the operations
{ 0 } { 1 4 5 } { 2 3 6 7 }
3 connected components
0 1 2 3
4 5 6 7
union(2, 5)
{ 0 } { 1 2 3 4 5 6 7 }
2 connected components
0 1 2 3
4 5 6 7
![Page 78: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/78.jpg)
29
Goal. Design efficient data structure for union-find.
・Number of objects N can be huge.
・Number of operations M can be huge.
・Find queries and union commands may be intermixed.
Union-find data type (API)
public class UF public class UF public class UF
UF(int N)initialize union-find data structure with
N objects (0 to N – 1)
void union(int p, int q) add connection between p and q
boolean connected(int p, int q) are p and q in the same component?
int find(int p) component identifier for p (0 to N – 1)
int count() number of components
![Page 79: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/79.jpg)
30
・Read in number of objects N from standard input.
・Repeat:
– read in pair of integers from standard input
– if they are not yet connected, connect them and print out pair
Dynamic-connectivity client
public static void main(String[] args){ int N = StdIn.readInt(); UF uf = new UF(N); while (!StdIn.isEmpty()) { int p = StdIn.readInt(); int q = StdIn.readInt(); if (!uf.connected(p, q)) { uf.union(p, q); StdOut.println(p + " " + q); } }}
% more tinyUF.txt104 33 86 59 42 18 95 07 26 11 06 7
![Page 80: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/80.jpg)
http://algs4.cs.princeton.edu
ROBERT SEDGEWICK | KEVIN WAYNE
Algorithms
‣ dynamic connectivity
‣ quick find
‣ quick union
‣ improvements
‣ applications
1.5 UNION-FIND
![Page 81: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/81.jpg)
32
Data structure.
・Integer array id[] of size N.
・Interpretation: p and q are connected iff they have the same id.
0, 5 and 6 are connected
1, 2, and 7 are connected
3, 4, 8, and 9 are connected
Quick-find [eager approach]
0 1 2 3 4
5 6 7 8 9
0 1
0 1
1 8
2 3
8 0
4 5
0 1
6 7
8 8
8 9
id[]
if and only if
![Page 82: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/82.jpg)
33
Data structure.
・Integer array id[] of size N.
・Interpretation: p and q are connected iff they have the same id.
Find. id of p gives its component.
If p and q have the same id, they are connected.
Quick-find [eager approach]
id[6] = 0; id[1] = 1
6 and 1 are not connected
0 1
0 1
1 8
2 3
8 0
4 5
0 1
6 7
8 8
8 9
id[]
![Page 83: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/83.jpg)
33
Data structure.
・Integer array id[] of size N.
・Interpretation: p and q are connected iff they have the same id.
Find. id of p gives its component.
If p and q have the same id, they are connected.
Quick-find [eager approach]
id[6] = 0; id[1] = 1
6 and 1 are not connected
0 1
0 1
1 8
2 3
8 0
4 5
0 1
6 7
8 8
8 9
id[]
![Page 84: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/84.jpg)
33
Data structure.
・Integer array id[] of size N.
・Interpretation: p and q are connected iff they have the same id.
Find. id of p gives its component.
If p and q have the same id, they are connected.
Union. To merge components containing p and q, change all entries
whose id equals id[p] to id[q].after union of 6 and 1
problem: many values can change
Quick-find [eager approach]
id[6] = 0; id[1] = 1
6 and 1 are not connected
0 1
0 1
1 8
2 3
8 0
4 5
0 1
6 7
8 8
8 9
1 1
0 1
1 8
2 3
8 1
4 5
1 1
6 7
8 8
8 9
id[]
id[]
![Page 85: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/85.jpg)
34
Quick-find demo
0 1 2 3 4
5 6 7 8 9
0 1
0 1
2 3
2 3
4 5
4 5
6 7
6 7
8 9
8 9
id[]
![Page 86: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/86.jpg)
Quick-find demo
0 1 2 3 4
5 6 7 8 9
1 1
0 1
1 8
2 3
8 1
4 5
1 1
6 7
8 8
8 9
id[]
![Page 87: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/87.jpg)
public class QuickFindUF{ private int[] id;
public QuickFindUF(int N) { id = new int[N]; for (int i = 0; i < N; i++) id[i] = i;
36
Quick-find: Java implementation
![Page 88: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/88.jpg)
public class QuickFindUF{ private int[] id;
public QuickFindUF(int N) { id = new int[N]; for (int i = 0; i < N; i++) id[i] = i; }
36
Quick-find: Java implementation
set id of each object to itself
(N array accesses)
![Page 89: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/89.jpg)
public class QuickFindUF{ private int[] id;
public QuickFindUF(int N) { id = new int[N]; for (int i = 0; i < N; i++) id[i] = i; }
public boolean connected(int p, int q) { return id[p] == id[q]; }
36
Quick-find: Java implementation
set id of each object to itself
(N array accesses)
check whether p and q
are in the same component
(2 array accesses)
![Page 90: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/90.jpg)
public class QuickFindUF{ private int[] id;
public QuickFindUF(int N) { id = new int[N]; for (int i = 0; i < N; i++) id[i] = i; }
public boolean connected(int p, int q) { return id[p] == id[q]; }
public void union(int p, int q) { int pid = id[p]; int qid = id[q]; for (int i = 0; i < id.length; i++) if (id[i] == pid) id[i] = qid; }}
36
Quick-find: Java implementation
set id of each object to itself
(N array accesses)
change all entries with id[p] to id[q]
(at most 2N + 2 array accesses)
check whether p and q
are in the same component
(2 array accesses)
![Page 91: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/91.jpg)
Cost model. Number of array accesses (for read or write).
37
Quick-find is too slow
algorithm initialize union find
quick-find N N 1
order of growth of number of array accesses
![Page 92: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/92.jpg)
Cost model. Number of array accesses (for read or write).
Union is too expensive. It takes N 2 array accesses to process a sequence of
N union commands on N objects.
37
Quick-find is too slow
algorithm initialize union find
quick-find N N 1
order of growth of number of array accesses
quadratic
![Page 93: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/93.jpg)
Rough standard (for now).
・109 operations per second.
・109 words of main memory.
・Touch all words in approximately 1 second.
38
a truism (roughly)
since 1950!
Quadratic algorithms do not scale
![Page 94: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/94.jpg)
Rough standard (for now).
・109 operations per second.
・109 words of main memory.
・Touch all words in approximately 1 second.
Ex. Huge problem for quick-find.
・109 union commands on 109 objects.
・Quick-find takes more than 1018 operations.
・30+ years of computer time!
38
a truism (roughly)
since 1950!
Quadratic algorithms do not scale
![Page 95: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/95.jpg)
Rough standard (for now).
・109 operations per second.
・109 words of main memory.
・Touch all words in approximately 1 second.
Ex. Huge problem for quick-find.
・109 union commands on 109 objects.
・Quick-find takes more than 1018 operations.
・30+ years of computer time!
Quadratic algorithms don't scale with technology.
・New computer may be 10x as fast.
・But, has 10x as much memory ⇒
want to solve a problem that is 10x as big.
・With quadratic algorithm, takes 10x as long!
38
a truism (roughly)
since 1950!
Quadratic algorithms do not scale
8T
16T
32T
64T
time
1K 2K 4K 8Ksize
quadratic
linearithmic
linear
![Page 96: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/96.jpg)
http://algs4.cs.princeton.edu
ROBERT SEDGEWICK | KEVIN WAYNE
Algorithms
‣ dynamic connectivity
‣ quick find
‣ quick union
‣ improvements
‣ applications
1.5 UNION-FIND
![Page 97: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/97.jpg)
Data structure.
・Integer array id[] of size N.
・Interpretation: id[i] is parent of i.
・Root of i is id[id[id[...id[i]...]]].
40
Quick-union [lazy approach]
keep going until it doesn’t change
(algorithm ensures no cycles)
0 1
0 1
9 4
2 3
9 6
4 5
6 7
6 7
8 9
8 9
id[]
3
54
70 1 9 6 8
2
![Page 98: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/98.jpg)
Data structure.
・Integer array id[] of size N.
・Interpretation: id[i] is parent of i.
・Root of i is id[id[id[...id[i]...]]].
40
Quick-union [lazy approach]
keep going until it doesn’t change
(algorithm ensures no cycles)
0 1
0 1
9 4
2 3
9 6
4 5
6 7
6 7
8 9
8 9
id[]
3
54
70 1 9 6 8
2
![Page 99: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/99.jpg)
Data structure.
・Integer array id[] of size N.
・Interpretation: id[i] is parent of i.
・Root of i is id[id[id[...id[i]...]]].
40
root of 3 is 9
Quick-union [lazy approach]
keep going until it doesn’t change
(algorithm ensures no cycles)
0 1
0 1
9 4
2 3
9 6
4 5
6 7
6 7
8 9
8 9
id[]
3
54
70 1 9 6 8
2
![Page 100: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/100.jpg)
Data structure.
・Integer array id[] of size N.
・Interpretation: id[i] is parent of i.
・Root of i is id[id[id[...id[i]...]]].
Find. Check if p and q have the same root.
41
Quick-union [lazy approach]
0 1
0 1
9 4
2 3
9 6
4 5
6 7
6 7
8 9
8 9
id[]
3
54
70 1 9 6 8
2
p
q
root of 3 is 9
root of 5 is 6
3 and 5 are not connected
![Page 101: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/101.jpg)
Data structure.
・Integer array id[] of size N.
・Interpretation: id[i] is parent of i.
・Root of i is id[id[id[...id[i]...]]].
Find. Check if p and q have the same root.
Union. To merge components containing p and q,
set the id of p's root to the id of q's root.
41
Quick-union [lazy approach]
0 1
0 1
9 4
2 3
9 6
4 5
6 7
6 7
8 9
8 9
id[]
3
4
70 1
9
6 8
2
only one value changes p
q0 1
0 1
9 4
2 3
9 6
4 5
6 7
6 7
8 6
8 9
id[]5
3
54
70 1 9 6 8
2
p
q
root of 3 is 9
root of 5 is 6
3 and 5 are not connected
![Page 102: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/102.jpg)
42
Quick-union demo
0 1 2 3 4 5 6 7 8 9
0 1
0 1
2 3
2 3
4 5
4 5
6 7
6 7
8 9
8 9
id[]
![Page 103: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/103.jpg)
Quick-union demo
0
1
2
5
6
7
3
4
8
9
1 8
0 1
1 8
2 3
3 0
4 5
5 1
6 7
8 8
8 9
id[]
Question: Worst case tree depth? Best Case?
![Page 104: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/104.jpg)
Quick-union: Java implementation
public class QuickUnionUF{ private int[] id;
public QuickUnionUF(int N) { id = new int[N]; for (int i = 0; i < N; i++) id[i] = i; }
private int root(int i) { while (i != id[i]) i = id[i]; return i; }
public boolean connected(int p, int q) { return root(p) == root(q); }
public void union(int p, int q) { int i = root(p); int j = root(q); id[i] = j; }}
set id of each object to itself
(N array accesses)
chase parent pointers until reach root
(depth of i array accesses)
check if p and q have same root
(depth of p and q array accesses)
change root of p to point to root of q
(depth of p and q array accesses)
44
![Page 105: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/105.jpg)
45
worst case
† includes cost of finding roots
Quick-union is also too slow
algorithm initialize union find
quick-find N N 1
quick-union N N † N
![Page 106: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/106.jpg)
45
Cost model. Number of array accesses (for read or write).
worst case
† includes cost of finding roots
Quick-union is also too slow
algorithm initialize union find
quick-find N N 1
quick-union N N † N
![Page 107: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/107.jpg)
45
Cost model. Number of array accesses (for read or write).
Quick-find defect.
・Union too expensive (N array accesses).
・Trees are flat, but too expensive to keep them flat.
Quick-union defect.
・Trees can get tall.
・Find too expensive (could be N array accesses).
worst case
† includes cost of finding roots
Quick-union is also too slow
algorithm initialize union find
quick-find N N 1
quick-union N N † N
![Page 108: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/108.jpg)
http://algs4.cs.princeton.edu
ROBERT SEDGEWICK | KEVIN WAYNE
Algorithms
‣ dynamic connectivity
‣ quick find
‣ quick union
‣ improvements
‣ applications
1.5 UNION-FIND
![Page 109: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/109.jpg)
Weighted quick-union.
・Modify quick-union to avoid tall trees.
・Keep track of size of each tree (number of objects).
・Balance by linking root of smaller tree to root of larger tree.
47
Improvement 1: weighting
smallertree
largertree
q
p
smallertree
largertree
q
p
smallertree
largertree
q
p
smallertree
largertree
q
p
Weighted quick-union
weighted
quick-union
always chooses thebetter alternative
might put thelarger tree lower
reasonable alternatives:
union by height or "rank"
![Page 110: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/110.jpg)
48
Weighted quick-union demo
0 1 2 3 4 5 6 7 8 9
0 1
0 1
2 3
2 3
4 5
4 5
6 7
6 7
8 9
8 9
id[]
![Page 111: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/111.jpg)
Weighted quick-union demo
98
4
3 71
2 50
6
6 2
0 1
6 4
2 3
6 6
4 5
6 2
6 7
4 4
8 9
id[]
![Page 112: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/112.jpg)
50
Quick-union and weighted quick-union example
Quick-union and weighted quick-union (100 sites, 88 union() operations)
weighted
quick-union
average distance to root: 1.52
average distance to root: 5.11
![Page 113: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/113.jpg)
50
Quick-union and weighted quick-union example
Quick-union and weighted quick-union (100 sites, 88 union() operations)
weighted
quick-union
average distance to root: 1.52
average distance to root: 5.11
Quick-union and weighted quick-union (100 sites, 88 union() operations)
weighted
quick-union
average distance to root: 1.52
average distance to root: 5.11
![Page 114: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/114.jpg)
51
Data structure. Same as quick-union, but maintain extra array sz[i]
to count number of objects in the tree rooted at i.
Weighted quick-union: Java implementation
![Page 115: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/115.jpg)
51
Data structure. Same as quick-union, but maintain extra array sz[i]
to count number of objects in the tree rooted at i.
Find. Identical to quick-union.
Weighted quick-union: Java implementation
return root(p) == root(q);
![Page 116: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/116.jpg)
51
Data structure. Same as quick-union, but maintain extra array sz[i]
to count number of objects in the tree rooted at i.
Find. Identical to quick-union.
Union. Modify quick-union to:
・Link root of smaller tree to root of larger tree.
・Update the sz[] array.
int i = root(p); int j = root(q); if (sz[i] < sz[j]) { id[i] = j; sz[j] += sz[i]; } else { id[j] = i; sz[i] += sz[j]; }
Weighted quick-union: Java implementation
return root(p) == root(q);
![Page 117: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/117.jpg)
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
52
Weighted quick-union analysis
![Page 118: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/118.jpg)
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
Proposition. Depth of any node x is at most lg N.
52
Weighted quick-union analysis
x
N = 10
depth(x) = 3 ≤ lg N
lg = base-2 logarithm
![Page 119: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/119.jpg)
53
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
Proposition. Depth of any node x is at most lg N.
Weighted quick-union analysis
lg = base-2 logarithm
![Page 120: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/120.jpg)
53
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
Proposition. Depth of any node x is at most lg N.
Pf. When does depth of x increase?
Weighted quick-union analysis
lg = base-2 logarithm
![Page 121: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/121.jpg)
53
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
Proposition. Depth of any node x is at most lg N.
Pf. When does depth of x increase?
Increases by 1 when tree T1 containing x is merged into another tree T2.
Weighted quick-union analysis
T2
T1
x
lg = base-2 logarithm
![Page 122: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/122.jpg)
53
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
Proposition. Depth of any node x is at most lg N.
Pf. When does depth of x increase?
Increases by 1 when tree T1 containing x is merged into another tree T2.
・The size of the tree containing x at least doubles since | T 2 | ≥ | T 1 |.
Weighted quick-union analysis
T2
T1
x
lg = base-2 logarithm
![Page 123: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/123.jpg)
53
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
Proposition. Depth of any node x is at most lg N.
Pf. When does depth of x increase?
Increases by 1 when tree T1 containing x is merged into another tree T2.
・The size of the tree containing x at least doubles since | T 2 | ≥ | T 1 |.
・Size of tree containing x can double at most lg N times. Why?
Weighted quick-union analysis
T2
T1
x
lg = base-2 logarithm
![Page 124: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/124.jpg)
54
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
Proposition. Depth of any node x is at most lg N.
† includes cost of finding roots
Weighted quick-union analysis
algorithm initialize union connected
quick-find N N 1
quick-union N N † N
weighted QU N lg N † lg N
![Page 125: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/125.jpg)
54
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
Proposition. Depth of any node x is at most lg N.
Q. Stop at guaranteed acceptable performance?
† includes cost of finding roots
Weighted quick-union analysis
algorithm initialize union connected
quick-find N N 1
quick-union N N † N
weighted QU N lg N † lg N
![Page 126: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/126.jpg)
54
Running time.
・Find: takes time proportional to depth of p and q.
・Union: takes constant time, given roots.
Proposition. Depth of any node x is at most lg N.
Q. Stop at guaranteed acceptable performance?
A. No, easy to improve further.
† includes cost of finding roots
Weighted quick-union analysis
algorithm initialize union connected
quick-find N N 1
quick-union N N † N
weighted QU N lg N † lg N
![Page 127: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/127.jpg)
Quick union with path compression. Just after computing the root of p,
set the id of each examined node to point to that root.
55
Improvement 2: path compression
1211
9
10
8
6 7
3
x
2
54
0
1
root
p
![Page 128: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/128.jpg)
Quick union with path compression. Just after computing the root of p,
set the id of each examined node to point to that root.
56
Improvement 2: path compression
10
8
6 7
31211
9 2
54
0
1
root
x
p
![Page 129: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/129.jpg)
Quick union with path compression. Just after computing the root of p,
set the id of each examined node to point to that root.
56
Improvement 2: path compression
10
8
6 7
31211
9 2
54
0
1
root
x
p
![Page 130: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/130.jpg)
Quick union with path compression. Just after computing the root of p,
set the id of each examined node to point to that root.
57
Improvement 2: path compression
7
3
10
8
6
1211
9 2
54
0
1
root
x
p
![Page 131: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/131.jpg)
Quick union with path compression. Just after computing the root of p,
set the id of each examined node to point to that root.
57
Improvement 2: path compression
7
3
10
8
6
1211
9 2
54
0
1
root
x
p
![Page 132: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/132.jpg)
Quick union with path compression. Just after computing the root of p,
set the id of each examined node to point to that root.
58
Improvement 2: path compression
10
8
6 2
54
0
1
7
3
root
x
p
1211
9
![Page 133: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/133.jpg)
Quick union with path compression. Just after computing the root of p,
set the id[] of each examined node to point to that root.
59
Improvement 2: path compression
10
8
6
7
3
x
root
2
54
0
1
p
1211
9
![Page 134: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/134.jpg)
Two-pass implementation: add second loop to root() to set the id[]
of each examined node to the root.
60
Path compression: Java implementation
![Page 135: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/135.jpg)
Two-pass implementation: add second loop to root() to set the id[]
of each examined node to the root.
Simpler one-pass variant: Make every other node in path point to its
grandparent (thereby halving path length).
60
Path compression: Java implementation
only one extra line of code !
private int root(int i){ while (i != id[i]) { id[i] = id[id[i]]; i = id[i]; } return i;}
![Page 136: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/136.jpg)
Two-pass implementation: add second loop to root() to set the id[]
of each examined node to the root.
Simpler one-pass variant: Make every other node in path point to its
grandparent (thereby halving path length).
In practice. No reason not to! Keeps tree almost completely flat.
60
Path compression: Java implementation
only one extra line of code !
private int root(int i){ while (i != id[i]) { id[i] = id[id[i]]; i = id[i]; } return i;}
![Page 137: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/137.jpg)
61
Proposition. [Hopcroft-Ulman, Tarjan] Starting from an
empty data structure, any sequence of M union-find ops
on N objects makes ≤ c ( N + M lg* N ) array accesses.
・Analysis can be improved to N + M α(M, N).
・Simple algorithm with fascinating mathematics.
N lg* N
1 0
2 1
4 2
16 3
65536 4
265536 5
Weighted quick-union with path compression: amortized analysis
iterate log function
![Page 138: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/138.jpg)
61
Proposition. [Hopcroft-Ulman, Tarjan] Starting from an
empty data structure, any sequence of M union-find ops
on N objects makes ≤ c ( N + M lg* N ) array accesses.
・Analysis can be improved to N + M α(M, N).
・Simple algorithm with fascinating mathematics.
N lg* N
1 0
2 1
4 2
16 3
65536 4
265536 5
Weighted quick-union with path compression: amortized analysis
iterate log function
![Page 139: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/139.jpg)
61
Proposition. [Hopcroft-Ulman, Tarjan] Starting from an
empty data structure, any sequence of M union-find ops
on N objects makes ≤ c ( N + M lg* N ) array accesses.
・Analysis can be improved to N + M α(M, N).
・Simple algorithm with fascinating mathematics.
Linear-time algorithm for M union-find ops on N objects?
・Cost within constant factor of reading in the data.
・In theory, WQUPC is not quite linear.
・In practice, WQUPC is linear.
N lg* N
1 0
2 1
4 2
16 3
65536 4
265536 5
Weighted quick-union with path compression: amortized analysis
iterate log function
![Page 140: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/140.jpg)
61
Proposition. [Hopcroft-Ulman, Tarjan] Starting from an
empty data structure, any sequence of M union-find ops
on N objects makes ≤ c ( N + M lg* N ) array accesses.
・Analysis can be improved to N + M α(M, N).
・Simple algorithm with fascinating mathematics.
Linear-time algorithm for M union-find ops on N objects?
・Cost within constant factor of reading in the data.
・In theory, WQUPC is not quite linear.
・In practice, WQUPC is linear.
Amazing fact. [Fredman-Saks] No linear-time algorithm exists.
N lg* N
1 0
2 1
4 2
16 3
65536 4
265536 5
Weighted quick-union with path compression: amortized analysis
iterate log function
in "cell-probe" model of computation
![Page 141: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/141.jpg)
Key point. Weighted quick union (with path compression) makes it possible
to solve problems that could not otherwise be addressed.
62
order of growth for M union-find operations on a set of N objects
algorithm worst-case time
quick-find M N
quick-union M N
weighted QU N + M log N
QU + path compression N + M log N
weighted QU + path compression N + M lg* N
Summary
![Page 142: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/142.jpg)
Key point. Weighted quick union (with path compression) makes it possible
to solve problems that could not otherwise be addressed.
Ex. [109 unions and finds with 109 objects]
・WQUPC reduces time from 30 years to 6 seconds.
・Supercomputer won't help much; good algorithm enables solution.
62
order of growth for M union-find operations on a set of N objects
algorithm worst-case time
quick-find M N
quick-union M N
weighted QU N + M log N
QU + path compression N + M log N
weighted QU + path compression N + M lg* N
Summary
![Page 143: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/143.jpg)
http://algs4.cs.princeton.edu
ROBERT SEDGEWICK | KEVIN WAYNE
Algorithms
‣ dynamic connectivity
‣ quick find
‣ quick union
‣ improvements
‣ applications
1.5 UNION-FIND
![Page 144: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/144.jpg)
64
・Percolation.
・Games (Go, Hex).
✓ Dynamic connectivity.
・Least common ancestor.
・Equivalence of finite state automata.
・Hoshen-Kopelman algorithm in physics.
・Hinley-Milner polymorphic type inference.
・Kruskal's minimum spanning tree algorithm.
・Compiling equivalence statements in Fortran.
・Morphological attribute openings and closings.
・Matlab's bwlabel() function in image processing.
Union-find applications
![Page 145: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/145.jpg)
An abstract model for many physical systems:
・N-by-N grid of sites.
・Each site is open with probability p (or blocked with probability 1 – p).
・System percolates iff top and bottom are connected by open sites.
65
Percolation
N = 8
does not percolatepercolates
open site connected to top
blockedsite
opensite
no open site connected to top
![Page 146: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/146.jpg)
An abstract model for many physical systems:
・N-by-N grid of sites.
・Each site is open with probability p (or blocked with probability 1 – p).
・System percolates iff top and bottom are connected by open sites.
66
model system vacant site occupied site percolates
electricity material conductor insulated conducts
fluid flow material empty blocked porous
social interaction population person empty communicates
Percolation
![Page 147: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/147.jpg)
Depends on site vacancy probability p.
67
Likelihood of percolation
![Page 148: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/148.jpg)
Depends on site vacancy probability p.
67
Likelihood of percolation
p low (0.4)
does not percolate
![Page 149: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/149.jpg)
Depends on site vacancy probability p.
67
Likelihood of percolation
p low (0.4)
does not percolate
p high (0.8)
percolates
![Page 150: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/150.jpg)
Depends on site vacancy probability p.
67
Likelihood of percolation
p low (0.4)
does not percolate
p medium (0.6)
percolates?
p high (0.8)
percolates
![Page 151: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/151.jpg)
When N is large, theory guarantees a sharp threshold p*.
・p > p*: almost certainly percolates.
・p < p*: almost certainly does not percolate.
Q. What is the value of p* ?
68
Percolation phase transition
![Page 152: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/152.jpg)
When N is large, theory guarantees a sharp threshold p*.
・p > p*: almost certainly percolates.
・p < p*: almost certainly does not percolate.
Q. What is the value of p* ?
68
Percolation phase transition
0.59300
1
1
site vacancy probability p
percolationprobability
p*
N = 100
![Page 153: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/153.jpg)
・Initialize N-by-N whole grid to be blocked.
・Declare random sites open until top connected to bottom.
・Vacancy percentage estimates p*.
69
Monte Carlo simulation
N = 20
empty open site
(not connected to top)
full open site
(connected to top)
blocked site
![Page 154: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/154.jpg)
・Initialize N-by-N whole grid to be blocked.
・Declare random sites open until top connected to bottom.
・Vacancy percentage estimates p*.
69
Monte Carlo simulation
N = 20
empty open site
(not connected to top)
full open site
(connected to top)
blocked site
![Page 155: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/155.jpg)
70
Q. How to check whether an N-by-N system percolates?
Dynamic connectivity solution to estimate percolation threshold
open site
blocked site
N = 5
![Page 156: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/156.jpg)
Q. How to check whether an N-by-N system percolates?
・Create an object for each site and name them 0 to N 2 – 1.
71
Dynamic connectivity solution to estimate percolation threshold
open site
blocked site
N = 5 0 1 2 3 4
5 6 7 8 9
10 11 12 13 14
15 16 17 18 19
20 21 22 23 24
![Page 157: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/157.jpg)
72
Q. How to check whether an N-by-N system percolates?
・Create an object for each site and name them 0 to N 2 – 1.
・Sites are in same component if connected by open sites.
Dynamic connectivity solution to estimate percolation threshold
open site
blocked site
N = 5
![Page 158: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/158.jpg)
73
Q. How to check whether an N-by-N system percolates?
・Create an object for each site and name them 0 to N 2 – 1.
・Sites are in same component if connected by open sites.
・Percolates iff any site on bottom row is connected to site on top row.
Dynamic connectivity solution to estimate percolation threshold
open site
blocked site
N = 5 top row
bottom row
![Page 159: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/159.jpg)
73
Q. How to check whether an N-by-N system percolates?
・Create an object for each site and name them 0 to N 2 – 1.
・Sites are in same component if connected by open sites.
・Percolates iff any site on bottom row is connected to site on top row.
Dynamic connectivity solution to estimate percolation threshold
brute-force algorithm: N 2 calls to connected()
open site
blocked site
N = 5 top row
bottom row
![Page 160: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/160.jpg)
Clever trick. Introduce 2 virtual sites (and connections to top and bottom).
・Percolates iff virtual top site is connected to virtual bottom site.
74
Dynamic connectivity solution to estimate percolation threshold
virtual top site
virtual bottom siteopen site
blocked site
N = 5 top row
bottom row
![Page 161: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/161.jpg)
Clever trick. Introduce 2 virtual sites (and connections to top and bottom).
・Percolates iff virtual top site is connected to virtual bottom site.
74
Dynamic connectivity solution to estimate percolation threshold
virtual top site
virtual bottom site
efficient algorithm: only 1 call to connected()
open site
blocked site
N = 5 top row
bottom row
![Page 162: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/162.jpg)
Q. How to model opening a new site?
75
Dynamic connectivity solution to estimate percolation threshold
open site
blocked site
N = 5
open this site
![Page 163: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/163.jpg)
Q. How to model opening a new site?
A. Mark new site as open; connect it to all of its adjacent open sites.
76
Dynamic connectivity solution to estimate percolation threshold
open this site
open site
blocked site
N = 5
up to 4 calls to union()
![Page 164: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/164.jpg)
77
Q. What is percolation threshold p* ?
A. About 0.592746 for large square lattices.
Fast algorithm enables accurate answer to scientific question.
constant known only via simulation
Percolation threshold
0.59300
1
1
site vacancy probability p
percolationprobability
p*
N = 100
![Page 165: ALGORITHMS AND DATA STRUCTURES - DePaul Universityfpl.cs.depaul.edu/jriely/ds2/extras/princeton/00Intro+15UnionFind.pdf · 2 What is COS 226? ・Intermediate-level survey course](https://reader036.vdocuments.net/reader036/viewer/2022062917/5ed19ebdb67ae8796d0efca5/html5/thumbnails/165.jpg)
Steps to developing a usable algorithm.
・Model the problem.
・Find an algorithm to solve it.
・Fast enough? Fits in memory?
・If not, figure out why.
・Find a way to address the problem.
・Iterate until satisfied.
The scientific method.
Mathematical analysis.
78
Subtext of today’s lecture (and this course)