Robert's puzzles 2019-12-12

Post puzzles for others to solve here.

Robert's puzzles 2019-12-12

Postby Mauriès Robert » Thu Dec 12, 2019 5:46 pm

Hi,
Here is a puzzle a little easier than the previous one. Your resolutions are welcome.
4...6.91........8.1.3.....4.3.2.1.48....8....78.5.6.2.9.....8.7.2........47.5...2
Robert
puzzle: Show
Image
Mauriès Robert
 
Posts: 594
Joined: 07 November 2019
Location: France

Re: Robert's puzzles 2019-12-12

Postby Cenoman » Fri Dec 13, 2019 12:12 am

Four simple steps:
Code: Select all
 +------------------------+-------------------------+--------------------------+
 |  4     57     8        |  37       6     2       |  9       1       35      |
 |  256   5679   2569     |  13479    134   34579   |  3567    8       356     |
 |  1     5679   3        |  789      9-7   5789    |  2      d567     4       |
 +------------------------+-------------------------+--------------------------+
 |  56    3      569      |  2       a79    1       | b567     4       8       |
 |  256   1569   124569   |  3479     8     3479    |  13567  c35679   13569   |
 |  7     8      149      |  5        4-3   6       | A13      2       139     |
 +------------------------+-------------------------+--------------------------+
 |  9     156    156      |  1346     2     34      |  8       356     7       |
 |  38    2      156      |  136789  D13    3789    |  4       3569    13569   |
 |  38    4      7        | C13689    5     389     | B136     369     2       |
 +------------------------+-------------------------+--------------------------+

1. (7)r4c5 = r4c7 - r5c8 = r3c8 => -7 r3c5; 5 placements
2. (3=1)r6c7 - r9c7 = r9c4 - (1=3)r8c5 => -3 r6c5; 7 placements
Code: Select all
 +------------------+-----------------------+----------------------+
 |  4   b57    8    |  37       6    2      |  9      1     c35    |
 | a56*  9     2    |  1347     13   3457   |  567*   8     d35-6  |
 |  1    567   3    |  78       9    578    |  2      567    4     |
 +------------------+-----------------------+----------------------+
 |  56*  3     9    |  2        7    1      |  56*    4      8     |
 |  2    56    4    |  39       8    39     |  157-6   567    156   |
 |  7    8     1    |  5        4    6      |  3      2      9     |
 +------------------+-----------------------+----------------------+
 |  9    1     56   |  346      2    34     |  8      356    7     |
 |  38   2     56   |  136789   13   3789   |  4      3569   156   |
 |  38   4     7    |  13689    5    389    |  1-6    369    2     |
 +------------------+-----------------------+----------------------+

3. (6=5)r2c1 - r1c2 = (5-3)r1c9 = (3)r2c9 => -6 r2c9
4. (6)r2c7 = r2c1 - r4c1 = r4c7 => -6 r59c7; ste
Cenoman
Cenoman
 
Posts: 2975
Joined: 21 November 2016
Location: France

Re: Robert's puzzles 2019-12-12

Postby SpAce » Fri Dec 13, 2019 5:04 am

Cenoman wrote:Four simple steps

Very nice. All named patterns too:

1. Turbot Crane
2. W-Wing
3. M3-Wing
4. X-Wing
--

My (Hodoku-assisted) two-stepper isn't pretty:

Code: Select all
.-----------------------.-----------------------.----------------------.
| 4    e57       8      | f37       6     2     |  9      1      35    |
| 256  d5679     2569   | d13479    134  d34579 | d3567   8      356   |
| 1     5679     3      |  789    cf79    5789  |  2      567    4     |
:-----------------------+-----------------------+----------------------:
| 56    3      ah56(9)  |  2      bg79    1     | c567    4      8     |
| 256   1569     124569 |  3479     8     3479  |  13567  35679  13569 |
| 7     8     Aa[1]-49  |  5      BD3(4)  6     | B13     2      139   |
:-----------------------+-----------------------+----------------------:
| 9     156      156    |  1346     2     34    |  8      356    7     |
| 38    2        156    |  136789  D13    3789  |  4      3569   13569 |
| 38    4        7      | C13689    5     389   | C136    369    2     |
'-----------------------'-----------------------'----------------------'

Step 1. Kraken Cell 6N3 (with 2/3 members self-destructing):

Code: Select all
(1)r6c3
||
(4)r6c3 - (4=31)r6c57 - r9c7 = r9c4 - (13=4)r86c5 !
||
(9)r6-4c3 = (9-7)r4c5 = r3c5&r4c7 - r2c467=2 - r1c2 = (79)b2p18 - r4c5 = (9)r4c3 !

=> +1 r6c3

Some might consider that two steps (-4r6c3 and -9r6c3), and I'm fine with that. Nevertheless, it's definitely simpler than making it an actual verity.

(Also testing my new variant of 3D notation to keep the third branch within bearable length. Everyone probably hates it as much as before, but this doesn't hurt my own eyes like the earlier attempts, and it saves even more space by omitting the brackets. I still hate the redundancy in normally written bilocation links.)

Code: Select all
   c1                                      c7
.---------------.----------------------.------------------------.
|  4    57   8  |  7-3      6     2    |   9      1   ae[(3)]5  |
| b56*  9    2  |  1347    e1(3)  3457 |  b576*   8    a[#6]5-3 | R2
|  1    567  3  |  78       9     578  |   2      567     4     |
:---------------+----------------------+------------------------:
| b56*  3    9  |  2        7     1    |  b56*    4       8     | R4
|  2    56   4  |  39       8     39   |   1567   567     156   |
|  7    8    1  |  5        4     6    |   3      2       9     |
:---------------+----------------------+------------------------:
|  9    1    56 | d643      2    d43   |   8      356     7     |
|  38   2    56 |  136789  d3'1   3789 |   4      3569   d61'5  |
|  38   4    7  | d1389'6   5     389  | cd61    d39'6    2     |
'---------------'----------------------'------------------------'

Step 2. Almost X-Wing:

(36)r12c9 = (6)R24\c17 - r9c7 = (643,1)b8p7135|(615)b9p876 - (15=3)r2c5,r1c9 => -3 r1c4,r2c9; stte

...or:

Code: Select all
   c1              c4                      c7
.---------------.----------------------.-----------------------.
|  4    57   8  |  7-3      6     2    |   9      1   eh(3)5   |
| a56*  9    2  |  1347    c1[3]  3457 |  a576*   8     d5#6-3 | R2
|  1    567  3  |  78       9     578  |   2      567    4     |
:---------------+----------------------+-----------------------:
| a56*  3    9  |  2        7     1    |  a56*    4      8     | R4
|  2    56   4  |  39       8     39   |   1567   567    156   |
|  7    8    1  |  5        4     6    |   3      2      9     |
:---------------+----------------------+-----------------------:
|  9    1    56 | b43'6     2    b43   |   8      356    7     |
|  38   2    56 |  136789  b3'1   3789 |   4      3569  g16'5  |
|  38   4    7  | a13896*   5     389  | ag16*   f39#6   2     | R9
'---------------'----------------------'-----------------------'

Kraken Finned Sashimi Swordfish: (6)R249\c147 f:r2c9,r9c8

Code: Select all
(6)R249\c147 - (6=431)b8p135 - (1=3)r2c5
||
(6-3)r2c9 = (3)r1c9
||
(6)r9c8 - (6=15)b9p76 - (5=3)r1c9

=> -3 r1c4,r2c9; stte
-SpAce-: Show
Code: Select all
   *             |    |               |    |    *
        *        |=()=|    /  _  \    |=()=|               *
            *    |    |   |-=( )=-|   |    |      *
     *                     \  ¯  /                   *   

"If one is to understand the great mystery, one must study all its aspects, not just the dogmatic narrow view of the Jedi."
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: Robert's puzzles 2019-12-12

Postby Mauriès Robert » Fri Dec 13, 2019 6:59 am

Hello everyone,
Here is my resolution with TDP (Th2 TDP part 1) in 4 simple steps.
I recall the definition of an anti-track P'(E) and this theorem:
- P'(E) = the set of candidates that can be placed on the puzzle if E's candidates are deleted.
- If B is a candidate contained in the anti-track P'(E), then any candidate C who sees all the candidates of E and B can be eliminated.

1) P'(3r6c7) = {1r6c7, 1r8c9, 3r8c5, 4r6c5,...} => -3r6c5 => r6c5=4 => 3 placements.

puzzle: Show
Image

2) P'(7r3c8) = {7r2c7, 7r4c5, 9r3c5, ...} => -7r3c5 => r3c5=9 => 7 placements.

puzzle: Show
Image

3) P'(6r4c7) = {5r4c7, 5r2c1, 5r1c9, 3r2c9, 6r2c7, 1r9c7,...} => -6r9c7 => r9c7=1 and r5c9=1.

puzzle: Show
Image

4) P'(3r1c9) = {5r1c9, 6r8c9, 6r7c3, 34r7c46, 1r8c5, 3r2c5, ...} => -3r1c4 => r1c4=7, stte

puzzle: Show
Image
Last edited by Mauriès Robert on Fri Dec 13, 2019 9:46 am, edited 5 times in total.
Mauriès Robert
 
Posts: 594
Joined: 07 November 2019
Location: France

Re: Robert's puzzles 2019-12-12

Postby StrmCkr » Fri Dec 13, 2019 9:12 am

Code: Select all
+-------------------+-----------------------+-----------------------+
| 4    57    8      | 37      6       2     | 9      1      35      |
| 256  5679  2569   | 13479   13-4    34579 | 3567   8      356     |
| 1    5679  3      | 789     79      5789  | 2      567    4       |
+-------------------+-----------------------+-----------------------+
| 56   3     569    | 2       79      1     | 567    4      8       |
| 256  1569  124569 | 379-4   8       379-4 | 13567  35679  13569   |
| 7    8     19-4   | 5       (+4-3)  6     | (13)   2      139     |
+-------------------+-----------------------+-----------------------+
| 9    156   156    | 1346    2       34    | 8      356    7       |
| 38   2     156    | 136789  (13)    3789  | 4      3569   3569(1) |
| 38   4     7      | 13689   5       389   | 36(1)  369    2       |
+-------------------+-----------------------+-----------------------+

Als - w- wing
Als A) (134) @R6C57
Als B) (134) @ R68C9
Strong link (1) @ R8C9 = R9C7
=> R2C5,R5C46,R6C3 <> 4, R6C5 <> 3
basics:
Code: Select all
+---------------+---------------------+--------------------+
| 4   57    8   | 37      6     2     | 9     1       35   |
| 56  5679  2   | 13479   13    34579 | 3567  8       356  |
| 1   5679  3   | 789     9(7)  5789  | 2     56(7)   4    |
+---------------+---------------------+--------------------+
| 56  3     569 | 2       9(7)  1     | 56-7  4       8    |
| 2   156   4   | 39-7    8     39-7  | 1567  569(7)  1569 |
| 7   8     19  | 5       4     6     | 13    2       139  |
+---------------+---------------------+--------------------+
| 9   156   156 | 1346    2     34    | 8     356     7    |
| 38  2     156 | 136789  13    3789  | 4     3569    1569 |
| 38  4     7   | 13689   5     389   | 16    369     2    |
+---------------+---------------------+--------------------+

Skyscraper: 7 in r4c5,r5c8 (connected by r3c58) => r4c7,r5c46<>7
basics

Code: Select all
+----------------+------------------+--------------------+
| 4     7(5)  8  | 37      6   2    | 9      1      3(5) |
| (56)  9     2  | 1347    13  3457 | (567)  8      35-6 |
| 1     567   3  | 78      9   578  | 2      (567)  4    |
+----------------+------------------+--------------------+
| 56    3     9  | 2       7   1    | 56     4      8    |
| 2     56    4  | 39      8   39   | 1567   567    156  |
| 7     8     1  | 5       4   6    | 3      2      9    |
+----------------+------------------+--------------------+
| 9     1     56 | 346     2   34   | 8      356    7    |
| 38    2     56 | 136789  13  3789 | 4      3569   156  |
| 38    4     7  | 13689   5   389  | 16     369    2    |
+----------------+------------------+--------------------+

ALS - W-wing

ALS A) (56) @ R2C1
AlS B) (567) @ R2C7,R3C8
Strong link (5) R1C2 = R1C9 (5)
=>> R2C9 <> 6

basics:

Code: Select all
+---------------+---------------+----------------+
| 4     57   8  | 37   6   2    | 9      1    35 |
| 5(6)  9    2  | 14   13  3457 | 7(6)   8    35 |
| 1     567  3  | 78   9   578  | 2      67   4  |
+---------------+---------------+----------------+
| 5(6)  3    9  | 2    7   1    | 5(6)   4    8  |
| 2     56   4  | 39   8   39   | 157-6  67   16 |
| 7     8    1  | 5    4   6    | 3      2    9  |
+---------------+---------------+----------------+
| 9     1    56 | 46   2   34   | 8      35   7  |
| 38    2    56 | 789  13  789  | 4      359  16 |
| 38    4    7  | 16   5   89   | 1-6    39   2  |
+---------------+---------------+----------------+

X-Wing: 6 r24 c17 => r59c7<>6

singles to the end.
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1431
Joined: 05 September 2006


Return to Puzzles