The New Sudoku Players' Forum

[StrmCkr]

Code: Select all

{xsudoku version where the digits displayed are the only things needed to make it work}
+---------------+------------+-----------------+
| .   -23    .  | .   .   .  | .     -6    .   |
| -1  (123)  -1 | -1  -1  -1 | -1    (16)  -1  |
| .   -23    .  | .   .   .  | .     -6    .   |
+---------------+------------+-----------------+
| .   (23)   .  | .   .   .  | .     -6    .   |
| .   -23    .  | .   .   .  | .     -6    .   |
| .   -23    .  | .   .   .  | .     -6    .   |
+---------------+------------+-----------------+
| .   -23    .  | .   .   .  | -5    (56)  -5  |
| -4  (234)  -4 | -4  -4  -4 | (45)  -456  -45 |
| .   -23    .  | .   .   .  | -5    -56   -5  |
+---------------+------------+-----------------+

that is a beast indeed, now to find a "real" example lol

[rjamil]

Hi expert again,

I see SteveG48 move of March 17, 2019 puzzle. It seems to me another WXYZ-Wing move (or maybe XY-Ring move?) variation.

Code: Select all

  --------------+------------+------------
   .   xy    .  |-Z   -Z  -Z |  yz  .   .
   .    .    .  | .    .   . |   .  .   .
   .    .   wx  | .   wz   . |  -Z -Z  -Z
  --------------+------------+------------

If the above exemplar is correct then is it a special case of XY-Ring move or just another WXYZ-Wing move pattern?

R. Jamil

[StrmCkr]

edit is a Barn size 4,

its technically missing the crucial ingredient of box*row or box*col

and its Not a xy ring as the endpoints aren't connected to loop.

[rjamil]

Hi StrmCkr

Thanks for the quick response.

Edit: Here I am sharing newly derived Almost Locked Set move patterns in exemplars form:

Code: Select all

Almost Locked Set Type 1b (Row-Column wise):
  --------------+-------------+-----------  --------------+-------------+-----------
01).    .    .  |  .   .   .  |  .  .   . 02).    .    .  |  .   .   .  |  .  .   .
   .   xy    .  |  .  -Z   .  |  . yz   .    .   xyz   .  |  .  -Z   .  |  . yz   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
108-------------+-------------+-----------108-------------+-------------+-----------
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
   .   wx    .  |  .  wz   .  |  . -Z   .    .   wx    .  |  .  wz   .  |  .  .   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------

  --------------+-------------+-----------  --------------+-------------+-----------
03).    .    .  |  .   .   .  | -Z  .   . 04).    .    .  |  .   .   .  |  .  .   .
   .   xy    .  |  .   .   .  | -Z yz   .    .   xyz   .  |  .   .   .  | -Z yz   .
   .    .    .  |  .   .   .  | -Z  .   .    .    .    .  |  .   .   .  |  .  .   .
72--------------+-------------+-----------72--------------+-------------+-----------
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
   .    .    .  |  .   .   .  |  . -Z   .    .    .    .  |  .   .   .  |  .  .   .
   .   wx    .  |  .   .   .  | wz -Z   .    .   wx    .  |  .   .   .  | wz  .   .
   .    .    .  |  .   .   .  |  . -Z   .    .    .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------

  --------------+-------------+-----------  --------------+-------------+-----------
05).    .    .  |  .   .   .  |  .  .   . 06).    .    .  |  .   .   .  |  .  .   .
   .   xy   -Z  |  .   .   .  |  . yz   .    .   xyz  -Z  |  .   .   .  |  . yz   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
216-------------+-------------+-----------216-------------+-------------+-----------
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
   .    .   wz  |  .   .   .  |  . -Z   .    .    .   wz  |  .   .   .  |  .  .   .
   .   wx    .  |  .   .   .  |  .  .   .    .   wx    .  |  .   .   .  |  .  .   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
Almost Locked Set Type 1c (Row-Column wise):
  --------------+-------------+-----------  --------------+-------------+-----------
01) .   .    .  |  .   .   .  |  .  .   . 02) .   .    .  |  .   .   .  |  .  .   .
    .  xz    .  |  .  -Z   .  |  . xy   .     .  xz    .  |  .  -Z   .  |  . xyz  .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
    .  wx    .  |  .  wz   .  |  .  .   .     .  wx    .  |  .  wz   .  |  .  .   .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------

  --------------+-------------+-----------  --------------+-------------+-----------
03) .   .    .  |  .   .   .  |  .  .   . 04) .   .    .  |  .   .   .  |  .  .   .
    .  xz    .  |  .   .   .  | -Z xy   .     .  xz    .  |  .   .   .  | -Z xyz  .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
    .  wx    .  |  .   .   .  | wz  .   .     .  wx    .  |  .   .   .  | wz  .   .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------

  --------------+-------------+-----------  --------------+-------------+-----------
05) .   .   -Z  |  .   .   .  |  .  .   . 06) .   .    .  |  .   .   .  |  .  .   .
    .  xz   -Z  |  .   .   .  |  . xy   .     .  xz   -Z  |  .   .   .  |  . xyz  .
    .   .   -Z  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
    .   .    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
    .  -Z   wz  |  .   .   .  |  .  .   .     .   .   wz  |  .   .   .  |  .  .   .
    .  wx    .  |  .   .   .  |  .  .   .     .  wx    .  |  .   .   .  |  .  .   .
    .  -Z    .  |  .   .   .  |  .  .   .     .   .    .  |  .   .   .  |  .  .   .
  --------------+-------------+-----------  --------------+-------------+-----------
Almost Locked Set Type 2b (Box-Line wise):
  --------------+-------------+-----------  --------------+-------------+-----------
01).   xy    .  | -Z  -Z  -Z  |  . yz   . 02).   xyz   .  | -Z  -Z  -Z  |  . yz   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
   .    .   wx  |  .  wz   .  | -Z =Z  -Z    .    .   wx  |  .  wz   .  |  .  .   .
108-------------+-------------+-----------108-------------+-------------+-----------

  --------------+-------------+-----------  --------------+-------------+-----------
03).   xy    .  |  .   .   .  |-YZ yz -YZ 04).   xyz   .  | .    .   .  |-YZ yz  -YZ
   .    .    .  |  .   .   .  | -Z -Z  -Z    .    .    .  | .    .   .  |  .  .   .
   .    .   wx  |  .   .   .  | wz -Z  -Z    .    .   wx  | .    .   .  | wz  .   .
72--------------+-------------+-----------108-------------+-------------+-----------

  --------------+-------------+-----------
05).   xy    .  |  .   .   .  |-YZ yz -YZ
   .    .    .  |  .   .   .  | -Z =Z  -Z
   .    .   wx  |  .   .   .  | -Z wz  -Z
36--------------+-------------+-----------
   .    .    .  |  .   .   .  |  . -Z   .
   .    .    .  |  .   .   .  |  . -Z   .
   .    .    .  |  .   .   .  |  . -Z   .
  --------------+-------------+-----------
   .    .    .  |  .   .   .  |  . -Z   .
   .    .    .  |  .   .   .  |  . -Z   .
   .    .    .  |  .   .   .  |  . -Z   .
  --------------+-------------+-----------

  --------------+-------------+-----------  --------------+-------------+-----------
06).   xy    .  |  .   .   .  |  . wx   . 07).   xyz   .  | .    .   .  |  . wx   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  | .    .   .  |  .  .   .
  -YZ  -YZ  yz  | -Z  -Z  -Z  | wz -Z  -Z   -YZ  -YZ  yz  | .    .   .  | wz  .   .
108-------------+-------------+-----------108-------------+-------------+-----------
Almost Locked Set Type 2c (Box-Line wise):
  --------------+-------------+-----------  --------------+-------------+-----------
01).   xy    .  |  .   .   .  |  . wx   .    .   xyz   .  |  .   .   .  |  . wx   .
   .    .    .  |  .   .   .  |  .  .   .    .    .    .  |  .   .   .  |  .  .   .
  -YZ  -YZ  yz  | -Z  -Z  -Z  |wyz -Z  -Z   -YZ  -YZ  yz  |  .   .   .  | wyz .   .
108-------------+-------------+-----------  --------------+-------------+-----------
Almost Locked Set Type 2d (Box-Line wise)
  --------------+-------------+-----------
01).   xyz   .  |  .   .   .  | -Z wx  -Z
   .    .    .  |  .   .   .  |  .  .   .
  -Z   -Z   wy  |  .   .   .  | wz  .   .
108-------------+-------------+-----------

Note: This thread may includes those Almost Locked Set move patterns/variations in which 4 cells contain 4 clues in total but not all WXYZ-wing cells see apex cell(s) formations.

Edited as on 20190411: Rename WXYZ-Wing move to Almost Locked Set move and added lot of patterns from various StrmCkr posts in this thread.
Edited as on 20190412: Added exemplar 05 in Type 2b.
Edited as on 20190701: Added Almost Locked Set Type 1c (Row-Column wise).

R. Jamil

[StrmCkr]

wxyz wings- land exclusively into a box * row OR Box * col configuration

{ which is why all my examples in my thread only cover those types}
seen Here

anything else is relegated to an Als-xz function. which covers Row - row, COl - COl {ie more then 1 apex/pivot cells from the intersections used. }
for example:

Code: Select all

 --------------+------------+------------  --------------+------------+------------
01).   xy    .  |-Z   -Z  -Z |  yz  .   . 02).   xyz   .  |-Z   -Z  -Z |  yz  .   .
   .    .    .  | .    .   . |   .  .   .    .    .    .  | .    .   . |   .  .   .
   .    .   wx  | .   wz   . |  -Z -Z  -Z    .    .   wx  | .   wz   . |   .  .   .
  --------------+------------+------------  --------------+------------+------------

(Row + Row) * box = xy,wx as the pivot cells.

vs

Code: Select all

    .   wz    . |  .  .   . |  .  .  .
    -Z  wxyz -Z |  . xyz  . |  . xyz .
    .   .     . |  .  .   . |  .  .  .
     

Box * Row = wxyz


this key restriction also applies to xy,xyz wings


however, i did discuss the idea of expanding this elimination in a pure ALs -xz fashion for my B.A.R.N thread to move the n cells with n digits concept out of the narrow constraints.. but then it just becomes a awkward als function

awkward in the sense that
N cells whit N digits translates to the cell counts of the two als must always = N

like 4 cells: =>>
3+1 = 4
2+2 = 4
1 + 3 = 4

[rjamil]

Hi StrmCkr,

however, i did discuss the idea of expanding this elimination in a pure ALs -xz fashion for my B.A.R.N thread to move the n cells with n digits concept out of the narrow constraints.. but then it just becomes a awkward als function

In that case, are this thread exemplars also covered/labeled BARNS=4 move patterns/formations or simply called ALS-xz move?

R. Jamil

[StrmCkr]

most of them are als-xz
a few are als-xy
a couple rare ones are
aals-2RC rule.

like i said mutiple times barns, are over specific als-xz rule. designed for finding all size 1-8 bent sets.

ie single intersection constraints instead of combination of 3 zones. { like i out lined above}

[rjamil]

Hi,

most of them are als-xz
a few are als-xy
a couple rare ones are
aals-2RC rule.

Ok. For me, it's better to call all of them as [generic] Almost Locked Set [or ALS] move instead of specifically name them separately, i.e., not all wings see Apex cell(s), except XY-Ring move, are detected as ALS.

R. Jamil

[rjamil]

Hi experts,

I am trying to code "Almost Locked Set move Type 1b" as mentioned in previous mentioned post first 6 exemplars of this thread/topic.

Checked Robert's puzzles 2019-11-30. After 8 placements by several basic+advance moves, including guesses, puzzle pencilmark state reached as follows:

Code: Select all

 +-----------------+-----------------+----------------+
 | 1     345-2 9   | 456   58   4568 | 7    346 (23)  |
 | 46    8     346 | 456   2    7    | 345  9    1    |
 | 7     245   246 | 3     9    1    | 245  46   8    |
 +-----------------+-----------------+----------------+
 | 249   6     347 | 1459  135  45   | 124  8    2379 |
 | 2489  1     347 | 49    6    48   | 234  5    2379 |
 | 489  (349)  5   | 7     138  2    | 6    14  (39)  |
 +-----------------+-----------------+----------------+
 | 469   49    146 | 2     47   3    | 8    17   5    |
 | 5    (24)   124 | 8     47   9    | 13   137  6-   |
 | 3     7     8   | 156   15   56   | 9    2    4    |
 +-----------------+-----------------+----------------+

My program detect:
Almost Locked Set move Type 1b: 2349 @ r68c2 r16c9 => -2 @ r1c2 r8c9 (note: since r8c9 already solved, therefore no effect and included as per pattern.)
(Similarly, haven't coded for elimination yet, unable to get result/outcome.)

While trying to crosscheck, am unable to get above mentioned move in Hodoku (with standard configuration) and SukakuExplainer v1.11.1 (with standard configuration).

Is there anything wrong with above mentioned move or am I missing something?

R. Jamil

[StrmCkr]

count the als cells and the digits

One of them are N cell with N+2 digits. {ie almost almost locked-set}

requirement is N cells with N+1 digits.

1 rc, isn't enough to lock them out.

[SpAce]

My program detect:
Almost Locked Set move Type 1b: 2349 @ r68c2 r16c9 => -2 @ r1c2 r8c9 (note: since r8c9 already solved, therefore no effect and included as per pattern.)

Is there anything wrong with above mentioned move or am I missing something?

Yes. You have four digits in two cells in r68c2, i.e. an AALS instead of an ALS. You'd need two RCDs (3 and 9) between that and the ALS in r16c9 to make it lock but you only have one (9), and it's not even possible to have more with this configuration. I see no way to make this work as any kind of an A*LS move. It would work if you could eliminate 3r6c2, but that's not possible either (and then it would be simpler as an XY-Chain anyway).

The elimination is valid, but you'd need something like this to make it happen:

Code: Select all

.-----------------------.-----------------.--------------------.
|  1     a[3]45-2  9    | 456   58   4568 | 7    f4'63  f(2)-3 |
|  46      8       346  | 456   2    7    | 345   9       1    |
|  7       245     246  | 3     9    1    | 245  f4'6     8    |
:-----------------------+-----------------+--------------------:
|  249     6      c3'74 | 1459  135  45   | 124   8       2379 |
|  2489    1      c3'74 | 49    6    48   | 234   5       2379 |
| d489   bd349     5    | 7     138  2    | 6    e14      39   |
:-----------------------+-----------------+--------------------:
|  469     49      146  | 2     47   3    | 8     17      5    |
|  5       24      124  | 8     47   9    | 13    137     6    |
|  3       7       8    | 156   15   56   | 9     2       4    |
'-----------------------'-----------------'--------------------'

(3)r1c2 = r6c2 - (3=74)r45c3 - r6c12 = r6c8 - (4=632)b3p823 => -2 r1c2, -3 r1c9

[SpAce]

both of them are N cell with N+2 digits. {ie almost almost locked-set}

Just one is an AALS, not both, right? Other than that, I agree with everything you said.

[StrmCkr]

Corrected. Thaks space

[rjamil]

Hi SpAce and StrmCkr,

Many thanks for the feedback.

Upon checking the newly added routine/code, it seems to me that I have achieved the cells picking scenario but failed to achieve the digits picking scenario.

I will let rethink the digits picking scenario.

Once again, thanks for the rescue.

R. Jamil

[StrmCkr]

another way to view it

set a) 12 {1 cell 2 digits}
set B) 13 {1 cell 2 digits}
Set C) 14 {1 cell 2 digits}
&
Set D) 1234 {1 cell 4 digits}

A*B*C = Set D
1234 = 1234

eliminate peers of the common digit in all ie "1" is elimiated in cells visible to it.

how this functions is that each a,b,c are "almost locked sets"
if the combined digits match 1 other set exactly and each of those digits are visible to all copies for that digits in the individual parts for A,B,C
then "D" has 3 common restricted candidates
then the common that is in all sets can be removed from all peer cells visible to all copies of that digit with in the combined als's

D is the KEY - its must see all copies of the digits in three als sets!

n^A-ls N^RC rule
aka C.o.a.l.s.

seeing how you like the idea of cell counts match digit count this version might help you better.