From: GP lisper
Subject: Logic Puzzle
Date: 
Message-ID: <slrngief6c.juq.spambait@phoenix.clouddancer.com>
at www.happypenguin.org

------------------------------------------------------------------
Minestein is a version of Minesweeper. But, unlike the original
Minesweeper, in its default mode Minestein will always produce puzzles
that can be solved using logic - no guessing is required. For
traditionalists, Minestein also has an "Original" mode which is
equivalent to the standard program. If users get stuck or are still
learning, Minestein has a button providing a two stage hint mechanism,
plus "show answer" and "show solution" buttons. It can produce puzzles
with a minimum difficulty rating. The Python source code is included
in the download.
------------------------------------------------------------------

Seems like a 'copycat' or 'screamer' type problem.  Anyone with
_background_ in those AI codes have an opinion?  Since Kenny (hi) will
have an opinion, is it cellable?

Happy Holidaze


p.s. extra credit for solutions in Ruby, Emacs-Lisp and Qi.

-- 
"Most programmers use this on-line documentation nearly all of the
time, and thereby avoid the need to handle bulky manuals and perform
the translation from barbarous tongues."  CMU CL User Manual
** Posted from http://www.teranews.com **

From: Patrick May
Subject: Re: Logic Puzzle
Date: 
Message-ID: <m2tza0poxo.fsf@spe.com>
GP lisper <········@CloudDancer.com> writes:
> ------------------------------------------------------------------
> Minestein is a version of Minesweeper. But, unlike the original
> Minesweeper, in its default mode Minestein will always produce puzzles
> that can be solved using logic - no guessing is required. For
> traditionalists, Minestein also has an "Original" mode which is
> equivalent to the standard program. If users get stuck or are still
> learning, Minestein has a button providing a two stage hint mechanism,
> plus "show answer" and "show solution" buttons. It can produce puzzles
> with a minimum difficulty rating. The Python source code is included
> in the download.
> ------------------------------------------------------------------
>
> Seems like a 'copycat' or 'screamer' type problem.  Anyone with
> _background_ in those AI codes have an opinion?  Since Kenny (hi) will
> have an opinion, is it cellable?

     Minesweeper isn't just Cellable, it's immediately solved simply by
representing the problem in Cells.

     Hmm, I wonder if Sudoku falls as fast....

Regards,

Patrick

------------------------------------------------------------------------
S P Engineering, Inc.  | Large scale, mission-critical, distributed OO
                       | systems design and implementation.
http://www.spe.com/pjm | (C++, Java, Common Lisp, Jini, middleware, SOA)
From: Kenny
Subject: Re: Logic Puzzle
Date: 
Message-ID: <492773d0$0$13281$607ed4bc@cv.net>
Patrick May wrote:
> GP lisper <········@CloudDancer.com> writes:
> 
>>------------------------------------------------------------------
>>Minestein is a version of Minesweeper. But, unlike the original
>>Minesweeper, in its default mode Minestein will always produce puzzles
>>that can be solved using logic - no guessing is required. For
>>traditionalists, Minestein also has an "Original" mode which is
>>equivalent to the standard program. If users get stuck or are still
>>learning, Minestein has a button providing a two stage hint mechanism,
>>plus "show answer" and "show solution" buttons. It can produce puzzles
>>with a minimum difficulty rating. The Python source code is included
>>in the download.
>>------------------------------------------------------------------
>>
>>Seems like a 'copycat' or 'screamer' type problem.  Anyone with
>>_background_ in those AI codes have an opinion?  Since Kenny (hi) will
>>have an opinion, is it cellable?
> 
> 
>      Minesweeper isn't just Cellable, it's immediately solved simply by
> representing the problem in Cells.

No cycles? You'd have to deal with cycles, right? Not that that is 
impossible, I just never had a cycle that survived sufficient analysis 
so I never bothered.

kt
From: Patrick May
Subject: Re: Logic Puzzle
Date: 
Message-ID: <m2prkopduj.fsf@spe.com>
Kenny <·········@gmail.com> writes:
> Patrick May wrote:
>> GP lisper <········@CloudDancer.com> writes:
>>>------------------------------------------------------------------
>>>Minestein is a version of Minesweeper. But, unlike the original
>>>Minesweeper, in its default mode Minestein will always produce puzzles
>>>that can be solved using logic - no guessing is required. For
>>>traditionalists, Minestein also has an "Original" mode which is
>>>equivalent to the standard program. If users get stuck or are still
>>>learning, Minestein has a button providing a two stage hint mechanism,
>>>plus "show answer" and "show solution" buttons. It can produce puzzles
>>>with a minimum difficulty rating. The Python source code is included
>>>in the download.
>>>------------------------------------------------------------------
>>>
>>>Seems like a 'copycat' or 'screamer' type problem.  Anyone with
>>>_background_ in those AI codes have an opinion?  Since Kenny (hi)
>>>will have an opinion, is it cellable?
>>
>>      Minesweeper isn't just Cellable, it's immediately solved simply
>> by representing the problem in Cells.
>
> No cycles? You'd have to deal with cycles, right? Not that that is
> impossible, I just never had a cycle that survived sufficient analysis
> so I never bothered.

     I was trying to help out with your marketing.

     That being said, I did write a Sudoku solver using Cell-like, very
local processing and it turns out that cycles are not usual.  Just
applying the rule of eliminating impossibilities yields the solution to
most daily newspaper puzzles.  I'm not sure if Minesweeper works the
same way.  Hmm....

     Thanks for blowing my weekend.

Regards,

Patrick

------------------------------------------------------------------------
S P Engineering, Inc.  | Large scale, mission-critical, distributed OO
                       | systems design and implementation.
http://www.spe.com/pjm | (C++, Java, Common Lisp, Jini, middleware, SOA)
From: Kenny
Subject: Re: Logic Puzzle
Date: 
Message-ID: <492801b5$0$20281$607ed4bc@cv.net>
Patrick May wrote:
> Kenny <·········@gmail.com> writes:
> 
>>Patrick May wrote:
>>
>>>GP lisper <········@CloudDancer.com> writes:
>>>
>>>>------------------------------------------------------------------
>>>>Minestein is a version of Minesweeper. But, unlike the original
>>>>Minesweeper, in its default mode Minestein will always produce puzzles
>>>>that can be solved using logic - no guessing is required. For
>>>>traditionalists, Minestein also has an "Original" mode which is
>>>>equivalent to the standard program. If users get stuck or are still
>>>>learning, Minestein has a button providing a two stage hint mechanism,
>>>>plus "show answer" and "show solution" buttons. It can produce puzzles
>>>>with a minimum difficulty rating. The Python source code is included
>>>>in the download.
>>>>------------------------------------------------------------------
>>>>
>>>>Seems like a 'copycat' or 'screamer' type problem.  Anyone with
>>>>_background_ in those AI codes have an opinion?  Since Kenny (hi)
>>>>will have an opinion, is it cellable?
>>>
>>>     Minesweeper isn't just Cellable, it's immediately solved simply
>>>by representing the problem in Cells.
>>
>>No cycles? You'd have to deal with cycles, right? Not that that is
>>impossible, I just never had a cycle that survived sufficient analysis
>>so I never bothered.
> 
> 
>      I was trying to help out with your marketing.

I realized that only after posting. Nice job, we'll put you in the 
Hyperbole sig of the marketing group.

I do not think it is a problem that is any more or less manageable with 
Cells, upon reflection.

> 
>      That being said, I did write a Sudoku solver using Cell-like, very
> local processing and it turns out that cycles are not usual.  Just
> applying the rule of eliminating impossibilities yields the solution to
> most daily newspaper puzzles.  I'm not sure if Minesweeper works the
> same way.  Hmm....
> 
>      Thanks for blowing my weekend.

Careful, it could be a whole month. I had great fun with one of the 
Google puzzles, wich I could work on it more, I keep having new ideas.

peace,kzo
From: Xah Lee
Subject: Re: Logic Puzzle
Date: 
Message-ID: <d6b58cbe-64aa-4dd6-83da-a409201d54d8@c36g2000prc.googlegroups.com>
On Nov 21, 2:57 pm, GP lisper <········@CloudDancer.com> wrote:
> atwww.happypenguin.org
>
> ------------------------------------------------------------------
> Minestein is a version of Minesweeper. But, unlike the original
> Minesweeper, in its default mode Minestein will always produce puzzles
> that can be solved using logic - no guessing is required. For
> traditionalists, Minestein also has an "Original" mode which is
> equivalent to the standard program. If users get stuck or are still
> learning, Minestein has a button providing a two stage hint mechanism,
> plus "show answer" and "show solution" buttons. It can produce puzzles
> with a minimum difficulty rating. The Python source code is included
> in the download.
> ------------------------------------------------------------------
>
> Seems like a 'copycat' or 'screamer' type problem.  Anyone with
> _background_ in those AI codes have an opinion?  Since Kenny (hi) will
> have an opinion, is it cellable?
>
> Happy Holidaze
>
> p.s. extra credit for solutions in Ruby, Emacs-Lisp and Qi.

what's this have to do with lisp?

but minesweeper is so outdated.

There are minesweepers with different topology, e.g. you play it on
regular tilings on the surface of a regular polyhedron, such as a cube
or truncated isocahedron.

See bottom of:

• Great Math Programs on Puzzles
  http://xahlee.org/PageTwo_dir/MathPrograms_dir/puzzle.html
  (the page is fairly not maintained)

see also:

• The Math Video Games
  http://xahlee.org/Periodic_dosage_dir/t2/maze.html

for some random thoughts on classical arcade games that are strongly
mathematical.

  Xah
∑ http://xahlee.org/

☄
From: Kenny
Subject: Re: Logic Puzzle
Date: 
Message-ID: <49280265$0$20308$607ed4bc@cv.net>
Xah Lee wrote:
> On Nov 21, 2:57 pm, GP lisper <········@CloudDancer.com> wrote:
> 
>>atwww.happypenguin.org
>>
>>------------------------------------------------------------------
>>Minestein is a version of Minesweeper. But, unlike the original
>>Minesweeper, in its default mode Minestein will always produce puzzles
>>that can be solved using logic - no guessing is required. For
>>traditionalists, Minestein also has an "Original" mode which is
>>equivalent to the standard program. If users get stuck or are still
>>learning, Minestein has a button providing a two stage hint mechanism,
>>plus "show answer" and "show solution" buttons. It can produce puzzles
>>with a minimum difficulty rating. The Python source code is included
>>in the download.
>>------------------------------------------------------------------
>>
>>Seems like a 'copycat' or 'screamer' type problem.  Anyone with
>>_background_ in those AI codes have an opinion?  Since Kenny (hi) will
>>have an opinion, is it cellable?
>>
>>Happy Holidaze
>>
>>p.s. extra credit for solutions in Ruby, Emacs-Lisp and Qi.
> 
> 
> what's this have to do with lisp?

The transition is compleat!

We are Pleased.

hrk
From: Xah Lee
Subject: Re: Logic Puzzle
Date: 
Message-ID: <a7a349e6-3a24-4224-8ed0-3cc5bcacde3b@r24g2000prr.googlegroups.com>
GP lisper <········@CloudDancer.com> wrote:
> >>Minestein is a version of Minesweeper.
> >> ...
> >>p.s. extra credit for solutions in Ruby, Emacs-Lisp and Qi.

Xah Lee wrote:
> > what's this have to do with lisp?

Kenny wrote:
> The transition is compleat!

is that supposed to be a portmanteau for complete, neat, and plead?

For more combo words, see:

• Vocabulary Study: Hyphenated Wonders
  http://xahlee.org/PageTwo_dir/Vocabulary_dir/hyphwords.html

• English Vocabulary: Combination Words (page 1)
  http://xahlee.org/PageTwo_dir/Vocabulary_dir/combowords.html

For all of you lisp slackers out there who don't have nothing to do
all day, please join me in my a-word-a-day, at

• English Vocabulary: A Word A Day
  http://xahlee.org/PageTwo_dir/Vocabulary_dir/new.html

Btw, as a member of “comp.lang.lisp”, by the power vested in me, i'm
going to swing the topicality of this thread back on track: note that
lisp is used extensively for the above. For example, extensive custome
elisp code is used to create those pages, including:

insert-word-entry
insert-definition-entry
make-time-mag-src
lookup-google
source-linkify
lookup-word-def
lookup-word-definition
lookup-wikipedia
wrap-url
wrap-span
... several more.

the definition of these can be found at:

• Xah Lee's Emacs Customization File
  http://xahlee.org/emacs/xah_emacs_init.html

  Xah
∑ http://xahlee.org/

☄