skmpp2 repository

Programs which generate, solve, and analyze Sudoku puzzles

skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:52 am

SKMPP2 SK_BFORCE SK_17P2A

I open this thread to tell more about several programs on which I am working
All of them are in the same repository here
and are sharing many files.

Currently, the repository can produce three programs

SK_BFORCE
SK_17P2A
SKMPP2


SK_BFORCE is the stand alone version of the brute force in use in other programs. The source is based on the code posted here
by user zhouyundong_2012. No copyright is specified.

This version uses a guess intensively focused on bi value cells. As far as I can see, it is significantly faster than my previous version.
I built a true stand alone version of this program in a specific repository for 2 reasons
a) to have a code easier to decipher and reuse by others
b) to have a code where some experimentation can be done
this code is described here
to avoid redundancy, this code will not be discussed here

SK_17P2A is one of the three programs needed to search 17 clues in the solution grids in the “as of blue” mode see here
The first program searching 17 clues sudokus with one band/stack having more than 6 clues was run last year and did not show new 17s.
The first version of the search of grids having a band distribution 566 or 656 (no stack >6 clues) is working, but still too slow in my opinion. The current program is a revised version of the former one with an attempt to halve the runtime.

One key issue in the search of 17 clues puzzles “as of blue” is the unavoidable sets generation. I learned from mladen Dobrichev several years ago how to do that using the brute force. A special chapter will describe all the ways used here to produce the most efficient unavoidable sets.

SKMPP2 the last program is the last version of the multi tasks package mainly oriented on
Logical solution of puzzles (including a clone of Sudoku Explainer)
Generation of puzzles using mainly the vicinity approach
Canonicalization of grids
And miscellaneous tasks in the Sudoku field.

The frame is now 100% in line with the brute force frame, but the solver rewriting is still very partial., Only the cloning of Sudoku Explainer below nested chains is covered. This is the code (80% or more) that I use to play in the patern game

Work on this program will restart later, when the SK_17P2A program is ready.

Next posts are locked to give more details on he following topics

unavoidable sets collection using the brute force
17 clues search
skmpp2


I lock 10 posts to be safe
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

UAs generation for the 17 clues search

Postby champagne » Wed Jan 30, 2019 11:52 am

This first set of comments is for the collection of UAs in the program sk_17p2a.
The primary UA collection is common to the whole project “search of 17 clues puzzles “as of blue”. It is a key task and the code is now stable.
The draft of comments is now available on my website here

Later, in the same post, I'll add comments on the entry generator. In the sk_17p2a program, the entry generate exactly the number on ED solution grids.
Last edited by champagne on Fri Feb 01, 2019 11:20 am, edited 2 times in total.
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

Re: skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:53 am

lock2
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

Re: skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:53 am

lock3
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

Re: skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:53 am

lock4
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

Re: skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:54 am

lock5
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

Re: skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:54 am

lock6
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

Re: skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:54 am

lock7
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

Re: skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:54 am

lock8
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

Re: skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:55 am

lock9
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany

Re: skmpp2 repository

Postby champagne » Wed Jan 30, 2019 11:55 am

lock10
champagne
2017 Supporter
 
Posts: 6782
Joined: 02 August 2007
Location: France Brittany


Return to Software