Essential exclusions

Advanced methods and approaches for solving Sudoku puzzles

Essential exclusions

Postby rjamil » Sun Mar 29, 2020 9:50 pm

Hi all,

Please note that, I have developed vanilla Sudoku solver in order to solve bulk puzzles, optimized for speed, with few non-assumptive techniques applied.

Keeping optimized for speed solving is considered, a question arises in my mind that, if a technique has lot of exclusions (for example, Ring/Loop moves), why should it need to be perform all exclusions when there is one/are few essential exclusion(s) that will do the same effect?

Let for example, in "Dual Empty Rectangle" move, as shown in below exemplars:
Code: Select all
  ---------------+---------------+---------------
    /   +z    /  |  .    .    .  |  .    /    .
   +z    .   +z  |  .    .    .  |  .   -Z    .
    /   +z    /  |  .    .    .  |  .    /    .
  ---------------+---------------+---------------
    .    .    .  |  .    .    .  |  .    /    .
    .    .    .  |  .    .    .  |  .    /    .
    .    .    .  |  .    .    .  |  .    /    .
  ---------------+---------------+---------------
    .    .    .  |  .    .    .  | -Z    /   -Z
    /   -Z    /  |  /    /    /  |  /   +Z    /
    .    .    .  |  .    .    .  | -Z    /   -Z
  ---------------+---------------+---------------

Either -Zr2c8 or -Zr8c2, single exclusion is sufficient to produce same effect as to exclude -Z from all exclusion cells.

How do one know that, which exclusion(s) is/are essential to perform, instead of all, in any technique, having bulk exclusions, for speed optimization?

Note: The idea comes from Ripple Effects term.

R. Jamil
rjamil
 
Posts: 729
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: Essential exclusions

Postby StrmCkr » Mon Mar 30, 2020 12:31 am

You don't know which is necessary until looking at the overall solution from start to finish removing steps that did not unlock a new technique, and steps that had zero. Effect on the next step resolving..

A lot of speed solving paths only search till it applies a technique once, then starts its tree search again top down.


Mine is slow as it finds all at each tree branch and wont terminate at the first found.
(for example 20 hidden singles at the start ill get all in 1 run, others have 20 single search run.)
The draw back is the bigger the search technique is the longer it takes to finally reach the next tree branch, as it too starts the cycle from top down order.

Speedups is flagging for space changes, and only searching the space affected. Which adds to overhead.
Last edited by StrmCkr on Mon Mar 30, 2020 6:44 am, edited 1 time in total.
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1417
Joined: 05 September 2006

Re: Essential exclusions

Postby rjamil » Mon Mar 30, 2020 1:55 am

Hi StrmCkr,

Well, first of all, many thanks for the quick response.

Look in to my 2nd OTP solution of remnant 7 puzzle as follows:
XYZ-Wing Transport: Row Ring 248 @ r9c18 r8c8 SL 2 @ r7c123 r7c7 => -2 @ r8c127 => -4 @ r78c9; stte

I have coded the above mentioned XYZ-Wing Transport pattern to exclude 4 from b9 cells other than r89c8. However, by analyzing the Leren's 1st OTP solution of the same puzzle:
Leren wrote:1 : M Ring : (4=2) r8c8 - r8c5 = (2-4) r9c5 = (4) r9c8 loop => - 2 r8c127, - 4 r2c8. r78c9; stte

I realized that 4 may also be excluded from b36c8, due 'a' and 'd' cells are aligned in column 8.

Therefore, I have implemented the above mentioned scenario in to my solver for all XY-Wing Transport (Box-Line wise) and XYZ-Wing Transport (Box-Line wise) Ring scenarios. However, failed to achieve even single more instance of the same moves (i.e., not a single more puzzle solved without guess out of Ruud's 50K specialty puzzles or even 17 clue puzzles).

StrmCkr wrote:(for example 20 hidden singles at the start ill get all in 1 run, others have 20 single search run.)

The above scenario definitely speedup solving the puzzle for basic moves, just like Andrew Stuart's SudokuWiki solver does. However, my solver searches single instance of a move at a time.

PS: I have uploaded the collection of my patterns and keep updating the same as and when any new pattern(s) found and/or update the existing pattern(s).

R. Jamil
rjamil
 
Posts: 729
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: Essential exclusions

Postby StrmCkr » Mon Mar 30, 2020 6:41 am

Code: Select all
+----------------------+------------------+---------------------+
| 4       235     9    | 8     7    56    | 236     123    136  |
| 23      235     8    | 569   1    569   | 2367    23-4   3467 |
| 6       1       7    | 2     34   34    | 9       5      8    |
+----------------------+------------------+---------------------+
| 5       3479    46   | 1469  8    13469 | 37      139    2    |
| 2379    23479   246  | 1469  5    13469 | 378     1389   137  |
| 389     389     1    | 7     39   2     | 4       6      5    |
+----------------------+------------------+---------------------+
| 189(2)  489(2)  4(2) | 1459  6    1459  | 358(2)  7      3-4  |
| 179-2   479-2   3    | 1459  249  8     | 56-2    (24)   6-4  |
| (28)    6       5    | 3     24   7     | 1       (248)  9    |
+----------------------+------------------+---------------------+

Transport xyz {dual link}
als A (28) R9C1
Als B (248) R89C8
R: 8
Transport : 2 R7C1237
linked at R9C1 & R89C7 => R+ 2

Dual Linked als via transport =>> dual linked als elimination rules applies
R8C127 <> 2, R78C9 <> 4, R2C8 <> 4

if i plug just the pattern back into my solver the potential eliminations in full.
Code: Select all
+----------------+------------+--------------------+
| .     .    .   | .   .   .  | .      -4     .    |
| .     .    .   | .   .   .  | .      -4     .    |
| .     .    .   | .   .   .  | .      -4     .    |
+----------------+------------+--------------------+
| .     .    .   | .   .   .  | .      -4     .    |
| .     .    .   | .   .   .  | .      -4     .    |
| .     .    .   | .   .   .  | .      -4     .    |
+----------------+------------+--------------------+
| (2)   (2)  (2) | /   /   /  | -4(2)  -4/    -4/  |
| -2    -2   -2  | .   .   .  | -24    (24)   -24  |
| (28)  -28  -28 | -8  -8  -8 | -248   (248)  -248 |
+----------------+------------+--------------------+

Last edited by StrmCkr on Wed Apr 01, 2020 8:22 pm, edited 1 time in total.
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1417
Joined: 05 September 2006

Re: Essential exclusions

Postby rjamil » Mon Mar 30, 2020 12:35 pm

Hi StrmCkr,

StrmCkr wrote:
Code: Select all
+----------------+------------+--------------------+
| .     .    .   | .   .   .  | .      -4     .    |
| .     .    .   | .   .   .  | .      -4     .    |
| .     .    .   | .   .   .  | .      -4     .    |
+----------------+------------+--------------------+
| .     .    .   | .   .   .  | .      -4     .    |
| .     .    .   | .   .   .  | .      -4     .    |
| .     .    .   | .   .   .  | .      -4     .    |
+----------------+------------+--------------------+
| (2)   (2)  (2) | .   .   .  | -4(2)  -4     -4   |
| -2    -2   -2  | .   .   .  | -24    (24)   -24  |
| (28)  -28  -28 | -8  -8  -8 | -248   (248)  -248 |
+----------------+------------+--------------------+

Thanks for providing the pattern in exemplar form.

Now, in your exemplar, it is clear that -4 @ b36c8 are somehow excluded from cells, in next [couple of] moves, if not excluded in current XYZ-Wing Transport move, as ripple effects, without further additional move(s). My question is that, how many other exclusions are there, in current move, that are not absolutely necessary to perform, and may easily be skip to check and remove from exclusion routines, so that the essential exclusions will remain, which will not effect in solving the puzzle in more move(s)? (If the puzzle is solved with stte moves after above mentioned XYZ-Wing Transport move (with all exclusions), than, it will also solve with stte moves after XYZ-Wing Transport move with essential exclusions only.

Transport xyz {dual link}

Dual Linked als via transport =>> dual linked als elimination rules applies

Is it means that, in "Ring/Loop" moves, the additional "Dual" part of the move's exclusions is absolutely unnecessary to perform for bulk puzzles to solve with speed optimized?

R. Jamil
rjamil
 
Posts: 729
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: Essential exclusions

Postby StrmCkr » Mon Mar 30, 2020 3:46 pm

No, i didnt infer that.

What i was infering to is that als. A&b
When the transport is linked to both a&b then we use als dual link xz eliminations rules:
And all those in the examplar are applicable.


For me it dosemt make sense to skip applicable eliminations for a lower subset routine to identify.(as you using mutiple instances of routimes to perform the eliminatiom of 1 set)

For example if the above case is visible at the start of the puzzle be for pencilmarks are even written in, then we can remove
All of the examples eliminatioms from the pms befor basics.

Optimization via skipping redundances can also mean skipping basics.

So what your asking is in a specific hierarchy ordered system which eliminations are not covered by previous step.

.
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1417
Joined: 05 September 2006

Re: Essential exclusions

Postby rjamil » Tue Mar 31, 2020 2:24 am

Hi StrmCkr,

StrmCkr wrote:No, i didnt infer that.

What i was infering to is that als. A&b
When the transport is linked to both a&b then we use als dual link xz eliminations rules:
And all those in the examplar are applicable.


For me it dosemt make sense to skip applicable eliminations for a lower subset routine to identify.(as you using mutiple instances of routimes to perform the eliminatiom of 1 set)

For example if the above case is visible at the start of the puzzle be for pencilmarks are even written in, then we can remove
All of the examples eliminatioms from the pms befor basics.

Well, please look in to below given exemplars:
Hidden Text: Show
Code: Select all
XY-Wing Transport:
Line Ring (multiple exclusions) 13
  ---------------+---------------+---------------  ---------------+---------------+---------------
41) .   -YZ   .  |  .    .    .  |  .   -Z    .  42) .   -Y    .  |  .    /    .  |  .    .    .
\  -X   xy   -X  | -X   -X   -X  | -X   xz   -X  \  -XZ  xy   -XZ |-XZ  +Z-X  -XZ | -XZ   xz  -XZ
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
03---------------+---------------+---------------03---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
    /  +Z-Y   /  |  /    /    /  |  /   +Z    /      .   -Y    .  |  .    /    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
    .   yz    .  |  .    .    .  |  .  (-z)   .     -Z   yz   -Z  | -Z   +Z   -Z  | -Z  (-z)  -Z
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
ERI Ring (multiple exclusions)
  ---------------+---------------+---------------  ---------------+---------------+---------------
43) .   -YZ   .  |  .    .    .  |  .   -Z    .  44) .   -Y    .  |  /   +z    /  |  .    .    .
\  -X   xy   -X  | -X   -X   -X  | -X   xz   -X  \  -XZ  xy   -XZ |+z-X -XZ  +z-X | -XZ   xz  -XZ
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  /   +z    /  |  .    .    .
03---------------+---------------+---------------03---------------+---------------+---------------
    /  +z-Y   /  |  .    .    .  |  /   +z    /      .   -Y    .  |  .   -Z    .  |  .    .    .
   +z   -YZ  +z  | -Z   -Z   -Z  | +z   -Z   +z      .   -Y    .  |  .   -Z    .  |  .    .    .
    /  +z-Y   /  |  .    .    .  |  /   +z    /      .   -Y    .  |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  /   +z    /  |  .    .    .
    .   yz    .  |  .    .    .  |  .  (-z)   .     -Z   yz   -Z  | +z   -Z   +z  | -Z  (-z)  -Z
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  /   +z    /  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------

  ---------------+---------------+---------------  ---------------+---------------+---------------
45) /  +z-Y   /  |  .    .    .  |  .    .    .  46) .   -Y    .  |  .    .    .  |  .   -Z    .
  +z-X  xy  +z-X | -XZ  -XZ  -XZ | -XZ  xz   -XZ /  -X   xy   -X  | -X   -X   -X  | -X   xz   -X
    /  +z-Y   /  |  .    .    .  |  .    .    .      .   -Y    .  |  .    .    .  |  .   -Z    .
01---------------+---------------+---------------01---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    .  |  .    .    .  |  .   -Z    .
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    .  |  .    .    .  |  .   -Z    .
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    .  |  .    .    .  |  .   -Z    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    .  |  .    .    .  |  /   +z    /
    .   yz    .  |  .    .    .  |  .   -z    .     -Z   yz   -Z  | -Z   -Z   -Z  | +z   -z   +z
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    .  |  .    .    .  |  /   +z    /
  ---------------+---------------+---------------  ---------------+---------------+---------------
Reduced Line Ring (multiple exclusions) 15
  ---------------+---------------+---------------  ---------------+---------------+---------------
59) .   -YZ   .  |  .    .    .  | -Z   -Z   -Z  60) .   -Y    /  |  .    .    .  |  .    .    .
   -X   xy   -X  | -X   -X   -X  | -XZ  xz   -XZ    -XZ  xy  +Z-X | -XZ  -XZ  -XZ | -XZ  xz   -XZ
    /  +Z-Y   /  |  /    /    /  | +z   +z   +z      .   -Y    /  |  .    .    .  |  .    .    .
02---------------+---------------+---------------02---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    /  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    /  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    /  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .    .    .     -Z   -YZ  +z  |  .    .    .  |  .    .    .
    .   yz    .  |  .    .    .  |  .   -z    .     -Z   yz   +z  |  .    .    .  |  .   -z    .
    .   -YZ   .  |  .    .    .  |  .    .    .     -Z   -YZ  +z  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
15
  ---------------+---------------+---------------  ---------------+---------------+---------------
61) .   -Y    .  |  .    .    .  |  .   -Z    .  62) .   -Y    .  |  .    .    .  | +z  (-Z) (-Z)
\  -X   xy   -X  | -X   -X   -X  | -X   xz   -X  \  -X   xy   -X  | -X   -X   -X  |+z-X  xz   -X
    .   -Y    .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  | +z  (-Z) (-Z)
02---------------+---------------+---------------02---------------+---------------+---------------
    .   -Y    .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
    .   -Y    .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
    .   -Y    .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
  (+z) +z-Y (+z) |  /    /    /  |  /   +Z    /      .   -Y    .  |  .    .    .  |  /    .    .
  (-Z)  yz  (-Z) |  .    .    .  |  .   -z    .     -Z   yz   -Z  | -Z   -Z   -Z  | +Z   -z   -Z
  (-Z)  -YZ (-Z) |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------

  ---------------+---------------+---------------  ---------------+---------------+---------------
63) .   -YZ   .  |  .    .    .  | -Z   -Z   -Z  64) .   -Y    /  |  .    .    .  |  .    .    .
\  -X   xy   -X  | -X   -X   -X  | -XZ  xz   -XZ \  -XZ  xy  +Z-X | -XZ  -XZ  -XZ | -XZ  xz   -XZ
    /  +Z-Y   /  |  /    /    /  |  /   +Z    /      .   -Y    /  |  .    .    .  |  .    .    .
02---------------+---------------+---------------02---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    /  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    /  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    /  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .     -Z   -YZ   /  |  .    .    .  |  .    .    .
    .   yz    .  |  .    .    .  |  .  (-z)   .     -Z   yz   +Z  | -Z   -Z   -Z  | -Z  (-z)  -Z
    .   -YZ   .  |  .    .    .  |  .   -Z    .     -Z   -YZ   /  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------

  ---------------+---------------+---------------  ---------------+---------------+---------------
65) .   -YZ   .  |  .    .    .  |  .   -Z    .  66) .   -Y    .  |  .    .    .  |  /  (-Z) (-Z)
\  -X   xy   -X  | -X   -X   -X  | -X   xz   -X  \  -XZ  xy   -XZ | -XZ  -XZ  -XZ |+Z-X  xz  -XZ
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /  (-Z) (-Z)
02---------------+---------------+---------------02---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    /  +Z-Y   /  |  /    /    /  |  /   +Z    /      .   -Y    .  |  .    .    .  |  /    .    .
  (-Z)  yz  (-Z) |  .    .    .  |  .  (-z)   .     -Z   yz   -Z  | -Z   -Z   -Z  | +Z  (-z)  -Z
  (-Z)  -YZ (-Z) |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
XYZ-Transport:
Line Ring (multiple exclusions) 13
  ---------------+---------------+---------------  ---------------+---------------+---------------
41) .   -YZ   .  |  .    .    .  |  .   -Z    .  42) .   -Y    .  |  .    /    .  |  .    .    .
\  -X   xy   -X  | -X   -X   -X  | -X   xz   -X  \  -XZ  xy   -XZ |-XZ  +Z-X  -XZ | -XZ  xz   -XZ
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
03---------------+---------------+---------------03---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
    /  +Z-Y   /  |  /    /    /  |  /   +Z    /      .   -Y    .  |  .    /    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
    .   yz    .  |  .    .    .  |  .  (-Z)   .     -Z   yz   -Z  | -Z   +Z   -Z  | -Z  (-Z)  -Z
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    /    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
ERI Ring (multiple exclusions)
  ---------------+---------------+---------------  ---------------+---------------+---------------
43) .  -YZ    .  |  .    .    .  |  .   -Z    .  44) .   -Y    .  |  /   +z    /  |  .    .    .
\  -X   xy   -X  | -X   -X   -X  | -X   xz   -X  \  -XZ  xy   -XZ |+z-X -XZ  +z-X | -XZ  xz   -XZ
    .  -YZ    .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  /   +z    /  |  .    .    .
03---------------+---------------+---------------03---------------+---------------+---------------
    /  +z-Y   /  |  .    .    .  |  /   +z    /      .   -Y    .  |  .   -Z    .  |  .    .    .
   +z   -YZ  +z  | -Z   -Z   -Z  | +z   -Z   +z      .   -Y    .  |  .   -Z    .  |  .    .    .
    /  +z-Y   /  |  .    .    .  |  /   +z    /      .   -Y    .  |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  /   +z    /  |  .    .    .
    .   yz    .  |  .    .    .  |  .  (-Z)   .     -Z   yz   -Z  | +z   -Z   +z  | -Z  (-Z)  -Z
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  /   +z    /  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------

  ---------------+---------------+---------------
45) /  +z-Y   /  |  .    .    .  |  .    .    .
  +z-X  xyz +z-X | -XZ  -XZ  -XZ | -XZ   xz  -XZ
    /  +z-Y   /  |  .    .    .  |  .    .    .
01---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .    .    .
    .   yz    .  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------
Reduced Line Ring (multiple exclusions) 15
  ---------------+---------------+---------------  ---------------+---------------+---------------
59) .   -YZ   .  |  .    .    .  | -Z   -Z   -Z  60) .   -Y    /  |  .    .    .  |  .    .    .
   -X   xyz  -X  | -X   -X   -X  |-XZ   xz   -XZ    -XZ  xyz +Z-X | -XZ  -XZ  -XZ |-XZ   xz   -XZ
    /  +Z-Y   /  |  /    /    /  | +z   +z   +z      .   -Y    /  |  .    .    .  |  .    .    .
02---------------+---------------+---------------02---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    /  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    /  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .    .    .      .   -Y    /  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .    .    .     -Z   -YZ  +z  |  .    .    .  |  .    .    .
    .   yz    .  |  .    .    .  |  .    .    .     -Z   yz   +z  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .    .    .     -Z   -YZ  +z  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
15
  ---------------+---------------+---------------  ---------------+---------------+---------------
61) .   -Y    .  |  .    .    .  |  .   -Z    .  62) .   -Y    .  |  .    .    .  | +z   (.)  (.)
\  -X   xyz  -X  | -X   -X   -X  | -X   xz   -X  \  -X   xyz  -X  | -X   -X   -X  |+z-X  xz   -X
    .   -Y    .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  | +z   (.)  (.)
02---------------+---------------+---------------02---------------+---------------+---------------
    .   -Y    .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
    .   -Y    .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
    .   -Y    .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
   +z  +z-Y  +z  |  /    /    /  |  /   +Z    /      .   -Y    .  |  .    .    .  |  /    .    .
   (.)  yz   (.) |  .    .    .  |  .  (-Z)   .     -Z   yz   -Z  | -Z   -Z   -Z  | +Z  (-Z)  -Z
   (.)  -YZ  (.) |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------

  ---------------+---------------+---------------  ---------------+---------------+---------------
63) .   -YZ   .  |  .    .    .  | -Z   -Z   -Z  64) .   -Y    /  |  .    .    .  |  .    .    .
\  -X   xyz  -X  | -X   -X   -X  | -XZ   xz  -XZ \  -XZ  xyz +Z-X | -XZ  -XZ  -XZ | -XZ   xz  -XZ
    /   +Z-Y  /  |  /    /    /  |  /   +Z    /      .   -Y    /  |  .    .    .  |  .    .    .
02---------------+---------------+---------------02---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    /  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    /  |  .    .    .  |  .    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    /  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .     -Z   -YZ   /  |  .    .    .  |  .    .    .
    .   yz    .  |  .    .    .  |  .  (-Z)   .     -Z   yz   +Z  | -Z   -Z   -Z  | -Z  (-Z)  -Z
    .   -YZ   .  |  .    .    .  |  .   -Z    .     -Z   -YZ   /  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------

  ---------------+---------------+---------------  ---------------+---------------+---------------
65) .   -YZ   .  |  .    .    .  |  .   -Z    .  66) .   -Y    .  |  .    .    .  |  /   (.)  (.)
\  -X   xyz  -X  | -X   -X   -X  | -X   xz   -X  \  -XZ  xyz  -XZ | -XZ  -XZ  -XZ |+Z-X   xz  -XZ
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /   (.)  (.)
02---------------+---------------+---------------02---------------+---------------+---------------
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
    .   -YZ   .  |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    /  +Z-Y   /  |  /    /    /  |  /   +Z    /      .   -Y    .  |  .    .    .  |  /    .    .
   (.)  yz   (.) |  .    .    .  |  .  (-Z)   .     -Z   yz   -Z  | -Z   -Z   -Z  | +Z  (-Z)  -Z
   (.)  -YZ  (.) |  .    .    .  |  .   -Z    .      .   -Y    .  |  .    .    .  |  /    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------

I think, in above mentioned exemplars, all X and Y exclusions/eliminations are included as either degenerated case or already excluded by basic moves (either before or later).

Maybe, I am thinking in wrong direction, but, recently got experienced by adding Y exclusions from 2nd and 3rd Bands (i.e., when Apex and Box-wise-Wing are aligned in one column) in following exemplars without gaining single instance of move detection:
Hidden Text: Show
Code: Select all
XY-Wing Transport:
Line Ring                                          Box Ring
  ---------------+---------------+---------------  ---------------+---------------+---------------
11)-XYz -XYz xy  | -XZ  xz   -XZ | -X   -X   -X  12)-XYz -XYz xy  | -XZ  xz   -XZ |+z-X +z-X +z-X
\ +z-Y +z-Y +z-Y | +z   +z   +z  |  /    /    /  \  -Y  -Y   -Y   |  .    .    .  |  /    /    /
   -YZ -YZ  yz   | -z   -z   -z  |  .    .    .     -YZ -YZ  yz   | -z   -z   -z  | +z   +z   +z
01---------------+---------------+---------------01---------------+---------------+---------------
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
Reduced Line Ring
---------------+---------------+---------------
14)-XYz -XYz xy  | -XZ  xz   -XZ | -X   -X   -X
\  /-Y  /-Y +Z-Y | +z   +z   +z  |  /    /    /
   -YZ  -YZ  yz  | -z   -z   -z  |  .    .    .
01---------------+---------------+---------------
    .    .   -YZ |  .    .    .  |  .    .    .
    .    .   -YZ |  .    .    .  |  .    .    .
    .    .   -YZ |  .    .    .  |  .    .    .
  ---------------+---------------+---------------
    .    .   -YZ |  .    .    .  |  .    .    .
    .    .   -YZ |  .    .    .  |  .    .    .
    .    .   -YZ |  .    .    .  |  .    .    .
  ---------------+---------------+---------------

---------------+---------------+---------------
16)-XYz -XYz xy  | -XZ  xz   -XZ | -X   -X   -X
\ +z-Y +z-Y +z-Y |  /   +Z    /  |  /    /    /
   -YZ  -YZ  yz  | -z   -z   -z  |  .    .    .
01---------------+---------------+---------------
    .    .   -Y  |  .   -Z    .  |  .    .    .
    .    .   -Y  |  .   -Z    .  |  .    .    .
    .    .   -Y  |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------
    .    .   -Y  |  .   -Z    .  |  .    .    .
    .    .   -Y  |  .   -Z    .  |  .    .    .
    .    .   -Y  |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------

  ---------------+---------------+---------------
18)-XYz -XYz xy  | -XZ  xz  -XZ  | -X   -X   -X
\  /-Y  /-Y +Z-Y |  /   +Z    /  |  /    /    /
   -YZ  -YZ  yz  | -z   -z   -z  |  .    .    .
01---------------+---------------+---------------
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------
Line Ring
---------------+---------------+---------------
20)-XYz -XYz xy  | -X   xz   -X  | -X   -X   -X
\  -Y   -Y   -YZ |  .   -Z    .  |  .    .    .
   -Y   -Y   yz  | -z   -z   -z  |  .    .    .
06---------------+---------------+---------------
    .    .   -YZ |  .   -Z    .  |  .    .    .
    /    /   +Z  |  /   +Z    /  |  /    /    /
    .    .   -YZ |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------
ERI Ring
  ---------------+---------------+---------------
22)-XYz -XYz xy  | -X   xz   -X  | -X   -X   -X
\  -Y   -Y   -YZ |  .   -Z    .  |  .    .    .
   -Y   -Y   yz  | -z   -z   -z  |  .    .    .
06---------------+---------------+---------------
    /    /   +z  |  /   +z    /  |  .    .    .
   +z   +z   -YZ | +z   -Z   +z  | -Z   -Z   -Z
    /    /   +z  |  /   +z    /  |  .    .    .
  ---------------+---------------+---------------
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------
XYZ-Wing Transport:
Line Ring 11                                     Box Ring 12
  ---------------+---------------+---------------  ---------------+---------------+---------------
07)-XYz -XYz xyz | -XZ  xz   -XZ | -X   -X   -X  08)-XYz -XYz xyz | -XZ  xz   -XZ |+z-X +z-X +z-X
  +z-Y +z-Y +z-Y | +z   +z   +z  |  /    /    /     -Y   -Y   -Y  |  .    .    .  |  /    /    /
   -YZ  -YZ  yz  |(-Z) (-Z) (-Z) |  .    .    .     -YZ  -YZ  yz  |(-Z) (-Z) (-Z) | +z   +z   +z
01---------------+---------------+---------------01---------------+---------------+---------------
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
    .    .   -Y  |  .    .    .  |  .    .    .      .    .   -Y  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
Reduced Line Ring 14 15
  ---------------+---------------+---------------
09)-XYz -XYz xyz | -XZ  xz   -XZ | -X   -X   -X
\  /-Y  /-Y +Z-Y | +z   +z   +z  |  /    /    /
   -YZ  -YZ  yz  |(-Z) (-Z) (-Z) |  .    .    .
01---------------+---------------+---------------
    .    .   -YZ |  .    .    .  |  .    .    .
    .    .   -YZ |  .    .    .  |  .    .    .
    .    .   -YZ |  .    .    .  |  .    .    .
  ---------------+---------------+---------------
    .    .   -YZ |  .    .    .  |  .    .    .
    .    .   -YZ |  .    .    .  |  .    .    .
    .    .   -YZ |  .    .    .  |  .    .    .
  ---------------+---------------+---------------
16 18
  ---------------+---------------+---------------  ---------------+---------------+---------------
11)-XYz -XYz xyz | -XZ  xz   -XZ | -X   -X   -X  12)-XYz -XYz xyz | -XZ  xz   -XZ | -X   -X   -X
\ +z-Y +z-Y +z-Y |  /   +Z    /  |  /    /    /     /-Y  /-Y +Z-Y |  /   +Z    /  |  /    /    /
   -YZ  -YZ  yz  |(-Z) (-Z) (-Z) |  .    .    .     -YZ  -YZ  yz  |(-Z) (-Z) (-Z) |  .    .    .
01---------------+---------------+---------------01---------------+---------------+---------------
    .    .   -Y  |  .   -Z    .  |  .    .    .      .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -Y  |  .   -Z    .  |  .    .    .      .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -Y  |  .   -Z    .  |  .    .    .      .    .   -YZ |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
    .    .   -Y  |  .   -Z    .  |  .    .    .      .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -Y  |  .   -Z    .  |  .    .    .      .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -Y  |  .   -Z    .  |  .    .    .      .    .   -YZ |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------  ---------------+---------------+---------------
Line Ring 19 20
---------------+---------------+---------------
14)-XYz -XYz xyz | -XZ  xz   -XZ | -X   -X   -X
\   -Y  -Y   -YZ |  .   -Z    .  |  .    .    .
    -Y  -Y   yz  |  .  (-Z)   .  |  .    .    .
06---------------+---------------+---------------
    .    .  -YZ  |  .   -Z    .  |  .    .    .
    /    /   +Z  |  /   +Z    /  |  /    /    /
    .    .  -YZ  |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------
    .    .  -YZ  |  .   -Z    .  |  .    .    .
    .    .  -YZ  |  .   -Z    .  |  .    .    .
    .    .  -YZ  |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------
ERI Ring 21 22
---------------+---------------+---------------
16)-XYz -XYz xyz | -XZ  xz   -XZ | -X   -X   -X
\  -Y   -Y   -YZ |  .   -Z    .  |  .    .    .
   -Y   -Y   yz  |  .  (-Z)   .  |  .    .    .
06---------------+---------------+---------------
    /    /   +z  |  /   +z    /  |  .    .    .
   +z   +z   -YZ | +z   -Z   +z  | -Z   -Z   -Z
    /    /   +z  |  /   +z    /  |  .    .    .
  ---------------+---------------+---------------
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
    .    .   -YZ |  .   -Z    .  |  .    .    .
  ---------------+---------------+---------------

Optimization via skipping redundances can also mean skipping basics.

So what your asking is in a specific hierarchy ordered system which eliminations are not covered by previous step.

Well, I mean that, in above mentioned all exemplars, X and Y exclusions are not absolutely necessary (for speed optimized solver, not showing step-by-step pm grid, whereas (maybe all) Z exclusions are mandatory, because, either one or more of them is/are essential exclusion(s).

R. Jamil
----
Edit: Removed redundant exemplars.
Edit as on 20200407:
- Corrected typo mistake in XY-Wing Transport - ERI Ring - exemplar # 22; and
- Change exemplars shown in Hidden Text.
Last edited by rjamil on Tue Apr 07, 2020 6:33 pm, edited 1 time in total.
rjamil
 
Posts: 729
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: Essential exclusions

Postby StrmCkr » Tue Mar 31, 2020 4:47 am

You missed my point: disable basics
Run your code

Then run basics - youll find less basics.

Running it later with just z eliminations from the transport cells
Or program itn to looped transports (with extra zs)
then yes some sets will[*] be turned from almost locked to a locked set and basics will apply the clean up eliminations.(especially in the single band loop types)

Move sets do overlap alot with lower end techniques the choice is yours to either program the minimal and let smaller techniques do the cleanup. Or code a function that dosent need a cleanup step. (less search/run time or extra steps) but a slightly more comolicated eliminatiom sequence.

Realistically you can use the transport as z extensions or realise they when doublellinked form a locked set with the als and do extra removals, or have other teqniues finish the eliminations.

You may also exclude the als eliminations as and let the normal wings take those out
.
So yes other smaller logic might remove some of the eliminatioms befor hand or finalize afterwards.

Its all a personal preference.
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1417
Joined: 05 September 2006

Re: Essential exclusions

Postby rjamil » Tue Mar 31, 2020 5:30 am

Hi StrmCkr,

StrmCkr wrote:Running it later with just z eliminations from the transport cells
Or program itn to looped transports (with extra zs)
then yes some sets will[*] be turned from almost locked to a locked set and basics will apply the clean up eliminations.(especially in the single band loop types)

Well, if that is the case, then, I will definitely prefer to exclude all X, Y, Z (or even more digits) from all possible exclusion cells.

So yes other smaller logic might remove some of the eliminatioms befor hand or finalize afterwards.

If that is the only case, then, I will prefer to minimize the exclusions (for just Z digit only) in Ring Transport moves (from non step-by-step pm grid showing mode) if and only if it guarantees no more additional step required.

As final conclusion, I now realize that, I will let allow my solver to exclude all possible exclusions for all possible digits to all moves, no matter if it tries to solve either with or without showing step-by-step solving moves.

R. Jamil
rjamil
 
Posts: 729
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: Essential exclusions

Postby rjamil » Tue Mar 31, 2020 1:33 pm

Hi again,

Look in to my solution to today's "Mystery Puzzle 21":
Code: Select all
XYZ-Wing Transport: 125 @ r5c15 r6c1 SL 5 @ r6c4 => -5 @ r4c123

While cross checked with YZF_Sudoku v609, found similar cells combinations move with extra exclusions 5 @ b17c1:
Code: Select all
Almost Locked Set XY-Wing: A=r6c1{15}, B=r56c1{125}, C=r5c5,r6c4{125}, X,Y=1, 2, Z=5 =>  r4c123,r2379c1<>5

Will r2379c1<>5 exclusions also be included in my XYZ-Wing Transport move (if Apex and Box-wise-Wing cells aligned in column scenario)?

R. Jamil
rjamil
 
Posts: 729
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: Essential exclusions

Postby StrmCkr » Tue Mar 31, 2020 9:03 pm

Code: Select all
+---------------+------------+---------+
| -5     .   .  | .     .  . | .  .  . |
| -5     .   .  | .     .  . | .  .  . |
| -5     .   .  | .     .  . | .  .  . |
+---------------+------------+---------+
| -5     -5  -5 | .     .  . | .  .  . |
| (125)  -5  -5 | (25)  .  . | .  .  . |
| (15)   /   /  | (5)   /  / | /  /  / |
+---------------+------------+---------+
| -5     .   .  | .     .  . | .  .  . |
| -5     .   .  | .     .  . | .  .  . |
| -5     .   .  | .     .  . | .  .  . |
+---------------+------------+---------+

{overlapping strong link to the als}


I really recommenced downloading xsudo and you can cross check your work
i can spot check small stuff ie one offs when your absolutely not sure:

but a wall of single cases is very tedious as i am checking my own solver by manually editing the pm grid running my catch all program
then editing in xsudo to post on here and as a double check.

some scenarios i technically don't even have coded into my own solver as I've been updating fundamentals in it to speed it up.
{like the above, i don't have all the eliminations for overlapping points i miss the Col too}
Last edited by StrmCkr on Wed Apr 01, 2020 8:23 pm, edited 1 time in total.
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1417
Joined: 05 September 2006

Re: Essential exclusions

Postby rjamil » Wed Apr 01, 2020 6:36 pm

Hi StrmCkr,

Many thanks for your response with patience.

Wish to inform that, I have implemented the below given XYZ-Wing Transport scenario:
Code: Select all
Reduced Line 01
  ---------------+---------------+---------------
1a)-z   -z   xyz |  .   xz    .  |  .    .    .
/  -Z   -Z   -Z  |  .    .    .  |  .    .    .
    /    /   yz  | +z   +z   +z  |  /    /    /
01---------------+---------------+---------------
    .    .   -Z  |  .    .    .  |  .    .    .
    .    .   -Z  |  .    .    .  |  .    .    .
    .    .   -Z  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------
    .    .   -Z  |  .    .    .  |  .    .    .
    .    .   -Z  |  .    .    .  |  .    .    .
    .    .   -Z  |  .    .    .  |  .    .    .
  ---------------+---------------+---------------

However, as usual, there is not a single instance found that solves additional puzzle(s) without guess.

I think that the above mentioned exemplar is the only one for which I have missed and wants the confirmation.

R. Jamil
rjamil
 
Posts: 729
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: Essential exclusions

Postby StrmCkr » Wed Apr 01, 2020 8:18 pm

Code: Select all
+---------------+------------+---------+
| -3  -3  (123) | .  (13)  . | .  .  . |
| -3  -3  -3    | .  .     . | .  .  . |
| /   /   (23)  | /  (3)   / | /  /  / |
+---------------+------------+---------+
| .   .   -3    | .  .     . | .  .  . |
| .   .   -3    | .  .     . | .  .  . |
| .   .   -3    | .  .     . | .  .  . |
+---------------+------------+---------+
| .   .   -3    | .  .     . | .  .  . |
| .   .   -3    | .  .     . | .  .  . |
| .   .   -3    | .  .     . | .  .  . |
+---------------+------------+---------+
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1417
Joined: 05 September 2006


Return to Advanced solving techniques