This accessible tutorial reference by a multidisciplinary team of experts surveys efficient algorithms for analysing different types of games on graphs and applications in optimisation, reinforcement learning, model theory, and set theory. Prerequisites are a basic understanding of discrete algorithms and graph theory.