January 25, 2020

Post puzzles for others to solve here.

January 25, 2020

Postby tarek » Sat Jan 25, 2020 8:52 pm

I couldn't crack this nut

Code: Select all
+-------+-------+-------+
| . . 1 | . 7 . | . 8 . |
| . . 4 | . . 9 | . 5 2 |
| 5 9 . | . 6 . | 7 . . |
+-------+-------+-------+
| . . . | . . . | 3 . 5 |
| 9 . 2 | . . 1 | . . . |
| . 5 . | . 9 . | . . . |
+-------+-------+-------+
| . . 6 | 2 . . | . . . |
| 8 7 . | . . . | . . 1 |
| . 1 . | 9 . . | . 4 . |
+-------+-------+-------+
..1.7..8...4..9.5259..6.7........3.59.2..1....5..9......62.....87......1.1.9...4.

Play this puzzle online

Download Sukaku Explainer
User avatar
tarek
 
Posts: 3762
Joined: 05 January 2006

Re: January 25, 2020

Postby pjb » Sun Jan 26, 2020 2:41 am

Two steps using almost xy-wings
Code: Select all
 36      2       1      | 345    7      345    | 469    8      3469   
 7      a368*    4      | 138   b38     9      |e16*    5      2     
 5       9       8-3    | 1348   6      2      | 7     f13*    34     
------------------------+----------------------+---------------------
 1       468     78     | 4678   2      468    | 3      9      5     
 9       348     2      | 34578  45     1      | 48     6      478   
 346     5       378    | 34678  9      3468   | 12     12     478   
------------------------+----------------------+---------------------
 34      34      6      | 2      1      58     | 589    7      89     
 8       7       9      | 3456   45     3456   | 25     23     1     
 2       1       5      | 9     c38     7      |d68     4      368   


Almost xy-wing at r3c8, r2c7 and r2c2, with (8)r2c2 - (8=3)r2c5 - (3=8)r9c5 - (8=6)r9c7 - (6=1)r2c7 - (1=3)r3c8, => -3 r3c3
3s at r3c8 and r3c9 only ones in row/column.

Code: Select all
 36      2       1      | 45     7      345    | 469    8      469   
 7       36      4      | 18     38     9      | 16     5      2     
 5       9       8      |b14     6      2      | 7      13    c34     
------------------------+----------------------+---------------------
 1       468     7      |a468*   2      468    | 3      9      5     
 9       48      2      | 3      5      1      | 48     6      7     
 46      5       3      | 7      9      46-8   | 12     12    d48     
------------------------+----------------------+---------------------
 34      34      6      | 2      1      58*    | 589    7      89     
 8       7       9      | 56*    4      356    | 25     23     1     
 2       1       5      | 9      38     7      | 68     4      368   


Almost xy-wing at r7c6, r8c4 and r4c4, with (4)r4c4 - r3c4 = r3c9 - (4=8)r6c9, => -8 r6c6; stte

Phil
pjb
2014 Supporter
 
Posts: 2552
Joined: 11 September 2011
Location: Sydney, Australia

Re: January 25, 2020

Postby Mauriès Robert » Sun Jan 26, 2020 1:22 pm

Hi Phil,
pjb wrote:Almost xy-wing at r3c8, r2c7 and r2c2, with (8)r2c2 - (8=3)r2c5 - (3=8)r9c5 - (8=6)r9c7 - (6=1)r2c7 - (1=3)r3c8, => -3 r3c3

I don't see how Almost xy-wing to r3c8, r2c7 and r2c2 serves you to build the AIC (8)r2c2 - (8=3)r2c5 - (3=8)r9c5 - (8=6)r9c7 - (6=1)r2c7 - (1=3)r3c8?
One can build this AIC without worrying about the wing Almost xy because the 8s form a pair in b1.
Ditto for the other Almost xy-wing.
Sincerely
Robert
Mauriès Robert
 
Posts: 585
Joined: 07 November 2019
Location: France

Re: January 25, 2020

Postby Cenoman » Sun Jan 26, 2020 5:24 pm

A one-stepper, presented as a net:
Code: Select all
 +--------------------+----------------------+--------------------+
 |  36    2     1     |  345     7    345    |  469   8    3469   |
 |  7     368   4     |  138     38   9      |  16    5    2      |
 |  5     9     38    |  348-1   6    2      |  7     13   34     |
 +--------------------+----------------------+--------------------+
 |  1     468   78    |  4678    2    468    |  3     9    5      |
 |  9     348   2     |  34578   45   1      |  48    6    478    |
 |  346   5     378   |  34678   9    3468   |  12    12   478    |
 +--------------------+----------------------+--------------------+
 |  34    34    6     |  2       1    58     |  589   7    89     |
 |  8     7     9     |  3456    45   3456   |  25    23   1      |
 |  2     1     5     |  9       38   7      |  68    4    368    |
 +--------------------+----------------------+--------------------+

(8)r4c2-(8=374)b4p359-r5c79=r6c9-r3c9=(4)r3c4 *
 ||
(8)r4c3-r3c3=(8)r3c4 *
 ||
(8)r4c4-r46c6=8r7c6-(8=2593)b9p1345-(3=1)r3c8 *
 ||
(8)r4c6 - r7c6 = r9c5 - (8=6)r9c7 - r9c9 = r1c9 - r1c1 = r6c1 - (6)r6c6
        \                                                        ||
          - - - - - - - - - - - - - - - - - - - - - - - - - - - (6)r4c6
                                                                 ||
                                                                (6)r8c6 - (3)r8c6
                                                                           ||
                                                                          (3)r6c6-r6c3=(38)r3c34 *
                                                                           ||
                                                                          (3)r6c6-(3=81)r2c45 *
--------------
=> -1r3c4; ste
Cenoman
Cenoman
 
Posts: 2710
Joined: 21 November 2016
Location: France

Re: January 25, 2020

Postby pjb » Sun Jan 26, 2020 9:19 pm

Hi Robert

Don't see the problem.
If the 8 at r2c2 is false, then an XY-wing exists which eliminates 3 from r3c3.
If the 8 at r2c2 is true, then the 3 at r3c8 is true following simple xy chain.
Either way, the 3 at r3c3 is false.

Phil
pjb
2014 Supporter
 
Posts: 2552
Joined: 11 September 2011
Location: Sydney, Australia

Re: January 25, 2020

Postby Ajò Dimonios » Sun Jan 26, 2020 10:38 pm

Hi Robert, Hi Phil

This can be seen, if we start and close the chain in r2c2 starting with 8 true in r2c2, as a discontinuous nice loop that eliminates 8 in r2c2.

Paolo
Ajò Dimonios
 
Posts: 213
Joined: 07 November 2019

Re: January 25, 2020

Postby pjb » Mon Jan 27, 2020 12:21 am

Hi Ajo

Good observation. The following chain eliminates 8 from r2c2:
(8=3)r3c3 - (3=1)r3c8 - (1=6)r2c7 - (6=8)r9c7 - (8=3)r9c5 - (3=8)r2c5 => -8 r2c2, yielding same position.
Simpler than invoking the xy-wing

Phil
pjb
2014 Supporter
 
Posts: 2552
Joined: 11 September 2011
Location: Sydney, Australia

Re: January 25, 2020

Postby Mauriès Robert » Mon Jan 27, 2020 12:37 pm

Hi Phil and Paolo,
pjb wrote:Don't see the problem.
If the 8 at r2c2 is false, then an XY-wing exists which eliminates 3 from r3c3.
If the 8 at r2c2 is true, then the 3 at r3c8 is true following simple xy chain.
Either way, the 3 at r3c3 is false.

Thank you, Phil, that makes more sense.

pjb wrote:The following chain eliminates 8 from r2c2:
(8=3)r3c3 - (3=1)r3c8 - (1=6)r2c7 - (6=8)r9c7 - (8=3)r9c5 - (3=8)r2c5 => -8 r2c2, yielding same position.
Simpler than invoking the xy-wing

This is in a way what I wanted to point out, we don't need the XY-wing to conclude, either by this chain starting on the strong link 8=3, or by noticing that the chain (8)r2c2 - (8=3)r2c5 - (3=8)r9c5 - (8=6)r9c7 - (6=1)r2c7 - (1=3)r3c8 allows us to conclude -8r2c2 since it corresponds to a contradiction in the r3c3 cell empty.
Robert
Mauriès Robert
 
Posts: 585
Joined: 07 November 2019
Location: France

Re: January 25, 2020

Postby Cenoman » Mon Jan 27, 2020 9:14 pm

Hi Phil, Robert, Paolo

I am confused with the discussion about this puzzle solution.

Phil's first almost XY-wing is questioned, whereas to me this is no problem. Written as a kraken, Phil's chain reads:
(3)r2c2
(6)r2c2 - (6=1)r2c7 - (1=3)r3c8
(8)r2c2 - r2c5 = r9c5 - (8=6)r9c7 - (6=1)r2c7 - (1=3)r3c8
=> -3 r3c3;

So what ?
Of course, Paolo's suggested AIC is more aesthetic. Note one more simplification in r2c5, r9c5:
(8=3)r3c3 - (3=1)r3c8 - (1=6)r2c7 - (6=8)r9c7 - r9c5 = (8)r2c5 => -8 r2c2

Phil's second almost XY-wing is not questioned, whereas it should be !
Again, written as a kraken:
(4)r4c4 - r3c4 = r3c9 - (4=8)r6c9
(6)r4c4 - (6=5)r8c4 - (5=8)r7c6
(8)r4c4
=> -8r6c6; stte

No problem with the logic. The pattern is valid, so is the elimination. Note that an AIC does the same job
(8=4)r6c9 - r3c9 = r3c4 - (4=356)r1c146 - r6c1 = (6)r6c6 => -8 r6c6

My concern is the "stte" conclusion. I can't get a better result than five placements with 8r6c6 elimination (up to 52 solved cells) either with singles or with basics. Have I missed something ?
I guess that you need a third step to have the puzzle solved.
Cenoman
Cenoman
 
Posts: 2710
Joined: 21 November 2016
Location: France

Re: January 25, 2020

Postby eleven » Mon Jan 27, 2020 10:45 pm

I just liked the xy-wing way, because it's a way to spot it. Ok, you can turn them into AIC's, but why should you ?
(and yes, its not stte)
eleven
 
Posts: 3081
Joined: 10 February 2008

Re: January 25, 2020

Postby Mauriès Robert » Tue Jan 28, 2020 7:39 am

Hi Cenoman and Eleven,
My initial intervention with Phil was only to say that it is not useful to use the AIC to eliminate 3r3c3, the Almost XY wing is enough since if 8r2c2 is true, 3r3c3 is also eliminated. So I did not study Phil's resolution any further.
Robert
Mauriès Robert
 
Posts: 585
Joined: 07 November 2019
Location: France


Return to Puzzles