The New Sudoku Players' Forum

[StrmCkr]

I need some help formulating a rules set or an implementation method for programing

Code: Select all

.---------------.---------------.-------------.
| 5   8    2679 | 267  1    279 | 679  3    4 |
| 3   4    679  | 5    79   8   | 679  1    2 |
| 29  27   1    | 267  3    4   | 5    679  8 |
:---------------+---------------+-------------:
| 4   29   29   | 1    8    6   | 3    5    7 |
| 7   1    8    | 3    4    5   | 26   26   9 |
| 6   5    3    | 27   279  279 | 8    4    1 |
:---------------+---------------+-------------:
| 8   3    27   | 9    6    1   | 4    27   5 |
| 29  6    4    | 8    5    27  | 1    279  3 |
| 1   279  5    | 4    27   3   | 279  8    6 |
'---------------'---------------'-------------'

while looking at this puzzle over in the xyz-hybrid thread I noticed something interesting, that i would like to definitely program I need help on this one

i do not know if its covered under DDS {subset counting}

locked dds and/or almost locked dds (adds) can be bridged / chained together to apply eliminations.

Example 1a: DDS + ADDS

Code: Select all

:---------------+---------------+-------------:
| 8   3    27@  | 9    6    1   | 4   27@*  5 |
| 29* 6    4    | 8    5    27  | 1    279? 3 |
| 1   279  5    | 4    27   3   | 79-2  8   6 |
'---------------'---------------'-------------'

A : 27 @ R7C38 z = 2,7
B : 279 @ R8C19,R7C8 z = 2

all cells that see "pivot" "?" and @* cells may exclude common z from A&B

Example 1b:

Code: Select all

:---------------+---------------+-------------:
| 8   3    27   | 9    6    1   | 4    27   5 |
| 29@ 6    4    | 8    5    27* | 1    279  3 |
| 1  279@? 5    | 4    27@*  3  | 279  8    6 |
'---------------'---------------'-------------'

A: 27 @ R8C6,R9C5 z = 2,7
B: 279 @ R8C1,R9C25 Z= 2

all cells that see "pivot" "?" and @* cells may exclude common z in A&B


example 2a: ADDS + ADDS

Code: Select all

:---------------+---------------+-------------:
| 8   3    27@  | 9    6    1   | 4   27*   5 |
| 29*@ 6    4   | 8    5    27  | 1   279*? 3 |
| 1  279@?  5   | 4    27   3   | 79-2 8    6 |
'---------------'---------------'-------------'

A: 279 @ R7C3,R8C1,R9C2 Z = 2
B: 279 @ R7C8,R8C19, Z = 2

all cells that see all "pivot" ? cells may exclude common z in A&B

example 2b: adds + adds

Code: Select all

:---------------+---------------+-------------:
| 8   3    27 | 9    6    1   | 4   27   5 |
| 29@* 6   4  | 8   5  27*    | 1  279*? 3 |
| 1  279@? 5  | 4   27@  3    | 79-2  8  6 |
'---------------'---------------'-------------'

A: 279 @ R8C168 z= 2
B: 279 @ R8C1,R9C25 Z= 2

all cells that see all "pivot" ? cells may exclude common z in A&B


example 3: ADDS +ADDS +ADDS + adds

Code: Select all

:---------------+---------------+-------------:
| 8   3    27   | 9    6    1   | 4    27   5 |
| 29  6    4    | 8    5    27  | 1    279? 3 |
| 1   279? 5    | 4    27   3   | 79-2  8   6 |
'---------------'---------------'-------------'

A: 279 @ R7C3,R8C1,R9C2 Z = 2
C: 279 @ R8C168 z= 2
B: 279 @ R7C8,R8C19 Z = 2
D: 279 @ R8C1,R9C25 Z= 2

all cells that see all "pivot" ? cells may exclude common z in A,B,C,D

[rjamil]

Hi StrmCkr,

Code: Select all

.---------------.---------------.-------------.
| 5   8    2679 | 267  1    279 | 679  3    4 |
| 3   4    679  | 5    79   8   | 679  1    2 |
| 29  27   1    | 267  3    4   | 5    679  8 |
:---------------+---------------+-------------:
| 4   29   29   | 1    8    6   | 3    5    7 |
| 7   1    8    | 3    4    5   | 26   26   9 |
| 6   5    3    | 27   279  279 | 8    4    1 |
:---------------+---------------+-------------:
| 8   3    27   | 9    6    1   | 4    27   5 |
| 29  6    4    | 8    5    27  | 1    279  3 |
| 1   279  5    | 4    27   3   | 279  8    6 |
'---------------'---------------'-------------'

I believe that you have collected pm from where XYZ-Wings Hybrid Type 2 elimination occurred, for that I have already completed programming.

Find Below steps to be taken for programming/understanding in my own way (however, credit goes to Prett Galford, who discovered; eleven and blue, who showed exemplars):

1) XYZ-Wing Hybrid strategy is based on four cells, i.e., one pivot cell (or hinge or apex), two pincer cells (or wings) and one hybrid cell (or finned), that contain exactly three values (or candidates or digits) and align within a chute;
2) Pivot cell contains all three values; and pincer cells and hybrid cell contain two values each;
3) First pincer cell align with pivot cell's line;
4) Second pincer cell contains only one common value with first pincer cell and align with pivot cell's box but not first pincer cell's line;

For Type 1:-

Code: Select all

-----------+----------+----------
  . abc  . |  .  . bc | -c -c -c
  .  .   . |  .  .  . |  .  .  .
  .  .  ac |  . bc  . |  .  .  .
-----------+----------+----------

5) Hybrid cell contains same values as first pincer cell (i.e., naked pair within box) and align with both first pincer cell's box and second pincer cell's line;
6) First and second pincers' common value may be eliminated from cells align with pivot cell and first pincer cell common line but not boxes.

Code: Select all

.3.....2.....4.9..7..6......8.3.2.........4.1.........4.9.6.......5...3.1........ Column
................12....34...............1..56..23.....7......2.8..9.....35.4..9... Row
................12....345.....1.6..7..8.......53....4....9.......4.5....1.......6 Column

For Type 2:-

Code: Select all

-----------+----------+----------
  . abc  . |  .  . bc |  .  .  .
 -c -c  -c |  .  .  . |  .  .  .
  .  .  ac |  . ac  . |  .  .  .
-----------+----------+----------

5) Hybrid cell contains same values as second pincer cell (i.e., naked pair within line) and align with both first pincer cell's box and second pincer cell's line;
6) First and second pincers' common value may be eliminated from cells align with pivot cell and second pincer cell common box but not first pincer cell and hybrid cell lines.

Code: Select all

................12....345.....1.6..7..8.......53....4....9.......4.5....1.......6 Row, Column

Hope the above steps cover both types and easy to understand/program.

R. Jamil

Edit: Exemplars added.

[StrmCkr]

more examples:

Code: Select all

 .  14  .  | .  . . |  .  .  . |
 . 1234  . | . 24 34| -4 -4 -4 |
 .  .  45  | .  . . |  .  . 45 |

Code: Select all

.  14  .  | .  . . |  .  .  . |
 . 1234  . | . 24 34|  -4 -4 -4|
 .  .  45  | .  . . |  47 .475 |

[rjamil]

Hi StrmCkr,

It looks to me that WXYZ-Wing with naked tuple combination align within a chute.

Maybe, its (called WXYZ-Wings Hybrid) also work like XYZ-Wing Hybrid, i.e., XYZ-Wing with naked double combination align within a chute.

R. Jamil

Exemplars added:

Code: Select all

 ---------------+-------------+-----------
    .  wz    .  | wz   .   .  |  .  .   .
    . wxyz   .  |  .  xz  yz  |  .  .   .
   -Z  -Z   -Z  |  .   .   .  |  .  .   .
 ---------------+-------------+-----------
 ---------------+-------------+-----------
    .  wz    .  | xyz  .   .  |  .  .   .
    . wxyz   .  |  .  xz  yz  | -Z -Z  -Z
    .   .    .  |  .   .   .  |  .  .   .
 ---------------+-------------+-----------

[rjamil]

Hi StrmCkr,

more examples:

Code: Select all

 . 14  .  | .  . . |  .  .  . |
 . 1234 . | . 24 34| -4 -4 -4 |
 .  .  45 | .  . . |  .  . 45 |

Code: Select all

 .  14  . | .  . . |  .  .  . |
 . 1234 . | . 24 34|  -4 -4 -4|
 .  .  45 | .  . . |  47 .475 |

Did you mean Irregular WXYZ-Wings?

I accidently found this site describing ER Winks (i.e. Empty Rectangle Weak Links and suggest name as Irregular WXYZ-Wings).

R. Jamil

[StrmCkr]

No, weak links require strong links with in sector to function. Ie limited placement.
Weaklinks can expand alot of techniques by a singular digit chain.


This idea here in uses an almost locked set of digits in a space as a strong link between groups to perform extra eliminations.

The difference being outside the sets could be other same candidates not removed yet which would render a single digit chain fruitless.