January 1, 2020

Post puzzles for others to solve here.

January 1, 2020

Postby tarek » Wed Jan 01, 2020 12:24 am

Code: Select all
+-------+-------+-------+
| . 4 . | . . . | 9 1 . |
| 5 . . | 9 . . | . . . |
| . . 1 | 4 . . | . 8 . |
+-------+-------+-------+
| . 2 3 | 5 . 9 | . . . |
| . . . | . 7 . | . . . |
| . . . | 8 . 6 | . 7 3 |
+-------+-------+-------+
| 8 . . | . . . | . . . |
| 1 . 6 | . . 4 | . . 5 |
| . . . | . . 5 | . 9 7 |
+-------+-------+-------+
.4....91.5..9.......14...8..235.9.......7.......8.6.738........1.6..4..5.....5.97


Happy New Year!!!

Play this puzzle online

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

Re: January 1, 2020

Postby RSW » Wed Jan 01, 2020 8:46 am

Code: Select all
   1    2   3    4    5    6     7   8  9   
 +-------------+---------------+-----------+
1| 236  4   7  | 236  5    8   | 9   1  26 |
2| 5    68  28 | 9    126  12  | 7   3  4  |
3| 2369 69  1  | 4    236  7   | 5   8  26 |
 +-------------+---------------+-----------+
4| 7    2   3  | 5    14   9   | 146 46 8  |
5| 46   168 48 | 123  7    123 | 124 5  9  |
6| 49   159 59 | 8    124  6   | 124 7  3  |
 +-------------+---------------+-----------+
7| 8    579 59 | 2367 2369 23  | 346 46 1  |
8| 1    79  6  | 37   389  4   | 38  2  5  |
9| 24   3   24 | 16   168  5   | 68  9  7  |
 +-------------+---------------+-----------+


Generic (non-Junior) Exocet: 246 r78c8, r1c9 r4c7 (proven by valid solution)
Non-base candidate 1 is invalid in target cells. Thus: -1r4c7.
stte.

Happy New Year!
RSW
 
Posts: 617
Joined: 01 December 2018
Location: Western Canada

Re: January 1, 2020

Postby Cenoman » Wed Jan 01, 2020 10:31 am

Code: Select all
 +----------------------+----------------------+------------------+
 |  236      4     7    |  236    5      8     |  9     1    26   |
 |  5      zb68   b28   |  9     a126    12    |  7     3    4    |
 |  2369  zBb69    1    |  4     A236    7     |  5     8   B26   |
 +----------------------+----------------------+------------------+
 |  7        2     3    |  5      14     9     |  146   46   8    |
 |  46      z168   48   | y123    7     y123   |  124   5    9    |
 |  49       159   59   |  8     x124    6     |  124   7    3    |
 +----------------------+----------------------+------------------+
 |  8       Z579  Z59   |  2367  Y2369   23    |  346   46   1    |
 |  1        7-9   6    |  37     389    4     |  38    2    5    |
 |  24       3     24   |  16     168    5     |  68    9    7    |
 +----------------------+----------------------+------------------+

Kraken column (2)r2367c5
(2)r2c5 - (2=689)b1p568
(2)r3c5 - (2=69)r3c29
(2)r6c5 - (2=31)r5c46 - (1=689)r235c2
(2-9)r7c5 = (9)r7c23
=>-9r8c2; ste

Happy New Year !
Cenoman
Cenoman
 
Posts: 2748
Joined: 21 November 2016
Location: France

Re: January 1, 2020

Postby eleven » Wed Jan 01, 2020 12:38 pm

RSW wrote:Generic (non-Junior) Exocet: 246 r78c8, r1c9 r4c7 (proven by valid solution)
Non-base candidate 1 is invalid in target cells. Thus: -1r4c7.

Very creative method. Simpler would be: 1r4c5 (proven by solution), stte.

Similar to Cenoman's:
Code: Select all
 *--------------------------------------------------------------*
 |  236    4     7    |  236    5      8     |  9     1    26   |
 |  5     a68   b28   |  9     c126    12    |  7     3    4    |
 |  2369  a69    1    |  4     c236    7     |  5     8   b26   |
 |--------------------+----------------------+------------------|
 |  7      2     3    |  5     c14     9     |  146   46   8    |
 |  46    a168   48   | b123    7     b123   |  124   5    9    |
 |  49     159   59   |  8     c124    6     |  124   7    3    |
 |--------------------+----------------------+------------------|
 |  8      579   59   |  2367  d2369   23    |  346   46   1    |
 |  1      7-9   6    |  37    e389    4     |  38    2    5    |
 |  24     3     24   |  16     168    5     |  68    9    7    |
 *--------------------------------------------------------------*

(9=861)r235c2 - (8|6|1=2,2,23)r2c3,r3c9,r5c46 - 2r2346c5 = (2-9)r7c5 = 9r8c5 => -9r8c2, stte
eleven
 
Posts: 3094
Joined: 10 February 2008

Re: January 1, 2020

Postby tarek » Wed Jan 01, 2020 3:36 pm

eleven wrote:
RSW wrote:Generic (non-Junior) Exocet: 246 r78c8, r1c9 r4c7 (proven by valid solution)
Non-base candidate 1 is invalid in target cells. Thus: -1r4c7.

Very creative method. Simpler would be: 1r4c5 (proven by solution), stte.
Sarcy? :|
User avatar
tarek
 
Posts: 3762
Joined: 05 January 2006

Re: January 1, 2020

Postby eleven » Wed Jan 01, 2020 7:50 pm

What i mean is, that it takes about the same effort to prove, that only 246 can go to r1c9 and r4c7 (more precise, that if 2,4, or 6 in r78c8, then also in r1c9 or r4c7), as to prove, that 1 must be in r4c5 (which is a backdoor).
And to prove an excocet by the solution is like proving a backdoor by the solution - correct, if the puzzle is unique, but ...
eleven
 
Posts: 3094
Joined: 10 February 2008

Re: January 1, 2020

Postby SpAce » Wed Jan 01, 2020 9:14 pm

eleven wrote:
RSW wrote:Generic (non-Junior) Exocet: 246 r78c8, r1c9 r4c7 (proven by valid solution)
Non-base candidate 1 is invalid in target cells. Thus: -1r4c7.

Very creative method.

Very creative indeed. I've never seen a guess masqueraded as an Exocet before :) Btw, pretending that it makes any sense, we also have +2r1c9 (stte) since 46 is obviously an invalid base pair.
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: January 1, 2020

Postby Mauriès Robert » Thu Jan 02, 2020 10:55 am

Hi,
Another way to achieve the elimination of 9r8c2, with TDP and the anti-track P'(9r3c2):
Code: Select all
                   >5r6c3->9r6c2 - - - - - - - - - - - - - - - - ->
                  |                                                |
-9r3c2->9r3c1->4r6c1                                               |
                  |                                                |
                   >5r6c2->1r5c2->23r5c46->2r6c7- ->               |
                       |                            |              |
                       >79r78C2->6r3c2->6r2c5 - - - ->2r7c5->9r8c5->-9r8c2
                                   |                |
                                    >2r3c9->3r3c5 -> 

Robert
Mauriès Robert
 
Posts: 585
Joined: 07 November 2019
Location: France


Return to Puzzles