« Addicted to Google | Main | Nya rön i fångarnas dilemma - lite länkar »
oktober 17, 2004
Automatisk "lösning" av Minesweeper i Mozart/Oz
Raphaël Collet har byggt ett program som automatiskt löser spelet Minesweeper, och har också skrivit papret Playing the Minesweeper with Constraints (PDF) om detta. Programmet ser nästan ut som originalet och finns att ladda ner på The Oz Minesweeper page.
För att köra programmet krävs:
* The Mozart Programming System
* Någon form av Emacs (Xemacs eller GNU Emacs). Windows-versionen går det att ladda ner via denna sida
* Glöm inte bort att sätta miljövariabeln OZEMACS till Emacs-exekutabeln (annars funkar det inte)
* Läs på Enabling Oz Applets hur man kör Oz-program via webben.
Se vidare
Mozart Documentation
Speciellt skoj är Finite Domain Constraint Programming in Oz. A Tutorial
The Authoritative Minesweeper
Solving Minesweeper
Richard Kaye's Minesweeper Pages. Kaye bevisade för några år sedan att Minesweeper är ett NP-komplett problem: "Minesweeper is NP-complete", Mathematical Intelligencer volume 22 number 4, 2000, pages 9-15 (har varken hittat eller läst detta).
Ian Stewart on Minesweeper
Chris Studholme: Minesweeper as a Constraint Satisfaction Problem
Tetris is Hard, Even to Approximate
On-Line Guide to Constraint Programming av Roman Barták
Second International Mozart/Oz Conference
När det gäller Constraint Logic Programming tycker jag i och för sig att både ECLiPSE (fritt men kräver registrering) och Sicstus Prolog är lättare att arbeta med. Och boken Programming with Constraints av Kim Marriott och Peter J. Stuckey är en höjdare.
Rätt lite av ovanstående kom direkt via Lambda The Ultimate, men det började där.
Posted by hakank at oktober 17, 2004 07:51 EM Posted to Artificiell intelligens