From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 02365BBA7 for ; Tue, 15 Nov 2005 20:38:00 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jAFJbxwQ007704 for ; Tue, 15 Nov 2005 20:37:59 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA00197 for ; Tue, 15 Nov 2005 20:37:59 +0100 (MET) Received: from web30501.mail.mud.yahoo.com (web30501.mail.mud.yahoo.com [68.142.200.114]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id jAFJbwHB007695 for ; Tue, 15 Nov 2005 20:37:58 +0100 Received: (qmail 46236 invoked by uid 60001); 15 Nov 2005 19:37:57 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:Received:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=4c+KopMhvdo2zb82yx0lXRDaMnew7AAqGixb1rkTqV3XJXJgp7dyEuZg2xa/OSbRwwa0Z1ybhQoDMGQMidw+dxJu03jkZ6awWVelsl3iZD8WEUFQSC9y6L1d8dvUkBhHJbGAdgP/bcJwgnimg3knGPo7CIhq1YTih9maPTBKp2s= ; Message-ID: <20051115193757.46234.qmail@web30501.mail.mud.yahoo.com> Received: from [141.213.12.136] by web30501.mail.mud.yahoo.com via HTTP; Tue, 15 Nov 2005 11:37:57 PST Date: Tue, 15 Nov 2005 11:37:57 -0800 (PST) From: David Thomas Subject: Re: [Caml-list] Sudoku solver To: caml-list In-Reply-To: <4379F37C.2010408@univ-savoie.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce with ID 437A3917.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 437A3916.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 solver:01 ocaml:01 christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 chablais:01 73376:01 univ-savoie:01 lama:01 caml-list:01 beginner's:01 ocaml:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.2 required=5.0 tests=FORGED_YAHOO_RCVD autolearn=disabled version=3.0.3 Mostly to teach myself Ocaml and Tk, I put together a simple Sudoku game. If anyone wants to play with it, modify it, etc, feel free. http://people.ucsc.edu/~dlthomas/sudoku.ml The puzzle generation at present is entirely braindead, but if someone produces a nice solution, I'd love to see it included. --- Christophe Raffalli wrote: > > And what about a sudoko generator with a pertinent notion of > level for a human ? Would be nice if you could choose the cases > that are filled from start ... > > > a start for level for problems with a unique solution : > > - negative level -n : number of times where you have to do deep > reasonning (guesses) because you do not have an immediate > choice. > > - positive level n : minimum of the number of cases that can be > filled by an immediate choice on all branch ? > > These are not formal definition ... yet, but using a > representation of the problem as a set of close, I think we can > do something with the complexity of the proof search ... > > just for fun ... > > > > -- > Christophe Raffalli > Université de Savoie > Batiment Le Chablais, bureau 21 > 73376 Le Bourget-du-Lac Cedex > > tél: (33) 4 79 75 81 03 > fax: (33) 4 79 75 87 42 > mail: Christophe.Raffalli@univ-savoie.fr > www: http://www.lama.univ-savoie.fr/~RAFFALLI > --------------------------------------------- > IMPORTANT: this mail is signed using PGP/MIME > At least Enigmail/Mozilla, mutt or evolution > can check this signature. The public key is > stored on www.keyserver.net > --------------------------------------------- > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: > http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > __________________________________ Yahoo! FareChase: Search multiple travel sites in one click. http://farechase.yahoo.com