- Code: Select all
- *-----------*
 |4..|3.1|5..|
 |3..|5..|...|
 |.5.|.2.|...|
 |---+---+---|
 |6.2|...|.1.|
 |..8|...|6..|
 |.7.|...|4.8|
 |---+---+---|
 |...|.5.|.8.|
 |...|..3|..9|
 |..1|8.9|..7|
 *-----------*
Play/Print this puzzle online
 *-----------*
 |4..|3.1|5..|
 |3..|5..|...|
 |.5.|.2.|...|
 |---+---+---|
 |6.2|...|.1.|
 |..8|...|6..|
 |.7.|...|4.8|
 |---+---+---|
 |...|.5.|.8.|
 |...|..3|..9|
 |..1|8.9|..7|
 *-----------*

.---------------------.--------------------.-------------------.
|  4      c28     679 | 3      6789   1    |  5    2679   26   |
|  3     c(1)28   679 | 5      46789  4678 |  789  24679  1246 |
|  8-1     5      679 | 4679   2      4678 |  789  34679  1346 |
:---------------------+--------------------+-------------------:
|  6       349    2   | 479    34789  4578 |  79   1      35   |
| a(1)59   349-1  8   | 12479  13479  2457 |  6    2379   235  |
| a(1)59   7      35  | 1269   1369   256  |  4    239    8    |
:---------------------+--------------------+-------------------:
|  279     369    34  | 12467  5      2467 |  123  8      46   |
|  2578   c68     45  | 12467  1467   3    |  12   456    9    |
| a25     b36     1   | 8      46     9    | b23   456    7    |
'---------------------'--------------------'-------------------'.-------------------.--------------------.--------------------.
|  4     28     679 | 3      6789   1    |  5     2679   26   |
|  3     128    679 | 5      46789  4678 |  789   24679  1246 |
|  18    5      679 | 4679   2      4678 |  789   34679  1346 |
:-------------------+--------------------+--------------------:
|  6     349    2   | 479    34789  4578 |  79    1      35   |
|  159   1349   8   | 12479  13479  2457 |  6     2379   235  |
|  159   7      35  | 1269   1369   256  |  4     239    8    |
:-------------------+--------------------+--------------------:
|  279   369  a(3)4 | 12467  5      2467 |  12-3  8      46   |
|  2578  68    a45  | 12467  1467   3    |  12    456    9    |
| b25    6-3    1   | 8      46     9    | b2(3)  456    7    |
'-------------------'--------------------'--------------------'
SpAce wrote:WXYZ-Wing:
(3=45)r78c3 - (5=23)r9c17 => -3 r7c7,r9c2; stte
+----------------------+------------------------+-----------------------+
| 4       b28      679 | 3        6789     1    | 5      2679     c26   |
| 3        128     679 | 5        46789    4678 | 789    24679     1246 |
|a18       5       679 | 4679     2        4678 | 789    34679     1346 |
+----------------------+------------------------+-----------------------+
| 6        349     2   | 479      34789    4578 | 79     1         35   |
|a159      1349    8   | 12479    13479    2457 | 6      2379      235  |
|a159      7       35  | 1269     1369     256  | 4      239       8    |
+----------------------+------------------------+-----------------------+
| 279      369    e34  | 12467    5        2467 |f123    8        d46   |
| 2578     68      45  | 12467    1467     3    | 12     456       9    |
|h2-5      36      1   | 8        46       9    |g23     456       7    |
+----------------------+-------------------------+----------------------+
rjamil wrote:This is an interesting WXYZ-Wing example that there are several simultaneous WXYZ-Wings present at the same puzzle state:
1) WXYZ-Wing: 3468 @ r7c39 r89c2 => -6 @ r7c2
2) WXYZ-Wing: 3469 @ r9c25 r47c2 => -4 @ r4c5
3) WXYZ-Wing: 3469 @ r7c239 r9c2 => -6 @ r9c8

 +----------------------+-------------------------+-----------------------+
 |  4      28     679   |  3       6789    1      |  5     2679    26     | 
 |  3      128    679   |  5       46789   4678   |  789   24679   1246   | 
 |  18     5      679   |  4679    2       4678   |  789   34679   1346   | 
 +----------------------+-------------------------+-----------------------+
 |  6      349    2     |  479     34789   4578   |  79    1       35     | 
 |  159    1349   8     |  12479   13479   2457   |  6     2379    235    | 
 |  159    7      35    |  1269    1369    256    |  4     239     8      | 
 +----------------------+-------------------------+-----------------------+
 | a279    369    34    |  12467   5       2467   |  123   8       46     | 
 | a257-8 d68     45    |  12467   1467    3      |  12    456     9      | 
 | b25    c36     1     |  8       46      9      | c23    456     7      | 
 +----------------------+-------------------------+-----------------------+SpAce wrote:rjamil wrote:This is an interesting WXYZ-Wing example that there are several simultaneous WXYZ-Wings present at the same puzzle state:
1) WXYZ-Wing: 3468 @ r7c39 r89c2 => -6 @ r7c2
Technically true, but it contains a simpler XY-Wing (346)r7c39,r9c2 that also gives you: -6 r9c82) WXYZ-Wing: 3469 @ r9c25 r47c2 => -4 @ r4c5
3) WXYZ-Wing: 3469 @ r7c239 r9c2 => -6 @ r9c8
I don't think these are valid WXYZ-Wings or any elimination logic using those cells.
 +--------------------------+-----------------------+---------------------+
 | 4     28          679    | 3      6789      1    | 5    2679    26     |
 | 3     128         679    | 5      46789     4678 | 789  24679   1246   |
 | 18    5           679    | 4679   2         4678 | 789  34679   1346   |
 +--------------------------+-----------------------+---------------------+
 | 6     [349]       2      | 479    [3789-4]  4578 | 79   1       35     |
 | 159   1349        8      | 12479  13479     2457 | 6    2379    235    |
 | 159   7           35     | 1269   1369      256  | 4    239     8      |
 +--------------------------+-----------------------+---------------------+
 | 279   [({39}-6)]  {(34)} | 12467  5         2467 | 123  8       {(46)} |
 | 2578  (68)        45     | 12467  1467      3    | 12   456     9      |
 | 25    {[(36)]}    1      | 8      [46]      9    | 23   {45-6}  7      |
 +--------------------------+-----------------------+---------------------+
1) WXYZ-Wing: (3468 @ r7c39 r89c2) => -6 @ r7c2
2) WXYZ-Wing: [3469 @ r9c25 r47c2] => -4 @ r4c5
3) WXYZ-Wing: {3469 @ r7c239 r9c2} => -6 @ r9c8 +------------------+--------------------+------------------+
 | 4     28    679  | 3      6789   1    | 5    2679   26   |
 | 3     128   679  | 5      46789  4678 | 789  24679  1246 |
 | 18    5     679  | 4679   2      4678 | 789  34679  1346 |
 +------------------+--------------------+------------------+
 | 6     349   2    | 479    34789  4578 | 79   1      35   |
 | 159   1349  8    | 12479  13479  2457 | 6    2379   235  |
 | 159   7     35   | 1269   1369   256  | 4    239    8    |
 +------------------+--------------------+------------------+
 | 279   39-6  (34) | 12467  5      2467 | 123  8     (46)  |
 | 2578  68    45   | 12467  1467   3    | 12   456   9     |
 | 25    (36)  1    | 8      46     9    | 23   45-6  7     |
 +------------------+--------------------+------------------+
XY-Wing: 346 @ r7c39 r9c2 => -6 @ r7c2 r9c8rjamil wrote:This is an interesting WXYZ-Wing example that there are several simultaneous WXYZ-Wings present at the same puzzle state:

SpAce wrote:rjamil wrote:This is an interesting WXYZ-Wing example that there are several simultaneous WXYZ-Wings present at the same puzzle state:
The colored parts got me confused. The latter two WXYZ-Wings only exist after the first elimination, so apparently you meant they were present in sequence -- not "simultaneously at the same puzzle state" as you wrote. A crucial difference.
In any case, I don't think that's a very good WXYZ-Wing demo, because only the second one in your list makes sense as one (and it's only present after eliminating 6r7c2). The first and the third are much simpler with the XY-Wing which takes care of both at once.
.-----------------.--------------------.------------------.
| 4     28    679 | 3      6789   1    | 5    2679   26   |
| 3     128   679 | 5      46789  4678 | 789  24679  1246 |
| 18    5     679 | 4679   2      4678 | 789  34679  1346 |
:-----------------+--------------------+------------------:
| 6     349   2   | 479    34789  4578 | 79   1      35   |
| 159   1349  8   | 12479  13479  2457 | 6    2379   235  |
| 159   7     35  | 1269   1369   256  | 4    239    8    |
:-----------------+--------------------+------------------:
| 279   369  b34  | 12467  5      2467 | 123  8      46   |
| 2578  68   b45  | 12467  1467   3    | 12   456    9    |
| 2-5  a36    1   | 8     a46     9    | 23  a456    7    |
'-----------------'--------------------'------------------'

rjamil wrote:I mean yours WXYZ-Wing and mine above mentioned three WXYZ-Wings are simultaneously present (and your WXYZ-Wing as fourth one too).
English is not [my mother tongue/my first language/a single variety/measure of intelligence/necessary for success].

SpAce wrote:That's what you said the first time, and I said it wasn't true. Yet you claim it again, without giving any reasons why I should accept it as the truth now. As far as I see, all of those four WXYZ-Wings are not simultaneously present at the given puzzle state. If they were, you could execute any one of them first. However, you can't start with your second and third WXYZ-Wings, because those cells don't contain WXYZ-Wings until you eliminate 6r7c2. Until then those two are almost-WXYZ-Wings. Do you disagree? In that case, please explain what part I don't understand.
rjamil wrote:One WXYZ-Wing (yours) and first one mine present simultaneously, but then 2nd, 3rd present after mine 1st step. Finally yours also present as 4th step in mine.
In other words, by skipping first 3 steps of my WXYZ-Wings, that do not solve the puzzle to stte, 4th one did it alone. Or, my program detect all 4 WXYZ-Wings one after another.
