![](https://ccweb.imgix.net/https%3A%2F%2Fwww.classcentral.com%2Fimages%2Ficon-black-friday.png?auto=format&ixlib=php-4.1.0&s=fe56b83c82babb2f8fce47a2aed2f85d)
Overview
![](https://ccweb.imgix.net/https%3A%2F%2Fwww.classcentral.com%2Fimages%2Ficon-black-friday.png?auto=format&ixlib=php-4.1.0&s=fe56b83c82babb2f8fce47a2aed2f85d)
This course teaches learners how to solve the reachability problem in parallel using almost linear work and square root depth. The course covers topics such as Parallel BFS, Finemans Algorithm, analyzing algorithms, recursion, and generalization. The teaching method involves presenting the intuition behind the algorithms, discussing previous results, providing proofs, and analyzing the efficiency of the algorithms. This course is intended for individuals interested in parallel computing, algorithm design, and distributed systems.
Syllabus
Introduction
Reachability Problem
Parallel BFS
Intuition
Algorithm
Distributed Reachability
Previous Results
Proof
Finemans Algorithm
Analysis
Improve Can Action
Analyzing the Algorithm
Observations
Recursion
Generalization
Conclusions
Taught by
IEEE FOCS: Foundations of Computer Science