head

root

para

L<Examples| file:../examples/index.podlite>


L<Download |file:../download/index.podlite>


React

=begin React :component<HeaderCol> :id<menu> 
=para L<Documentation|/doc/introduction>
=para L<Modules| /mods>
=para L<Examples| file:../examples/index.podlite>
=para L<Download |file:../download/index.podlite>
=para L<About|file:../about/index.podlite>
=para 🔍 K<⌘K>/K<ctrl-K>
=end React


HEADER

FOOTER

Game-Sudoku-Solver

use v6.c;

class Game::Sudoku:ver<1.1.4>:auth<zef:Scimon> {

    subset GridCode of Str where * ~~ /^ <[0..9]> ** 81 $/;
    subset Idx of Int where 0 <= * <= 8;
    subset CellValue of Int where 0 <= * <= 9;

    has Array @!grid;
    has Set $!initial;
    has Junction $!valid-all;
    has Junction $!none-all;
    has %!poss-cache = ();
    has %!test-cache = ();
    
    multi submethod BUILD( GridCode :$code = ("0" x 81) ) {
        my @tmp = $code.comb.map( *.Int );
        my @initial-list = ();
        (^9 X ^9).flat.map(
            -> $x,$y {
                @!grid[$y][$x] = @tmp[($y*9)+$x];
                @initial-list.push( $x*10+$y ) if @tmp[($y*9)+$x] > 0;
            }
        );
        $!initial = set( @initial-list );
    }

    method reset( GridCode :$code ) {
        my @tmp = $code.comb.map( *.Int );
        my @initial-list = ();
        (^9 X ^9).flat.map(
            -> $x,$y {
                @!grid[$y][$x] = @tmp[($y*9)+$x];
                @initial-list.push( $x*10+$y ) if @tmp[($y*9)+$x] > 0;
            }
        );
        %!poss-cache = ();
        %!test-cache = ();
        if ( ! @initial-list (<=) $!initial ) {
            $!initial = set( @initial-list );
        }
    }

    method !compute-none {
        none( (^9 X ^9).flat.map( -> $x,$y { @!grid[$y][$x] } ) );
    }

    method !compute-valid {
        all(
            (^9).map(
                {
                    |(
                        one( none( self.row( $_ ).flat.map( -> $x, $y { @!grid[$y][$x] } ) ),
                             one( self.row( $_ ).flat.map( -> $x, $y { @!grid[$y][$x] } ) ) ),
                        one( none( self.col( $_ ).flat.map( -> $x, $y { @!grid[$y][$x] } ) ),
                             one( self.col( $_ ).flat.map( -> $x, $y { @!grid[$y][$x] } ) ) ),
                        one( none( self.square( $_ ).flat.map( -> $x, $y { @!grid[$y][$x] } ) ),
                             one( self.square( $_ ).flat.map( -> $x, $y { @!grid[$y][$x] } ) ) )
                    )
                }
            )
        );
    }

    multi method perl {
        return @!grid.perl;
    }

    multi method Str {
        return @!grid.map( -> @row { @row.join() } ).join();
    }

    multi method gist {
        my @lines;
        for ^9 -> $y {
            my @row;
            for ^9 -> $x {
                @row.push( @!grid[$y][$x] > 0 ?? @!grid[$y][$x] !! ' ' );
                @row.push( "|" ) if $x == 2|5;
            }
            @lines.push( @row.join() );
            @lines.push( "---+---+---" ) if $y == 2|5;
        }
        return @lines.join( "\n" );
    }

    method valid {
        $!valid-all := self!compute-valid();
        return %!test-cache<valid> if %!test-cache<valid>:exists;
        %!test-cache<valid> = [&&] (1..9).map( so $!valid-all == * );
    }

    method complete {
        return %!test-cache<complete> if %!test-cache<complete>:exists;
        %!test-cache<complete> = self.full && self.valid;
    }

    method full {
        $!none-all := self!compute-none() unless $!none-all;
        return %!test-cache<none> if %!test-cache<none>:exists;
        %!test-cache<none> = so $!none-all == 0;
    }

    method row( Idx $y ) {
        return (^9).map( { ( $_, $y ) } );
    }

    method col( Idx $x ) {
        return (^9).map( { ( $x, $_ ) } );
    }

    multi method square( Idx $sq ) {
        my $x = $sq % 3 * 3;
        my $y = $sq div 3 * 3;
        return self.square( $x, $y );
    }

    multi method square( Idx $x, Idx $y ) {
        my $tx = $x div 3 * 3;
        my $ty = $y div 3 * 3;
        return ( (0,1,2) X (0,1,2) ).map( -> ( $dx, $dy ) { ( $tx + $dx, $ty + $dy ) } );
    }

    method possible( Idx $x, Idx $y, Bool :$set = False ) {
        return $set ?? set() !! () if @!grid[$y][$x] > 0;
        if ! ( %!poss-cache{$x*10+$y}:exists ) {
            %!poss-cache{$x*10+$y} = ( (1..9) (-) set(
                                          ( self.row($y).flat.map( -> $x, $y { @!grid[$y][$x] } ).grep( * > 0 ) ),
                                          ( self.col($x).flat.map( -> $x, $y { @!grid[$y][$x] } ).grep( * > 0 ) ),
                                          ( self.square($x,$y).flat.map( -> $x, $y { @!grid[$y][$x] } ).grep( * > 0 ) )
                                      ) );
        }

        $set ?? %!poss-cache{$x*10+$y} !! %!poss-cache{$x*10+$y}.keys.sort;
    }

    multi method cell( Idx $x, Idx $y ) {
        @!grid[$y][$x] ?? @!grid[$y][$x] !! Nil;
    }

    multi method cell( Idx $x, Idx $y, CellValue $val ) {
        return self if $!initial{$x*10+$y};
        @!grid[$y][$x] = $val;
        self.row($y).flat.map( -> $tx, $ty { %!poss-cache{$tx*10+$ty}:delete } );
        self.col($x).flat.map( -> $tx, $ty { %!poss-cache{$tx*10+$ty}:delete } );
        self.square($x,$y).flat.map( -> $tx, $ty { %!poss-cache{$tx*10+$ty}:delete } );
        %!test-cache = ();
        return self;
    }

}



Game::Sudoku - Store, validate and solve sudoku puzzles


# Create an empty game
my $game = Game::Sudoku.new();
# Set some cells
$game.cell(0,0,1).cell(0,1,2);
# Test the results
$game.valid();
$game.full();
$game.complete();


# Get possible values for a cell
$game.possible(0,2);


Game::Sudoku is a simple library to store, test and attempt to solve sudoku puzzles.


Currently the libray can be used as a basis for doing puzzles and can solve a number of them.
I hope to add additional functionality to it in the future.


The Game::Sudoku::Solver module includes documenation for using the solver.


The default constructor will accept and 81 character long string comprising of combinations of 0-9.
This code can be got from an existing Game::Sudoku object by calling it's .Str method.


Returns True if the sudoku game is potentially valid, IE noe row, colum or square has 2 of any number. A valid puzzle may not be complete.


Returns True if the sudoku game has all it's cells set to a non zero value. Note that the game may not be valid.


Returns True is the sudoku game is both valid and full.


possible( Int, Int, Bool :$set -> List )


Returns the sorted Sequence of numbers that can be put in the current cell. Note this performs a simple check of the row, column and square the cell is in it does not perform more complex logical checks.


Returns an empty List if the cell already has a value set or if there are no possible values.


If the optional :set parameter is passed then returns a Set of the values instead.


Getter / Setter for individual cells. The setter returns the updated game allowing for method chaining.
Note that attempting to set a value defined in the constructor will not work, returning the unchanged
game object.


Returns the list of (x,y) co-ordinates in the given row. 


Returns the list of (x,y) co-ordinates in the given column. 


Returns the list of (x,y) co-ordinates in the given square of the grid. A square can either be references by a cell within it or by it's index.


Resets the puzzle to the state given in the $code argument. If the previous states initial values are all contained in the new puzzle then they will not be updated. Otherwise the puzzle will be treated as a fresh one with the given state.


This library is free software; you can redistribute it and/or modify it under the Artistic License 2.0.


Sudoku

code

item

README

The Raku Knowledge Base


=begin React :component<HeaderCol> :id<footer>  
=begin nested :!nested
=item1 B<Language>
    =item2 L<Get started|file:../getting-started/getting-started.podlite>
    =item2 L<Why Raku?|/doc/language/faq#Why-should-I-learn-Raku-What's-so-great-about-it>
    =item2 L<Try Raku|https://glot.io/new/raku>
    =item2 L<Raku cheat sheet|https://github.com/Raku/mu/blob/master/docs/Perl6/Cheatsheet/cheatsheet.txt>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<Raku on Exercism|https://exercism.org/tracks/raku>
    =item2 L<Wikipedia|https://en.wikipedia.org/wiki/Raku_(programming_language)>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>

=end nested
=begin nested :!nested

=item1 B<L<Documentation|/doc>>
    =item2 L<Getting started, Migration guides from other languages, & Tutorials | file:../doc/introduction.podlite>
    =item2 L<Language References|file:../doc/reference.podlite>
    =item2 L<Type Reference| file:../doc/types.podlite>
    =item2 L<Miscellaneous| file:../doc/miscellaneous.podlite>
    =item2 L<FAQs (Frequently Asked Questions)|/doc/language/faq>
    =item2 L<Community|/doc/language/community>
    =item2 L<The list of all documents|file:../doc/index.podlite>

=item1 B<Resources>
    =item2 L<The Raku Guide|https://raku.guide/>
    =item2 L<Books |https://perl6book.com/>
    =item2 L<Rosetta Code | https://www.raku.org/community/rosettacode>

=end nested
=begin nested :!nested

=item1 B<Resoures>
    =item2 L<Download | file:../download/index.podlite>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>

=item1 B<Learning>
    =item2 L<The Raku Guide|https://raku.guide/>
    =item2 L<Wikibook |https://en.wikibooks.org/wiki/Raku_Programming>
    =item2 L<Books |https://perl6book.com/>
    =item2 L<Rosetta Code | https://www.raku.org/community/rosettacode>
    =item2 L<Learn Raku in Y minutes|https://learnxinyminutes.com/docs/raku/>
    =item2 L<Golfing |https://github.com/AlexDaniel/raku-golf-cheatsheet>
=end nested
=begin nested :!nested

=item1 B<Explore>
    =item2 L<Raku Blog Aggregator|https://planet.raku.org/>
    =item2 L<Rakudo Weekly|https://rakudoweekly.blog/>
    =item2 L<The Weekly Challenge |https://perlweeklychallenge.org/>
    =item2 L<Raku Advent Calendar|https://raku-advent.blog/>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>
    =item2 L<empty|#>

=end nested
=end React


=begin React :component<CookieConsent> :id<CookieConsent> :buttonCaption("Got it!")
=para
This website uses cookies for analytics.
=end React


Game-Sudoku-Solver

NAME

DESCRIPTION

FUNCTIONS

solve-puzzle( Game::Sudoku -> Game::Sudoku )

AUTHOR

COPYRIGHT AND LICENSE

Game::Sudoku v1.1.4

Authors

License

Dependencies

Test Dependencies

Provides

Documentation