Groups > comp.lang.python > #19520

Re: constraint based killer sudoku solver performance improvements

Path	csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!weretis.net!feeder1.news.weretis.net!feeder.erje.net!newsfeed.xs4all.nl!newsfeed6.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail
Return-Path	<python-python-list@m.gmane.org>
X-Original-To	python-list@python.org
Delivered-To	python-list@mail.python.org
X-Spam-Status	OK 0.003
X-Spam-Evidence	'H': 0.99; 'S': 0.00; 'python.': 0.04; 'subject:based': 0.07; 'url:py': 0.07; 'url:pypi': 0.08; 'received:80.91': 0.09; 'received:80.91.229': 0.09; 'received:80.91.229.12': 0.09; 'received:gmane.org': 0.09; 'received:list': 0.09; 'received:lo.gmane.org': 0.09; 'thrown': 0.09; ">it's": 0.16; 'answer,': 0.16; 'outputs': 0.16; 'solver': 0.16; 'solves': 0.16; 'url:ics': 0.16; 'wrote:': 0.16; 'solution.': 0.17; 'trace': 0.18; 'written': 0.19; 'url:edu': 0.27; 'column': 0.28; 'assuming': 0.28; 'pure': 0.32; 'url:ie': 0.32; "can't": 0.32; 'to:addr:python-list': 0.33; 'someone': 0.34; 'header:X-Complaints-To:1': 0.34; 'help,': 0.35; 'sets': 0.35; 'url:python': 0.36; 'run': 0.37; 'but': 0.37; 'received:org': 0.37; 'some': 0.38; 'possible.': 0.39; 'url:org': 0.39; 'subject:: ': 0.39; 'did': 0.39; 'to:addr:python.org': 0.40; 'full': 0.62; 'frank': 0.64; 'arrive': 0.66; 'exact': 0.68; 'received:41': 0.70; 'tough': 0.82; 'reasoning': 0.84; 'row,': 0.84; 'sum': 0.88
X-Injected-Via-Gmane	http://gmane.org/
To	python-list@python.org
From	"Frank Millman" <frank@chagford.com>
Subject	Re: constraint based killer sudoku solver performance improvements
Date	Fri, 27 Jan 2012 08:57:10 +0200
References	<jfs5j1$cs3$1@dough.gmane.org>
X-Gmane-NNTP-Posting-Host	41-133-115-158.dsl.mweb.co.za
X-MSMail-Priority	Normal
X-Newsreader	Microsoft Outlook Express 6.00.3790.4657
X-RFC2646	Format=Flowed; Response
X-MimeOLE	Produced By Microsoft MimeOLE V6.00.3790.4913
X-BeenThere	python-list@python.org
X-Mailman-Version	2.1.12
Precedence	list
List-Id	General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe	<http://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	<http://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups	comp.lang.python
Message-ID	<mailman.5153.1327647447.27778.python-list@python.org> (permalink)
Lines	28
NNTP-Posting-Host	2001:888:2000:d::a6
X-Trace	1327647447 news.xs4all.nl 6987 [2001:888:2000:d::a6]:33913
X-Complaints-To	abuse@xs4all.nl
Xref	x330-a1.tempe.blueboxinc.net comp.lang.python:19520

Show key headers only | View raw

"Blockheads Oi Oi" <breamoreboy@yahoo.co.uk> wrote:

>I have a working program based on [1] that sets up all different 
>constraints for each row, column and box and then sets exact sum 
>constraints for each cage.  It'll run in around 0.2 secs for a simple 
>problem, but a tough one takes 2 hours 45 minutes.  I did some research 
>into improving the performance and found [2] but can't work out how to 
>implement the constraints given.  Can someone please help, assuming that 
>it's even possible.
>
> [1] http://pypi.python.org/pypi/python-constraint/1.1
> [2] http://4c.ucc.ie/~hsimonis/sudoku.pdf

I don't have an answer, but are you aware of this -

http://www.ics.uci.edu/~eppstein/PADS/Sudoku.py

It is a sudoko solver written in pure python.

I don't know what you call a tough problem, but this one solves the hardest 
one I have thrown at it in the blink of an eye. It also outputs a full trace 
of  the reasoning it used to arrive at a solution.

Frank Millman

Back to comp.lang.python | Previous | Next | Find similar | Unroll thread

Thread

Re: constraint based killer sudoku solver performance improvements "Frank Millman" <frank@chagford.com> - 2012-01-27 08:57 +0200

csiph-web