Prim's and Kruskal's AlgorithmsExplores Prim's and Kruskal's algorithms for finding minimum spanning trees in a graph, covering their correctness, implementation, and analysis.
Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Graph Theory BasicsIntroduces induced flows, basis matrices, and tree solutions in graph theory.
Relations Between EventsExplores relations between events, disjunctive constraints, and modeling with binary variables in optimization problems.
Assembly: Mechanism TheoryCovers the problem statement of assembly, precision requirements, common couplings, stability, and spatial vectors.
