"Toby Walsh at the University of NSW Australia has, as reported in New Scientist, studied a generalized version of the popular game Candy Crush Saga and found it be an NP-hard problem, indeed he suggests 'Part of its addictiveness may be that Candy Crush is a computationally hard puzzle to solve.'
His paper shows that early rounds in the game can be modeled as a collection of 'wires' transmitting information across the board, with candies forming inputs and outputs, which can be seen as equivalent to logical statements, this reduces the game to an example of a Boolean satisfiability problem which is known to be NP-complete. A similar technique has been used to show that Super Mario Brothers and Zelda are also NP-hard.
Given that people have spent millions of hours playing the game he notes 'It would be interesting to see if we can profit from the time humans spend solving Candy Crush problems, perhaps we can put this to even better use by hiding some practical NP-hard problems within these puzzles?'"
(Score: 5, Interesting) by bstamour on Wednesday March 12 2014, @07:42PM
Sort of. By my understanding of complexity theory, it would be more like: one of your magical monkeys hands me a solution to the game, and I can verify that it is indeed a solution in polynomial time. However constructing the solution to begin with is still computationally very difficult.
Consider minesweeper: if some oracle handed me a solution to the puzzle, I could quickly scan over it and say "yes this is a solution", or "no, you hit a bomb over there" pretty easily.
Peace, love, and Unix
(Score: 4, Interesting) by MrGuy on Wednesday March 12 2014, @07:49PM
Right - get how NP-complete problems work.
I'm referring to the suggestion in TFA/TFS that, since we've proven equivalency, if we were in a position where we had a specific instance of an NP-complete or NP-hard problem, we could construct a version of the game that was equivalent to that problem, and then use people playing the game to "solve" the NP-hard/NP-complete instance problem we care about. i.e. use humans playing a game as logical processing threads to find solutions to a more important but less fun version of the problem.
(Score: 1) by bstamour on Wednesday March 12 2014, @07:52PM
Ah, gotcha. In that case your statement is absolutely correct.
Peace, love, and Unix