Braingle Minesweeper online spielen. Pirate's Booty von Braingle ist ein gelungenes Minesweeper Spiel mit einer Piratenstory. Gehen Sie mit dem Metall-Detektor auf Schatzsuche.
Diese Version von Minesweeper ist im Wesentlichen ein Klon des Microsoft Windows XP und Minesweeper-Spiel ist in Java geschrieben. Zusätzlich zu den regulären Spiel, wir haben zusätzliche Tasten, die Umsetzung unterschiedlicher EDV-Unterstützung. Haben Sie jemals gespielt Minesweeper? Es ist ein niedliches Spiel, das innerhalb einer bestimmten Betriebssystem, deren Name uns nicht wirklich erinnern kann, kommt. Nun, das ist das Ziel des Spiels zu finden, wo alle Minen innerhalb eines MxN Gebiet sind. Um Ihnen zu helfen, das Spiel zeigt eine Zahl in einem Quadrat, das Ihnen sagt, wie viele Minen gibt es neben diesem Platz. Nehmen wir beispielsweise an den folgenden 4x4 Feld mit 2 Minen.
Die Verbindung zu dem Computer-Spiel kommt, wenn wir die Vereinbarkeit Minesweeper Problem einzuführen. Dies ist nicht zu den Minen zu finden, sondern um festzustellen, ob ein bestimmtes Land, was vorgibt, eine Minesweeper Spiel ist oder nicht logisch konsistent. Zum Beispiel, wenn während der Sachstand Sie Abb.2 gestoßen, würden Sie wissen, dass der Programmierer einen Fehler gemacht hatte: Es gibt keine Zuteilung von Minen im Einklang mit den Informationen angezeigt. Kaye beweist, dass Minesweeper gleichwertig SAT ist, in folgendem Sinne. Die SAT-Problem für einen bestimmten booleschen Schaltung kann "codiert" als Minesweeper Konsistenz Problem für manche Position im Spiel, mit einem Code-Verfahren, das in polynomialer Zeit läuft. Deshalb, wenn Sie die Konsistenz Minesweeper Problem in polynomialer Zeit lösen könnte, würden Sie die SAT-Problem für die Schaltung in polynomialer Zeit gelöst haben. In anderen Worten, Minesweeper NP-vollständig. Also, wenn einige helle Funken findet einen Polynomialzeit-Lösung Minesweeper, oder abwechselnd beweist, dass eine solche Lösung existiert, dann ist das P = NP? Problem gelöst ist (eine oder andere Weise). Kaye Beweis beinhaltet ein systematisches Verfahren zur Umwandlung von Booleschen Schaltkreise in Minesweeper Positionen. Hier ein Planquadrat Staat hat T, wenn es eine Mine enthält, und F, falls nicht. Der erste Schritt besteht nicht Toren, aber die Drähte, die sie verbinden. Abb.3 zeigt ein Minesweeper Draht. Alle gekennzeichneten Felder x enthalten entweder eine Mine (T) enthalten oder nicht auf eine Mine (F), aber wir wissen nicht, welche. Alle gekennzeichneten Felder x 'tun das Gegenteil von x. Sie sollten überprüfen, dass alle Zahlen korrekt angezeigt, ob x T oder F. Die Wirkung des Drahtes ist, handelt es sich um "propagieren" das Signal T oder F entlang seiner Länge, zur Eingabe bereit zu einem Tor. Hier gibt es mehr Elektronik als dieses Minesweeper - zum Beispiel, müssen wir in der Lage, Drähte biegen, split them, join them, oder sie überqueren, ohne den Anschluss. Kaye löst alle diese Probleme, und andere subtile, in seinem Artikel. Die Folge ist, dass die Lösung des Problem ist Minesweeper Konsistenz algorithmisch äquivalent zu der SAT Problem, und ist damit NP-vollständig. Zu nahezu jedem Mathematiker und Informatiker, bedeutet dies, dass die Konsistenz Minesweeper Problem muß von Natur aus schwer. Es ist erstaunlich, dass ein so einfaches Spiel sollte so hartnäckigen Folgen haben, sondern mathematische Spiele sind so. Wenn Sie interessiert sind in diesen Millionen-Dollar-Preisen, ein Wort der Warnung. Das Clay Institute strenge Vorschriften, bevor es eine Lösung akzeptieren, wie lang gültig. Insbesondere muss sie durch eine große referierten Zeitschrift veröffentlicht werden, und es mußte "allgemein anerkannten" durch die mathematische Gemeinschaft innerhalb von zwei Jahren nach Veröffentlichung haben. Aber selbst wenn Sie nicht vorhaben, etwas so entmutigend wie die zu bekämpfen, können Sie eine Menge Spaß beim Spielen Minesweeper, in dem sicheren Wissen, dass es beinhaltet eines der großen ungelösten Probleme unserer Zeit.