{"id":943,"date":"2007-02-19T10:17:52","date_gmt":"2007-02-19T08:17:52","guid":{"rendered":"http:\/\/www.randform.org\/blog\/?p=943"},"modified":"2007-02-19T10:17:52","modified_gmt":"2007-02-19T08:17:52","slug":"mindsweeping-minesweeper","status":"publish","type":"post","link":"https:\/\/www.randform.org\/blog\/?p=943","title":{"rendered":"mindsweeping minesweeper"},"content":{"rendered":"

\"Xdemineur.png\"
\nimage from wikipedia<\/a>
\nThis is a followup to the last quantum computer post<\/a>.<\/p>\n


\n<\/br>
\nThe computer game Minesweeper<\/a> (here also a Java applet<\/a>) plays an important role in complexity theory<\/a>.<\/p>\n

In particular the question wether a given state during a game of Minesweeper has no intrinsic contradictions (between known bomb positions and indicated ones) is probably not solvable within a decent time<\/a> (via a computer algorithm): Minesweeper is a so-called NP-complete<\/a> problem and NP-complete problems can probably not be solved in polynomial time.<\/p>\n

However if you could eliminate the word probably<\/strong> in my above sentence then you could earn 1 million dollar (and probably more than that). The above problem is called the NP versus P <\/a> problem and one of the seven millenium prize problems in math (here P stands for problems that can be solved in polynomial time and NP for problems for which one can verify a solution in polynomial time). Details on how to win are on this very nicely written Millenium prize site<\/a>.<\/p>\n

So in short: It is generally BELIEVED that NP is NOT P, but<\/strong> the proof hasn’t been done yet, i.e. the Minesweeper problem is still somewhat open.<\/p>\n

Why is this at all a thrilling problem? This is because 1) one wants computers to solve problems in a decent time (also if this seems not so probable) and 2) because if one proves the above for one NP-complete problem than one proved it for all NP problems, which are quite a big class of problems. So a proof about the solvability of the Minesweeper problem gives a decision about the solvability of a lot of other problems. But sofar we have to live on without a proof, i.e. with an open problem.<\/p>\n

For those who yet don’t know this is how the game Minesweeper works:
\n(citation from the Millenium prize site<\/a>)<\/p>\n

The computer starts the game by showing you a blank grid of squares. Some squares conceal mines; the rest are safe. Your task is to work out where the mines are without detonating any of them. You do this by choosing a square. If there’s a mine underneath it, the mine is detonated and the game ends \u2014 – with a loss for you, of course. If there is no mine, however, the computer writes a number in that square, telling you how many mines there are in the eight immediately adjacent squares (horizontally, vertically, and diagonally).<\/p>\n

If your first guess hits a mine, you’re unlucky: you get no information except that you’ve lost. If it doesn’t, though, then you get partial information about the location of nearby mines. You use this information to influence your next choice of square, and again either you detonate a mine and lose, or you gain information about the positions of nearby mines.<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"

image from wikipedia This is a followup to the last quantum computer post.<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[10,2,6],"tags":[],"_links":{"self":[{"href":"https:\/\/www.randform.org\/blog\/index.php?rest_route=\/wp\/v2\/posts\/943"}],"collection":[{"href":"https:\/\/www.randform.org\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.randform.org\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.randform.org\/blog\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.randform.org\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=943"}],"version-history":[{"count":0,"href":"https:\/\/www.randform.org\/blog\/index.php?rest_route=\/wp\/v2\/posts\/943\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.randform.org\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=943"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.randform.org\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=943"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.randform.org\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=943"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}