Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Complexity Classes: P and NPExplores complexity classes P and NP, highlighting solvable and verifiable problems, including NP-complete challenges.
Introduction to AlgorithmsIntroduces algorithms as problem-solving procedures, covering complexity, correctness, and implementation in various languages.