Path: csiph.com!usenet.pasdenom.info!news.redatomik.org!newsfeed.xs4all.nl!newsfeed1a.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <rosuav@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.135
X-Spam-Level: *
X-Spam-Evidence: '*H*': 0.83; '*S*': 0.10; 'patterns': 0.04; 'grid': 0.09; 'subset': 0.09; 'cc:addr:python-list': 0.11; '1:09': 0.16; 'define,': 0.16; 'from:addr:rosuav': 0.16; 'from:name:chris angelico': 0.16; 'heads.': 0.16; 'sat,': 0.16; 'wrote:': 0.18; 'do.': 0.18; '>>>': 0.22; 'cc:addr:python.org': 0.22; 'cc:2**0': 0.24; 'header:In-Reply-To:1': 0.27; 'am,': 0.29; 'message- id:@mail.gmail.com': 0.30; 'maybe': 0.34; "can't": 0.35; 'received:google.com': 0.35; 'error.': 0.37; 'though,': 0.39; 'called': 0.40; 'dave': 0.60; 'talking': 0.65; 'mar': 0.68; 'analysis': 0.75; 'trial': 0.83; '2015': 0.84; 'proves': 0.84; 'regexp': 0.84; 'angel': 0.91; 'to:none': 0.92; 'besides,': 0.93; 'this!': 0.93
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:cc :content-type; bh=s2H1lj2nAGtrcCX8Gb2dLGQDKIvJe+FVw2urmtAcOp4=; b=hwkhLNK4Qr3xI3qg6yfL1EFe8dnlYAoLjaiBQHWeY0LmHHYbAFT1sqtKdvXcgnRqsY /6Jtg7CPEC/Ss2mREDEB+N8zHYN4oeKFMYIEnBcY3BWWCHkKodzucvDeMTh46c9bk6JQ 7fSEwPrj7walaKvx2zhUmO2eZjDfyv7wB24cFgkX4JrKu7axNRdyduHCH1ju3yA5jwWS lZaHSVCwqB5bRJnFjE0rBMQ0Mgfb6YNs2ao1pxpOKeE4086+5Rrt7reglVNSe39M15j2 x17nM8UZzkqZkLdFboSDv52t0oiklks4w/AlqkMeUAj5rxCWyzWP0YOqaRM5D4jczmiM InNA==
MIME-Version: 1.0
X-Received: by 10.50.79.161 with SMTP id k1mr5447346igx.14.1427465959023; Fri, 27 Mar 2015 07:19:19 -0700 (PDT)
In-Reply-To: <55156489.9050200@davea.name>
References: <87r3sdnw5t.fsf@elektro.pacujo.net> <mailman.188.1427358005.10327.python-list@python.org> <87fv8sndw1.fsf@elektro.pacujo.net> <mf36kv$ko6$1@ger.gmane.org> <CAPTjJmpUxitmFq7tW-LT4JtwPU4cvzgLfDMj1XD_25piJuTmtA@mail.gmail.com> <551557B3.5090102@davea.name> <mailman.252.1427463342.10327.python-list@python.org> <87twx6lf15.fsf@elektro.pacujo.net> <55156489.9050200@davea.name>
Date: Sat, 28 Mar 2015 01:19:18 +1100
Subject: Re: Sudoku solver
From: Chris Angelico <rosuav@gmail.com>
Cc: "python-list@python.org" <python-list@python.org>
Content-Type: text/plain; charset=UTF-8
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.19
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.263.1427465961.10327.python-list@python.org>
Lines: 28
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1427465961 news.xs4all.nl 2823 [2001:888:2000:d::a6]:56949
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:88165

On Sat, Mar 28, 2015 at 1:09 AM, Dave Angel <davea@davea.name> wrote:
> On 03/27/2015 09:56 AM, Marko Rauhamaa wrote:
>>
>> "Frank Millman" <frank@chagford.com>:
>>
>>> So what I am talking about is called a "satisfactory" puzzle, which is
>>> a subset of a "proper" puzzle.
>>
>>
>> That is impossible to define, though, because some people are mental
>> acrobats and can do a lot of deep analysis in their heads. What's
>> satisfactory to you may not be satisfactory to me.
>>
>> Besides, looking for "satisfactory" patterns can involve a truckload of
>> trial and error.
>>
>
> I know, let's use "regular expressions"  <g>

Part of me is quaking in fear... the other part looking on in morbid
fascination. Can you build a regexp that proves a Sudoku grid
solvable?

OWWWWWWWWWWWWW! Okay, now all of me is quaking in fear. Please do not do this!

Or maybe do. Ow. I can't decide.

ChrisA