Minesweeper is co-NP-complete [pdf] | Dark Hacker News