Minesweeper: theory and application
Christopher Wong


I will explain how to play the popular computer game Minesweeper and discuss some mathematical aspects of the game. In particular, we will introduce some basic notions in computational complexity theory and use them to demonstrate that the "Minesweeper problem" is hard. Applications of these results include finding ways to avoid doing work and are left as an exercise to the audience.