The New Sudoku Players' Forum

[shye]

Code: Select all

+-------+-------+-------+
| 3 . . | . 1 . | . . 2 |
| . 8 . | . 5 . | . . . |
| . . 7 | . . . | 3 . . |
+-------+-------+-------+
| . 1 . | . . 9 | . 6 . |
| . . 8 | . 6 . | 1 . . |
| . 9 . | 5 . . | . 8 . |
+-------+-------+-------+
| . . 4 | . . . | 7 . . |
| . . . | . 9 . | . 5 . |
| 2 . . | . 7 . | . . 4 |
+-------+-------+-------+
3...1...2.8..5......7...3...1...9.6...8.6.1...9.5...8...4...7......9..5.2...7...4

estimated rating: 8.9
sister puzzle to one of my most popular, pretty happy with how she came out ^^

[marek stefanik]

An exocet:

Code: Select all

             2347                     234                      2347
   +------------------------+------------------------+------------------------+
   | 3       456     569    | 46789   1       4678   | 58      479     2      |  /47
   | 149     8       129    | 23479   5       2347   | 469    T47–19   1679   |
   | 14569   2456    7      | 24689   248     2468   | 3       149     58     |  /24
   +------------------------+------------------------+------------------------+
   | 457     1       235    | 23478   2348    9      | 245     6       357    |
   | 457     23457   8      |B347–2   6      B347–2  | 1       23479   3579   |
   | 467     9       236    | 5       234     1      | 24      8       37     |
   +------------------------+------------------------+------------------------+
   | 15689   356     4      | 12368   238     23568  | 7       1239    13689  |  /23
   | 1678   T37–6    136    | 123468  9       23468  | 268     5       1368   |
   | 2       356     13569  | 1368    7       3568   | 689     139     4      |  /3
   +------------------------+------------------------+------------------------+

Then:

Code: Select all

   +------------------------+------------------------+------------------------+
   | 3       456     569    | 46789   1       4678   | 58      479     2      |
   | 149     8       129    | 23479   5       2347   | 469    T4–7     1679   |
   | 14569   2456    7      | 24689   248     2468   | 3       149     58     |
   +------------------------+------------------------+------------------------+
   | 457     1       235    | 2378–4  238–4   9      | 245     6       357    |
   | 5–47   b2357–4  8      |a347     6      a347    | 1       239–47  359–7  |
   | 467     9       236    | 5       23–4    1      | 24      8       37     |
   +------------------------+------------------------+------------------------+
   | 15689   356     4      | 12368   238     23568  | 7       1239    13689  |
   | 1678   c37      136    | 123468  9       23468  | 268     5       1368   |
   | 2       356     13569  | 1368    7       3568   | 689     139     4      |
   +------------------------+------------------------+------------------------+

7r5c46 – 7r5c2 = 7r8c2 (=> Loop) => –7r5c189, –7r2c8, 4r5c46, btte

Xsudo input: Show

13 Truths = {2347C2 234C5 2347C8 5N46}
17 Links = {47r1 24r3 2347r5 23r7 3r9 2347b5 2n8 8n2}

[shye]

thats what i was going for! matched my own path

i decided to play around with this in xsudo myself, havent learned how to properly use it yet but i put the truths and links you gave and got this:

Hidden Text: Show

seems like a bit more than expected! anyone care to school me? •́ ヮ •̀
it looks like its combining the latter 7s deduction in somehow

[Cenoman]

Code: Select all

 +---------------------------+--------------------------+------------------------+
 |  3       B456     569     |  46789    1      4678    |  58    479     2       |
 |  149      8     Aa129y    |  23479^   5      2347^   |  469   1479    1679    |
 |  14569   B2456*   7       |  24689    248*   2468    |  3     149     58      |
 +---------------------------+--------------------------+------------------------+
 |  457      1       235^    |  23478^   2348#  9       |  245   6       357^    |
 |  457      23457*  8       |  47-23    6      47-23   |  1     23479*  3579    |
 |  467      9       236^    |  5        234#   1       |  24    8       37^     |
 +---------------------------+--------------------------+------------------------+
 |  15689  Bb356z    4       |  12368    238*   23568   |  7     1239*   13689   |
 |  1678     7-36   b136z^   |  123468^  9      23468^  |  268   5       1368^   |
 |  2      Bb356z    13569z  |  1368     7      3568    |  689   139     4       |
 +---------------------------+--------------------------+------------------------+

1. Finned Swordfish (2)c258\r357 + fins r46c5 => -2 r5c46
2. Death Blossom, stem r2c3:
(1)r2c3 - (1=536)b7p268
(2)r2c3 - (2=4536)r1379c2
(9)r2c3 - (9=1536)b7p2689
--------------
=> -36 r8c2
3. Finned Jellyfish (3)r2468\c3469 + fins r46c5 => -3 r5c46; lclste

[marek stefanik]

I believe X-sudo finds the eliminations by brute-forcing the truths (while allowing only one true candidate in each link).
Consequently it is very good at finding eliminations and not very good at justifying them.

Since the loop on 7s uses the exocet, T(7c2) and L(7r5), both of which are already part of the exocet, it has no problem finding its eliminations together with those of the exocet.

You can use Copy/Paste –> Paste Logic Input –> Truth/Link Solution instead of putting everything in manually.