That's exactly it.
Unfortunately, this is nowhere near the top of my priority stack :(.
cheers
D
--- Russ Abbott <[EMAIL PROTECTED]> wrote:
> Sounds like an elegant idea. I'd like to see how it comes out.
> As I understand what you're saying, each cell in the grid would have a
> unique ID, e.g., 1 .. 81. Each number, row, column, and 3x3 subgrid would be
> a set of these with the constraints as you indicate. Is that right?
> -- Russ
>
> On 11/12/05, daniel mahler <[EMAIL PROTECTED]> wrote:
> >
> >
> > When I was thinking of writing a sudoku solver,
> > I thought of treating the numbers as FS variables
> > instead of treating the positions as FD variables
> > Rows, columns and blocks are (fixed) sets of positions as well.
> > Then you just need to say the numbers are all mutually disjoint,
> > have cardinality 9, and have a singleton intersection with each
> > row, column and block.
> > I though this would be nicer to code than the FD approach.
> > Any thoughts on the relative merits of the approaches?
> >
> > Daniel
> >
>
__________________________________
Yahoo! FareChase: Search multiple travel sites in one click.
http://farechase.yahoo.com
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users