The New Sudoku Players' Forum

[denis_berthier]

.
One function I forgot to document in the last version of the Manual is p-different-numbers-out-of-n ?p ?n

This allows e.g. to randomly extract puzzles from a collection:
(p-different-numbers-out-of-n ?p ?n) will produce a list of p different number within [1 n]

Then use: (extract-lines-in-list ?file-in ?file-len ?list ?file-out) , with
?file-in the original file of puzzles
?file-len the length of the previous file
?list the result if the previous function
?file-out the list of extracted puzzles

Combined in one function:
(extract-lines-in-list ?file-in ?file-len (p-different-numbers-out-of-n ?p ?file-len) ?file-out)

If you want to keep the order of the original file, use function p-different-ordered-numbers-out-of-n instead of p-different-numbers-out-of-n.
.

[denis_berthier]

.
Following my result here: http://forum.enjoysudoku.com/ur1-1-again-t37404-152.html, I've made minor changes in SudoRules priorities: they now allowi to raise the priorities of deadly patterns as high as before Singles (i.e. just at the start as the theorem requires in order to be able to apply with certainty), or immediately after Singles. However, the default value remains after S3 (Subsets of size 3), which remains IMO a good compromise between not missing a DP and not having too many guardians in the initial ORk-relations.
.

[denis_berthier]

.
Only minor changes this morning, to prepare the publication of the SudoRules EXPANSION kit.

I've also added the possibility of having external programs and I've included gsf's solver (in the XTERNS directory) as the first of them (It is used by the EXPANSION kit).
The way to use gsf is described in [HCCS2]. As of now, use it as an independent software (after compiling it as detailed in the "how to use" file).
The way to use it from within SudoRules, in particular in the EXPANSION kit, will appear in [HCCS3].

.

[denis_berthier]

.
Today's update on GitHub has three parts:

1) Update CLIPS:
Allow to use version 6.3 (as before) or version 6.4 - on any machine.
To launch the right version for your machine, choose the application with name clips<version><machine>, with
<version> := -63 | -64
<machine> := -arm | -x86 | .exe
in both cases, beware: "-" (hyphen) or "." (dot).

2) Introduce external programs: SHC, GSF, SER, FPGX (all the programs used in addition to SudoRules for the calculations in [HCCS3]).
Also includes a few operating system or basic C functions, such as:
- conversion from Windows to Unix format, delete first line of a file....
- delete duplicates in a file (also works for very large file),
- filter lines of a file according to some criterion (e.g. = some rating or ≥ some rating)
(I've developed the latter two in order to accelerate the initial pure CLIPS versions.)

3) Introduce a whole family of CLIPS functions allowing to call the most usual functions of the above programs in a way independent of any OS (very useful in the EXPANSION kit).
As there's no way to know the OS from within CLIPS, the OS must now be specified at the start of the configuration files.
.

[denis_berthier]

.
Someone noticed that, when you use version 6.4 of CLIPS, an error message appears during the initial loading phase:

Code: Select all

ERROR:
(deffunction MAIN::union$
   (
[DFFNXPSR2] /Users/berthier/Projects/CSP-Rules/CSP-Rules-V2.1/CSP-Rules-Generic/UTIL/CLIPS-utils.clp, Line 54: Deffunctions are not allowed to replace external functions.

ERROR:
(deffunction MAIN::intersection$
   (

Don't worry about it: this is normal. Functions union$ and intersection$ didn't exist in version 6.3 of CLIPS and I had to define them. As they already exist in version 6.4, the message says their re-definition is blocked. It doesn't change anything in the workings of any of the CSP-Rules applications.
.

[denis_berthier]

.
Today's update on GitHub https://github.com/denis-berthier/CSP-Rules-V2.1 is a major one.
It introduces the SudoRules EXPANSION kit.
The contents of the kit and the definition of its functions, including expansion scripts, are part of my recent book [HCCS3]:
https://www.lulu.com/shop/denis-berthier/hierarchical-classifications-in-constraint-satisfaction-third-edition/paperback/product-4587d42.html (for printed version)
or
https://www.researchgate.net/publication/396659041_Hierarchical_Classifications_in_Constraint_Satisfaction_Third_Edition (pdf only).

The expansion kit has been the major tool in all the calculations reported in the expansion part of [HCCS3].


This update has two main sub-parts:
- one related to the organisation of large files of puzzles in a very precise way allowing to split them into samples (of solution grids), which in turn allows to run separate calculations for each sample; multi-sample functions allow to aggregate the results (e.g. various statistics). This is particularly useful when an original collection is extended or when one wants to progressively extend his calculations for a very large given collection that can hardly be dealt with in one single batch.

- the expansion part proper: it allows to analyse a T&E(n) collection (fixed n) by repeatedly applying (1+BRT)-expansion to its minimal puzzles until they reach the upper T&E(n) inner border (i.e. until they become T&E(n)-expands). It includes all the necessary expansion scripts.

A few functions in the EXPANSION kit are not compatible with resolution rules other than Singles.
In order to use the EXPANSION kit, use SudoRules-V2.1-EXPANSION-config instead of SudoRules-V2.1-config.
.