Lectures related to Group Membership and View Synchrony

Improved Algorithm: Three-Color Parity Games

Introduces an improved algorithm for three-color parity games, focusing on progress measures, acceleration, and practical speed-up.

Untitled

Coin Rendering: Part 1

Covers coin rendering and the limitations of the greedy algorithm in finding optimal solutions.

Minimum Spanning Trees: Prim's Algorithm

Explores Prim's algorithm for minimum spanning trees and introduces the Traveling Salesman Problem.

Search Algorithms: Two Examples

Covers basic algorithm ingredients, search algorithms, control structures, and algorithm correctness.

Entropy and Algorithms: Applications in Sorting and Weighing

Covers the application of entropy in algorithms, focusing on sorting and decision-making strategies.

Algorithms in Computer Science: Search and Sort Techniques

Provides an overview of essential search and sort algorithms in computer science.

Search Algorithms: Abductive Reasoning

Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.

Terminating Reliable Broadcast & NBAC

Explores Terminating Reliable Broadcast and Non-Blocking Atomic Commit in distributed systems, covering agreement, consensus, and transaction commitment.