The New Sudoku Players' Forum

by **rjamil** » Sun Nov 11, 2018 3:11 am

Hi experts,

Currently I am analysing all aspects of XY & XYZ Wings Transport move patterns. Programmed and tested 58 patterns of XY-Wing (Row-Column wise), 23 patterns of XY-Wing (Box-Line wise) and 22 patterns of XYZ-Wing (obviously Box-Line wise) Transport moves satisfactorily.

Now thinking about XYZ-Wing (useless, Row-Column wise) Transport move patterns. Please note that I do understand that there is no direct elimination possible for an XYZ-Wing Row-Column wise move. But what about Transport move patterns eliminations?

~~Note: Since I am typing from smartphone therefore no exemplars included, but will provide as and when needed.~~

H) XYZ-~~Wing~~Transport ~~Row-Column wise~~ (Same as per XY-Wing Transport Row-Column wise):-

Hidden Text: Show

Code: Select all: XYZ-Transport (35 exemplars) ERI (1 exclusion) 8 10 --------------+-------------+----------- --------------+-------------+----------- 01) . . . | / +z / | . . . 02) . . . | . . . | . . . . xyz . | +z +z +z | . xz . . xyz . | . . . | . xz . . . . | / +z / | . . . . . . | . . . | . . . 03--------------+-------------+-----------03--------------+-------------+----------- . . . | . . . | . . . / +z / | . . . | . . . . . . | . . . | . . . +z +z +z | . . . | . -Z . . . . | . . . | . . . / +z / | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . yz . | . -Z . | . . . . yz . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- 03) . . . | . . . | . . . 04) . . . | . . . | . . . . xyz . | . -Z . | . xz . . xyz . | . . . | . xz . . . . | . . . | . . . . . . | . . . | . . . 03--------------+-------------+-----------03--------------+-------------+----------- . . . | . . . | . . . . . . | . . . | / +z / . . . | . . . | . . . . -Z . | . . . | +z +z +z . . . | . . . | . . . . . . | . . . | / +z / --------------+-------------+----------- --------------+-------------+----------- . . . | / +z / | . . . . . . | . . . | . . . . yz . | +z +z +z | . . . . yz . | . . . | . . . . . . | / +z / | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- Reduced ERI (up to 2 exclusions) 7 9 --------------+-------------+----------- --------------+-------------+----------- 05) . -Z . | / +Z / | . . . 06) . . . | . . . | . . . . xyz . | +z +z +z | . xz . -Z xyz . | . . . | . xz . . . . | / / / | . . . . . . | . . . | . . . 06--------------+-------------+-----------06--------------+-------------+----------- . . . | . . . | . . . / +z / | . . . | . . . . . . | . . . | . . . +Z +z / | . . . | . -Z . . . . | . . . | . . . / +z / | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . yz . | . -Z . | . . . . yz . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- Box (1 exclusion) 5 6 --------------+-------------+----------- --------------+-------------+----------- 09) . -Z . | +z +z +z | . . . 10) . . . | . . . | . . . . xyz . | +z +z +z | . xz . -Z xyz . | . . . | . xz . . . . | / / / | . . . . . . | . . . | . . . 02--------------+-------------+-----------02--------------+-------------+----------- . . . | . . . | . . . +z +z / | . . . | . . . . . . | . . . | . . . +z +z / | . . . | . . . . . . | . . . | . . . +z +z / | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . yz . | . . . | . . . . yz . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- Line (1 exclusion) 1 --------------+-------------+----------- --------------+-------------+----------- 13) . -Z . | . . . | . . . 14) . . +z | . . . | . . . . xyz . | . . . | . xz . -Z xyz +z | . . . | . xz . +z +z +z | / / / | +z +z +z . . +z | . . . | . . . 02--------------+-------------+-----------02--------------+-------------+----------- . . . | . . . | . . . . . / | . . . | . . . . . . | . . . | . . . . . / | . . . | . . . . . . | . . . | . . . . . / | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . +z | . . . | . . . . yz . | . . . | . . . . yz +z | . . . | . . . . . . | . . . | . . . . . +z | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- Line Reduced Ring (multiple exclusions) 15 --------------+-------------+----------- --------------+-------------+----------- 17) . -YZ . | . . . | -Z -Z -Z 18) . -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 | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- 21) . -YZ . | . . . | -Z -Z -Z 22) . -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 / | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- 23) . -YZ . | . . . | . -Z . 24) . -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 . | . . . | / . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- 33) . . . | . . . | . . . 34) . . / | . . . | . . . . xyz . | -Z -Z -Z | . xz . . xyz +Z | . . . | . xz . / +Z / | +z +z +z | / / / . . / | . . . | . . . 02--------------+-------------+-----------02--------------+-------------+----------- . . . | . . . | . . . . -Z +z | . . . | . . . . . . | . . . | . . . . -Z +z | . . . | . . . . . . | . . . | . . . . -Z +z | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . / | . . . | . . . . yz . | . . . | . . . . yz / | . . . | . . . . . . | . . . | . . . . . / | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- 37) . . . | . . . | . . . 38) . . . | . / . | . . . . xyz . | . . . | . xz . . xyz . | -Z / -Z | . xz . . . . | . . . | . . . . . . | . +Z . | . . . 06--------------+-------------+-----------06--------------+-------------+----------- . -Z . | . . . | . . . . . . | . / . | . . . / / +Z | / / / | / +Z / . . . | . / . | . . . . -Z . | . . . | . . . . . . | . / . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . / . | . . . . yz . | . . . | . . . . yz . | . +Z . | . . . . . . | . . . | . . . . . . | . / . | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- 39) . . . | . . . | -Z . . 40) . . . | . / . | . . . . xyz . | . . . | -Z xz . . xyz . | . +Z . | . xz . . . . | . . . | -Z . . . . . | . / . | . . . 06--------------+-------------+-----------06--------------+-------------+----------- . . . | . . . | . -Z . . . . | . / . | . . . / +Z / | / / / | +Z / / . . . | . / . | . . . . . . | . . . | . -Z . . . . | . / . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . -Z -Z -Z | . +Z . | . . . . yz . | . . . | . . . . yz . | -Z / -Z | . . . . . . | . . . | . . . . . . | . / . | . . . --------------+-------------+----------- --------------+-------------+----------- ERI --------------+-------------+----------- --------------+-------------+----------- 41) . . . | . . . | . . . 42) . . . | / +z / | . . . . xyz . | . . . | . xz . . xyz . | / -Z / | . xz . . . . | . . . | . . . . . . | +z +z +z | . . . 06--------------+-------------+-----------06--------------+-------------+----------- / / +z | . . . | / +z / . . . | . . . | . . . +z -Z +z | . . . | +z +z +z . . . | . . . | . . . / / +z | . . . | / +z / . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | / +z / | . . . . yz . | . . . | . . . . yz . | +z +z +z | . . . . . . | . . . | . . . . . . | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- 43) . . . | . . . | -Z . . 44) . . . | / +z / | . . . . xyz . | . . . | -Z xz . . xyz . | +z +z +z | . xz . . . . | . . . | -Z . . . . . | / +z / | . . . 06--------------+-------------+-----------06--------------+-------------+----------- / +z / | . . . | +z / / . . . | . . . | . . . +z +z +z | . . . | +z -Z +z . . . | . . . | . . . / +z / | . . . | +z / / . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . -Z -Z -Z | +z +z +z | . . . . yz . | . . . | . . . . yz . | / -Z / | . . . . . . | . . . | . . . . . . | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- Line --------------+-------------+----------- --------------+-------------+----------- 47) . . . | . . . | . . . 48) . . . | . / . | . . . . xyz . | . -Z . | . xz . . xyz . | . +Z . | . xz . . . . | . . . | . . . . . . | . / . | . . . 09--------------+-------------+-----------09--------------+-------------+----------- . . . | . . . | . . . . . . | . / . | . . . / +Z / | / +Z / | / / / . -Z . | . +Z . | . . . . . . | . . . | . . . . . . | . / . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . / . | . . . . yz . | . . . | . . . . yz . | . / . | . . . . . . | . . . | . . . . . . | . / . | . . . --------------+-------------+----------- --------------+-------------+----------- ERI --------------+-------------+----------- --------------+-------------+----------- 51) . . . | . . . | . . . 52) . . . | / +z / | . . . . xyz . | . -Z . | . xz . . xyz . | +z +z +z | . xz . . . . | . . . | . . . . . . | / +z / | . . . 09--------------+-------------+-----------09--------------+-------------+----------- / +z / | / +z / | . . . . . . | / +z / | . . . +z +z +z | +z +z +z | . . . . -Z . | +z +z +z | . . . / +z / | / +z / | . . . . . . | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . yz . | . . . | . . . . yz . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- Line Ring (multiple exclusions) 13 --------------+-------------+----------- --------------+-------------+----------- 53) . -YZ . | . . . | . -Z . 54) . -Y . | . / . | . . . -X xyz -X | -X -X -X | -X xz -X -XZ xyz -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) --------------+-------------+----------- --------------+-------------+----------- 55) . -YZ . | . . . | . -Z . 56) . -Y . | / +z / | . . . -X xyz -X | -X -X -X | -X xz -X -XZ xyz -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 / | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- 57) / +z-Y / | . . . | . . . +z-X xyz +z-X| -XZ -XZ -XZ | -XZ xz -XZ / +z-Y / | . . . | . . . 01--------------+-------------+----------- . -YZ . | . . . | . . . . -YZ . | . . . | . . . . -YZ . | . . . | . . . --------------+-------------+----------- . -YZ . | . . . | . . . . yz . | . . . | . . . . -YZ . | . . . | . . . --------------+-------------+-----------

R. Jamil

Updated as on 20181113: Added all patterns.
Note that numer before first And second band separator line denote total variations of a pattern.
For rest of the markings, please ignore them at the moment.

Added as on 20181123: Note: XYZ-Transport concept taken from here.
Coded for all 35 exemplars ~~but exemplars # 21-24, reduced line ring, not working/produced error~~.
XYZ-Transport exemplar number is similar to as XY-Wing (Row-Column wise) Transport for reference only.
Added as on 20181126: Exemplars 21 & 22 ok, however, from exemplars 23 & 24, remove unnecessary wings' box other cells eliminations result XYZ-Transport moves detection working.
Updated as on 20181130: additional exclusions in exemplars 55 & 56 as per below mentioned creint advise.

by **rjamil** » Mon Nov 26, 2018 2:36 pm

Hi all,

Wish to inform that the XYZ-Transport move 35 exemplars have been coded successfully and under testing phase.

Sharing following example puzzle taken from here:

Code: Select all: .....9....6..3.17.53..1.2..1..3......7.9...23.2.85..4..4..2.93...1..6.....6..37.. +----------------+-----------------+------------------+ | 2478 18 2478 | 24567 4678 9 | 34568 568 4568 | | 2489 6 2489 | 245 3 2458 | 1 7 4589 | | 5 3 4789 | 467 1 478 | 2 689 4689 | +----------------+-----------------+------------------+ | 1 589 4589 | 3 467 247 | 568 5689 56789 | | 468 7 458 | 9 46 14 | 568 2 3 | | 369 2 39 | 8 5 17 | 6 4 1679 | +----------------+-----------------+------------------+ | 78 4 578 | 157 2 1578 | 9 3 1568 | | 23789 589 1 | 457 4789 6 | 458 58 2458 | | 289 589 6 | 145 489 3 | 7 158 12458 | +----------------+-----------------+------------------+

After several basic moves and two W-Wing moves, puzzle state reached to the following pm:

Code: Select all: +-----------+--------------+-------------+ | 48 1 27 | 2567 78 9 | 3 568 458 | |(48)6 29 | 25 3 (458)| 1 7 459-8| |/5 /3 /79 |/67 /1 s48 |s2 s68 s489 | +-----------+--------------+-------------+ | 1 58 4 | 3 6 2 | 58 9 7 | | 6 7 58 | 9 4 1 | 58 2 3 | | 9 2 3 | 8 5 7 | 6 4 1 | +-----------+--------------+-------------+ | 7 4 58 | 1 2 (58) | 9 3 6 | | 3 59 1 | 57 789 6 | 4 58 2 | | 2 589 6 | 4 89 3 | 7 1 58 | +-----------+--------------+-------------+

XYZ-Transport: 458 @ r2c16 & r7c6 Strong Link Clue 8 @ Row 3 => -8 @ r2c9

R. Jamil

by **creint** » Mon Nov 26, 2018 10:31 pm

There are more patterns possible probably because it seems like all of the examples are XYZ wing + grouped chain.
There must be a z inside the XYZ wing so exclusion when a chain forces that.

Example 1 for example can contain also example 2, so you get 2 exclusions with same XYZ wing does your solver catch that as 1 group?

Checked the last 3 with Xsudo and found:
Example 55 you may exclude z from row 5 in box 5
Example 56 you may exclude z from column 5 in box 5

by **StrmCkr** » Tue Nov 27, 2018 12:08 am

There are more patterns possible probably because it seems like all of the examples are XYZ wing + grouped chain.

that is because the "transport" moves are als-xz/xy etc functions with an extension chain off the restricted "z" candidate of the als function.

http://forum.enjoysudoku.com/fin-transport-irregular-xy-wings-aka-kraken-fish-t33596.html?hilit=transport
http://forum.enjoysudoku.com/irregular-w-xyz-wings-t33543.html?hilit=transport

Example 55 you may exclude z from row 5 in box 5
Example 56 you may exclude z from column 5 in box 5

correct

by **rjamil** » Tue Nov 27, 2018 2:48 am

Hi all,

creint wrote:There are more patterns possible probably because it seems like all of the examples are XYZ wing + grouped chain.

I have implemented those patterns that contain only one strong/weak link. This is my first attempt to program XYZ-Transport move. If there are more patterns possible with one strong/weak link then please help to construct them all.

creint wrote:Example 1 for example can contain also example 2, so you get 2 exclusions with same XYZ wing does your solver catch that as 1 group?

My solver catches each pattern one by one at a time. If another pattern lying at the same time but vanished after first pattern exclusions perform then it won't find second one.

creint wrote:Checked the last 3 with Xsudo and found:
Example 55 you may exclude z from row 5 in box 5
Example 56 you may exclude z from column 5 in box 5

StrmCkr wrote:correct

Many thanks for pointed out additional exclusions in exemplars 55 and 56 by creint and confirmed by StrmCkr. I will definitely implement the same in to my solver accordingly.

R. Jamil

Added: The above mentioned exclusions will be included in following transport patterns/exemplars:
1) In XY-Wing Type 1 (Row-Column wise) Transport: Exemplars 55 & 56
2) In XY-Wing Type 2 (Box-Line wise) Transport: Exemplar 15
3) In XYZ-Transport (Row-Column wise): Exemplars 55 & 56
4) In XYZ-Wing Transport (Box-Line wise): Exemplar 11

by **rjamil** » Thu Nov 29, 2018 1:24 am

Hi,

Wish to inform that the above mentioned additional exclusions within mini-line have been updated in to my solver successfully.

Now, waiting for additional patterns/exemplars of XYZ-Transport having only one strong/weak link to be provided by expert, if any.

Or confirmation regarding only 35 patterns of XYZ-Transport as compared to 58 patterns of XY-Wing Transport (Row-Column wise).

R. Jamil

by **StrmCkr** » Fri Nov 30, 2018 10:33 am

using xsudo v-2 by allan barker under edit -> quick edit.
its pretty easy to setup and test your logic.

all 35 test cases are correct, and the eliminations are sound for this function.
-- i cannot confirm this is all the scenarios

Please note that I do understand that there is no direct elimination possible for an XYZ-Wing Row-Column wise move. But what about Transport move patterns eliminations?

............ this one breaks that.............

hopefully its sheds some direct light on why i said my solver uses ALS-xz search engine for transport eliminations. {as it is very relatable to your examples by shifting where the xz cell lands in the col}

instead of a "wing" search function ie a forced fixed box restriction of the xyz-wing,wxyz-- wing by using exclusively a box + (row/col) for the A & B sets instead of combinations of R,C,B { between the two sets. }

Code: Select all: +----------------+---------+------------+ | . . . | . . . | . . . | | -1 (123) -1 | . . . | . (13) . | | . (12) . | . . . | . . . | +----------------+---------+------------+ | . (1) . | . . . | . . . | | . (1) (1) | . . . | . -1 . | | . (1) . | . . . | . . . | +----------------+---------+------------+ | . . . | . . . | . . . | | . . . | . . . | . . . | | . . . | . . . | . . . | +----------------+---------+------------+

so you'd have to incorporate this style into your list as well any other plausible scenarios.

like this ring version:

Code: Select all: +-------------------+------------+----------------+ | -2 -12 -2 | . . . | . -1 . | | -123 (123) -123 | -3 -3 -3 | -3 (13) -3 | | -2 (12) -2 | . . . | . -1 . | +-------------------+------------+----------------+ | . (1) . | . . . | . (1) . | | (1) (-1) (1) | -1 -1 -1 | (1) (-1) (1) | | . (1) . | . . . | . (1) . | +-------------------+------------+----------------+ | . -1 . | . . . | . -1 . | | . -1 . | . . . | . -1 . | | . -1 . | . . . | . -1 . | +-------------------+------------+----------------+

by **rjamil** » Fri Nov 30, 2018 11:04 am

Hi StrmCkr,

StrmCkr wrote:using xsudo v-2 by allan barker under edit -> quick edit.
its pretty easy to setup and test your logic.

I do have XSUDO-V2 Version 2.03 by R. Allan Barker, but don't know how to setup and test the exemplar/pattern.

StrmCkr wrote:all 35 test cases are correct, and the eliminations are sound for this function.

Many thanks for the confirmation regarding the correctness of XYZ-Transport (Row-Column wise) all 35 exemplars/patterns.

StrmCkr wrote:-- i cannot confirm this is all the scenarios

Please note that, I have derived XYZ-Transport (Row-Column wise) 35 exemplars from XY-Wing Transport (Row-Column wise) 58 exemplars that were already incorporated in to my solver.

StrmCkr wrote:............ this one breaks that.............
...
Code: Select all
+----------------+---------+------------+ | . . . | . . . | . . . | | -1 (123) -1 | . . . | . (13) . | | . (12) . | . . . | . . . | +----------------+---------+------------+ | . (1) . | . . . | . . . | | . (1) (1) | . . . | . -1 . | | . (1) . | . . . | . . . | +----------------+---------+------------+ | . . . | . . . | . . . | | . . . | . . . | . . . | | . . . | . . . | . . . | +----------------+---------+------------+

so you'd have to incorporate this style into your list as well any other plausible scenarios.

This one is based on XYZ-Wing (Box-Line wise) Transport, and I have already coded 22 exemplars. Thanks for providing the idea of generating more patterns. I will rethinking them manually for discovering more exemplars.

like this ring version:
Code: Select all
+-------------------+------------+----------------+ | -2 -12 -2 | . . . | . -1 . | | -123 (123) -123 | -3 -3 -3 | -3 (13) -3 | | -2 (12) -2 | . . . | . -1 . | +-------------------+------------+----------------+ | . (1) . | . . . | . (1) . | | (1) (-1) (1) | -1 -1 -1 | (1) (-1) (1) | | . (1) . | . . . | . (1) . | +-------------------+------------+----------------+ | . -1 . | . . . | . -1 . | | . -1 . | . . . | . -1 . | | . -1 . | . . . | . -1 . | +-------------------+------------+----------------+

The above ERI Ring has already considered and mentioned as exemplar # 11; and additional exclusions has also been incorporated as per advised by creint.

R. Jamil

Added: With my limited knowledge, am able to generate only 2 additional exemplars for both XY-Wing (Box-Line wise) and XYZ-Wing (Box-Line wise) as follows:

Code: Select all: XY-Wing (Box-Line wise) Transport additional 2 exemplars: ERI --------------+-------------+----------- --------------+-------------+----------- -z xy -z | . xz . | . . . -z xy -z | . xz . | . . . . . . | . . . | . . . . . . | . . . | . . . . . yz | -z -z -z | . . . . . yz | -z -z -z | . . . --------------+-------------+----------- --------------+-------------+----------- / / +z | . . . | . . . . . . | / +z / | . . . +z +z +z | . -Z . | . . . . . -Z | +z +z +z | . . . / / +z | . . . | . . . . . . | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- XYZ-Wing (Box-Line wise) Transport additional 2 exemplars: ERI --------------+-------------+----------- --------------+-------------+----------- -z -z xyz | . xz . | . . . -z -z xyz | . xz . | . . . . . . | . . . | . . . . . . | . . . | . . . . . yz | . . . | . . . . . yz | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- / / +z | . . . | . . . . . . | / +z / | . . . +z +z +z | . -Z . | . . . . . -Z | +z +z +z | . . . / / +z | . . . | . . . . . . | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+-----------

by **rjamil** » Sat Sep 14, 2019 8:25 am

Hi experts,

While I am shrinking my Transport routine, got an idea as how to merge various similar patterns in to combined search routines. Wish to inform that some new patterns were also discovered and under analyzing/work in progress phase. Here I am sharing a combined pattern generated during shrinking the code for reference purpose only.

By combining A) XY-Wing Type 1 Transport (Row-Column wise):- ERI and Reduced ERI exemplars, generate following patterns:

Code: Select all: ERI (1 exclusion) Reduced ERI (up to 2 exclusions) --------------+-------------+----------- --------------+-------------+----------- 01) . . . | / +z / | . . . 02) . [-Z] . | / +Z / | . . . . xy . | +z . +z | . xz . . xy . | +z . +z | . xz . . . . | / +z / | . . . . . . | / / / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . yz . | . [-Z] . | . -z . . yz . | . -Z . | . -z . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- ERI (up to 2 exclusions) Reduced ERI (up to 4 exclusions) --------------+-------------+----------- --------------+-------------+----------- 03) . . . | / +z / | . . . 04) . [-Z] . | / +Z / | . . . . xy . | +z . +z | . xz . . xy . | +z . +z | . xz . . . . | / +z / | . . . . . . | / / / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | / +z / | . . . . . . | / +z / | . . . . [-Z] . | +z . +z | . . . . -Z . | +z . +z | . . . . . . | / +z / | . . . . . . | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . yz . | . -Z . | . -z . . yz . | . -Z . | . -z . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- 05) . . . | / +z / | . . . 06) . [-Z] . | / +Z / | . . . . xy . | +z . +z | . xz . . xy . | +z . +z | . xz . . . . | / +z / | . . . . . . | / / / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | / +z / | . . . . . . | / +z / | . . . . -Z . | +z . / | . . . . -Z . | +Z . / | . . . . . . | / +z / | . . . . . . | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . yz . |[-Z] -Z . | . -z . . yz . | -Z -Z . | . -z . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- ERI (up to 4 exclusions) Reduced ERI (up to 5 exclusions) --------------+-------------+----------- --------------+-------------+----------- 07) . . . | / +z / | . . . 08) . [-Z] . | / +Z / | . . . . xy . | +z . +z | . xz . . xy . | +z . +z | . xz . . . . | / +z / | . . . . . . | / / / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- [-Z][-Z] [-Z] | +z . +z | . . . -Z -Z -Z | +z . +z | . . . . yz . | / -Z / | . -z . . yz . | / -Z / | . -z . . . . | / +z / | . . . . . . | / +z / | . . . --------------+-------------+----------- --------------+-------------+-----------

Please note that the same routine will also search XYZ-Transport (Row-Column wise) move.

Hope that new patterns will maintain the speed of my program with reduced in number of lines and human-editable source code. I will keep adding remarks/explanations where necessary.

However, due to working in various areas/aspacts at the same time, source code sharing postpond for long time. I.e., changing debugging cell number (0 to 80) to r1c1 fixed format. In some moves, cell numbers will shown in one bundled form (eg, Locked candidate Type 2 (Claiming): 8 @ r2c123 => -8 @ r13c123, Locked candidate Type 1 (Pointing): 3 @ r5c123 => -3 @ r5c456789).

R. Jamil

by **rjamil** » Sat Oct 05, 2019 3:57 pm

Hi experts,

Wish to inform that I have completed the XY-Wing (Row-Column wise) Transport and XYZ-Transport (Row-Column wise) routine merging successfully.

Tested above mentioned patterns. Now XY-Wing (Row-Column wise) Transport routine detect total 84 patterns (previously total 58) and XYZ-Transport detect total 43 patterns (previously 35) without compromising in speed and increased puzzles solved without guessing statistics (for eg, 9562 out of Ruud's 50k specialty puzzles solved without guessing in less than 35 sec). Also, rectified bug in step by step debugging caused due merging and shrinking the code.

Now I am applying the same merging and shrinking the code aspect in to XY- and XYZ-Wing Transport (Box-Line wise) routine.

Here I am sharing two new patterns discovered accidently, two missed unexpectedly and two eliminations within patterns for correcting the record:

Hidden Text: Show

Code: Select all: Missed patterns:- --------------+-------------+----------- --------------+-------------+----------- -z xyz -z | . xz . | -Z -Z -Z -z xyz -z | +z xz +z | -Z -Z -Z +z +z +z | / / / | +z +z +z . . . | / / / | . . . . . yz | . . . | . . . . . yz | +z +z +z | . . . 01--------------+-------------+-----------01--------------+-------------+----------- New patterns discovered:- --------------+-------------+----------- --------------+-------------+----------- -z xyz -z | . xz . | . . . -z xyz -z | . xz . | . . . . . . | . . . | . . . . . . | . . . | . . . . . yz | . . -Z | . . . . . yz | . . -Z | . . . 12--------------+-------------+-----------12--------------+-------------+----------- . . . | . . . | . . . / +z / | / / +z | . . . / +Z / | / / +Z | / / / +z . +z | +z +z . | . . . . . . | . . . | . . . / +z / | / / +z | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- Added eliminations within patterns: --------------+-------------+----------- --------------+-------------+----------- xyz -z -z | . xz . | . . . xyz -z -z | . xz . | . . . . -Z . | . . . | . . . . -Z . | . . . | . . . . -Z yz | . . . | . . . . -Z yz | . . . | . . . 12--------------+-------------+-----------12--------------+-------------+----------- . . . | . . . | . . . / +z / | / +z / | . . . / +Z / | / +Z / | / / / +z . +z | +z . +z | . . . . . . | . . . | . . . / +z / | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- -z xyz -z | . xz . | . . . -z xyz -z | . xz . | . . . . -Z . | . . . | . . . . -Z . | . . . | . . . . -Z yz | . (-Z) . | . . . . -Z yz | . (-Z) . | . . . 24--------------+-------------+-----------24--------------+-------------+----------- . . . | . . . | . . . / +z / | / +z / | . . . / +Z / | / +Z / | / / / +z . +z | +z . +z | . . . . . . | . . . | . . . / +z / | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- --------------+-------------+----------- -z -z xyz | . xz . | . . . -z -z xyz | . xz . | . . . . -Z . | . . . | . . . . -Z . | . . . | . . . . -Z yz | . . . | . . . . -Z yz | . . . | . . . 12--------------+-------------+-----------12--------------+-------------+----------- . . -Z | . . . | . . . / +z / | / +z / | . . . / +Z / | / +Z / | / / / +z . -Z | +z . +z | . . . . . -Z | . . . | . . . / +z / | / +z / | . . . --------------+-------------+----------- --------------+-------------+----------- . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . . . . | . . . | . . . --------------+-------------+----------- --------------+-------------+-----------

However, need expert confirmation regarding that there is no reduced Line/ERI pattern in Box-Line wise Transport exemplars.

Source code will be shared after rectifying the bug in Box-Line wise Transport step by step debugging routine with merging and shrinking the same routine soon.

R. Jamil

The New Sudoku Players' Forum

XYZ-Wing (Row-Column wise) Transport

XYZ-Wing (Row-Column wise) Transport

Re: XYZ-Wing (Row-Column wise) Transport

Re: XYZ-Wing (Row-Column wise) Transport

Re: XYZ-Wing (Row-Column wise) Transport

Re: XYZ-Wing (Row-Column wise) Transport

Re: XYZ-Wing (Row-Column wise) Transport

Re: XYZ-Wing (Row-Column wise) Transport

Re: XYZ-Wing (Row-Column wise) Transport

Re: XYZ-Wing (Row-Column wise) Transport

Re: XYZ-Wing (Row-Column wise) Transport