Path: csiph.com!usenet.pasdenom.info!news.redatomik.org!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail Return-Path: X-Original-To: python-list@python.org Delivered-To: python-list@mail.python.org X-Spam-Status: UNSURE 0.232 X-Spam-Level: ** X-Spam-Evidence: '*H*': 0.55; '*S*': 0.01; 'correct.': 0.07; 'subset': 0.09; 'wrote': 0.14; '(a.k.a.': 0.16; 'wrote:': 0.18; 'solution.': 0.20; 'seems': 0.21; 'header:User-Agent:1': 0.23; 'error': 0.23; 'refers': 0.24; 'defined': 0.27; 'values': 0.27; 'header:In-Reply- To:1': 0.27; 'am,': 0.29; 'url:wiki': 0.31; 'url:wikipedia': 0.31; "we're": 0.32; 'sense': 0.34; 'but': 0.35; 'thanks': 0.36; 'possible': 0.36; 'url:org': 0.36; 'minimum': 0.38; 'initially': 0.38; 'to:addr:python-list': 0.38; 'to:addr:python.org': 0.39; 'called': 0.40; 'according': 0.40; 'even': 0.60; 'completed': 0.61; 'numbers': 0.61; 'different': 0.65; 'talking': 0.65; 'charset:windows-1252': 0.65; 'book.': 0.68; 'frank': 0.68; 'received:74.208': 0.68; 'trial': 0.83; 'agreement,': 0.84; 'partially': 0.84; 'vocabulary': 0.84; 'agreement.': 0.91 Date: Fri, 27 Mar 2015 09:52:09 -0400 From: Dave Angel User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 MIME-Version: 1.0 To: python-list@python.org Subject: Re: Sudoku solver References: <87r3sdnw5t.fsf@elektro.pacujo.net> <87fv8sndw1.fsf@elektro.pacujo.net> <551557B3.5090102@davea.name> In-Reply-To: Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:PHiCOzF9s9Pf04twJh4PW6JkfRVeSzL6lrk6INWuUC0PZcLw20H QsDagyWOdz+/Av4OWHp7phvM/M9WgyeRdnhPGTAI23Y6Y03QA0QDL158VA1ytqFiK8ug64m IuLwkQp1mBpeq2gIro247HFObU11UBnl9uJCoGzVoqMnLhN7Hv2P3Cri6MFODp6HDimDZtx 0sVPGHx6KHBqi6WnSByGw== X-UI-Out-Filterresults: notjunk:1; X-Mailman-Approved-At: Fri, 27 Mar 2015 14:54:20 +0100 X-BeenThere: python-list@python.org X-Mailman-Version: 2.1.19 Precedence: list List-Id: General discussion list for the Python programming language List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Newsgroups: comp.lang.python Message-ID: Lines: 34 NNTP-Posting-Host: 2001:888:2000:d::a6 X-Trace: 1427464460 news.xs4all.nl 2952 [2001:888:2000:d::a6]:36686 X-Complaints-To: abuse@xs4all.nl Xref: csiph.com comp.lang.python:88158 On 03/27/2015 09:35 AM, Frank Millman wrote: > > "Dave Angel" wrote in message > news:551557B3.5090102@davea.name... >> >> But now I have to disagree about "true Sudoku puzzle." As we said >> earlier, it might make sense to say that puzzles that cannot be solved >> that way are not reasonable ones to put in a human Sudoku book. But why >> isn't it a "true Sudoku puzzle"? >> > > It seems you are correct. > > According to Wikipedia http://en.wikipedia.org/wiki/Glossary_of_Sudoku - > > A puzzle is a partially completed grid. The initially defined values are > known as givens or clues. A proper puzzle has a single (unique) solution. A > proper puzzle that can be solved without trial and error (guessing) is known > as a satisfactory puzzle. An irreducible puzzle (a.k.a. minimum puzzle) is a > proper puzzle from which no givens can be removed leaving it a proper puzzle > (with a single solution). It is possible to construct minimum puzzles with > different numbers of givens. The minimum number of givens refers to the > minimum over all proper puzzles and identifies a subset of minimum puzzles. > > So what I am talking about is called a "satisfactory" puzzle, which is a > subset of a "proper" puzzle. > Thanks for the wikipedia reference. Now we're in violent agreement, and even have a vocabulary to use for that agreement. -- DaveA