The New Sudoku Players' Forum

[P.O.]

from the Patterns Game, SER 9.0 very easy;

Code: Select all

4 . 3   . . .   . . .
. 5 .   . . .   . . .
6 . 1   . . .   . . .
. . .   . 9 6   2 4 .
. . .   3 4 .   . 1 9
. . .   1 . .   . . 8
. . .   6 . .   . . 4
. . .   9 8 .   . 6 3
. . .   . 3 7   5 8 .

4.3.......5.......6.1..........9624....34..19...1....8...6....4...98..63....3758.


basics:

Hidden Text: Show

Code: Select all

intersections:
((((9 0) (7 7 9) (1 7 9)) ((9 0) (7 8 9) (2 7 9)))
 (((6 0) (1 9 3) (1 2 5 6 7)) ((6 0) (2 9 3) (1 2 6 7)))
 (((3 0) (6 7 6) (3 6 7)) ((3 0) (6 8 6) (3 5 7))))

TRIPLET ROW: ((4 3 4) (5 7 8)) ((4 4 5) (5 7 8)) ((4 9 6) (5 7))
(((4 1 4) (1 3 5 7 8)) ((4 2 4) (1 3 7 8)))



Code: Select all

after basics:

4       2789    3       2578    12567   12589   1789    2579    12567           
2789    5       2789    2478    1267    123489  134789  2379    1267             
6       2789    1       24578   257     234589  34789   23579   257             
13      13      578     578     9       6       2       4       57               
2578    2678    25678   3       4       258     67      1       9               
2579    24679   245679  1       257     25      367     357     8               
123578  12378   2578    6       125     125     179     279     4               
1257    1247    2457    9       8       1245    17      6       3               
129     12469   2469    24      3       7       5       8       12   



[AnotherLife]

Hi P.O.,
I managed to solve this puzzle manually. The only computer assistance was automatic detection of the candidates and the possibility to draw the strong links (see my visual). The main task was to find the right ALS (256789)b4p34567 and to start a chain from it in two directions. Maybe it's hard for most people to find an ALS of 6 elements, but with some training it's possible.

Code: Select all

.------------------------.----------------------.----------------------.
| 4       2789   3       | 2578   12567  12589  | 1789    2579   12567 |
| 2789    5      2789    | 2478   1267   123489 | 134789  2379   1267  |
| 6       2789   1       | 24578  257    234589 | 34789   23579  257   |
:------------------------+----------------------+----------------------:
| 13      13     b578    | 578    9      6      | 2       4      57    |
| b2578   b2678  b25678  | 3      4      258    | c67     1      9     |
| b2579   24679  245679  | 1      257    25     | 367     357    8     |
:------------------------+----------------------+----------------------:
| 123578  12378  2578    | 6      125    125    | 179     279    4     |
| 1257    1247   2457    | 9      8      1245   | d17     6      3     |
| a129    12469  2469    | 4-2     3      7     | 5       8      ae12  |
'------------------------'----------------------'----------------------'

1. (2=19)r9c19 - (9=25786)b4p34567 - (6=7)r5c7 - (7=1)r8c7 - (1=2)r9c9 => -2 r9c4; 4 placements, lcls

The rest is easy, and only two standard patterns are needed.

Code: Select all

.------------------.-----------------.----------------------.
| 4     278   3    | a2578  16   9   | 178     257    12567 |
| 2789  5     279  | a278   16   34  | 134789  2379   1267  |
| 6     2789  1    | a2578  *57  34  | 34789   23579  2-57  |
:------------------+-----------------+----------------------:
| 13    13    8    | b57    9    6   | 2       4      *57   |
| 257   267   2567 | 3      4    8   | 67      1      9     |
| 79    4679  4679 | 1      257  25  | 367     357    8     |
:------------------+-----------------+----------------------:
| 38    38    257  | 6      25   125 | 179     279    4     |
| 1257  1247  2457 | 9      8    125 | 17      6      3     |
| 129   1269  269  | 4      3    7   | 5       8      12    |
'------------------'-----------------'----------------------'

I'm not sure if this is a standard name for this method, but I like it.
2. 'Double W-Wing' (57) r3c5, r4c9, SL (5)r13c4=r4c4, (7)r123c4=r4c4 => -57 r3c9; 20 placements

Code: Select all

.-------------.------------.-------------.
| 4   278  3  | 28  16  9  | 18   5   67 |
| 7-8 5    *29| *28 16  34 | 148  39  67 |
| 6   *89  1  | 5   7   34 | 48   39  2  |
:-------------+------------+-------------:
| 13  13   8  | 7   9   6  | 2    4   5  |
| 57  27  25  | 3   4   8  | 6    1   9  |
| 9   46   46 | 1   2   5  | 3    7   8  |
:-------------+------------+-------------:
| 38  38   7  | 6   5   1  | 9    2   4  |
| 15  14   45 | 9   8   2  | 7    6   3  |
| 2   69   69 | 4   3   7  | 5    8   1  |
'-------------'------------'-------------'

3. XY-Wing (289) r2c34, r3c2 => -8 r1c2; ste

[totuan]

Code: Select all

 *-----------------------------------------------------------------------------*
 | 4       2789    3       | 2578   #12567   12589   | 1789    2579   #12567   |
 | 2789    5       2789    | 2478   #1267    123489  | 134789  2379   #1267    |
 | 6       2789    1       | 24578   257     234589  | 34789   23579   257     |
 |-------------------------+-------------------------+-------------------------|
 | 13      13      578     | 578     9       6       | 2       4       57      |
 | 2578    2678    25678   | 3       4       258     | 67      1       9       |
 | 2579    24679   245679  | 1       257    *25      | 367     357     8       |
 |-------------------------+-------------------------+-------------------------|
 | 123578  12378   2578    | 6      &125    *125     | 179     279     4       |
 | 1257    1247    2457    | 9       8      *1245    | 17      6       3       |
 | 129     12469   2469    |@24      3       7       | 5       8      &1-2     |
 *-----------------------------------------------------------------------------*

My path for this one: UR(16)r12c59 => (1)r9c9=(1)r7c5
01: (1)r9c9==r7c5-(125=4)r678c6-(4=2)r9c4 => r9c9<>2, some singles

Code: Select all

 *--------------------------------------------------*
 | 4   *27   3    |*28   16   9    | 18   5    67   |
 |*78   5    29   | 2-8  16   34   | 148  39   67   |
 | 6    89   1    | 5    7    34   | 48   39   2    |
 |----------------+----------------+----------------|
 | 13   13   8    | 7    9    6    | 2    4    5    |
 | 57   27   25   | 3    4    8    | 6    1    9    |
 | 9    46   46   | 1    2    5    | 3    7    8    |
 |----------------+----------------+----------------|
 | 38   38   7    | 6    5    1    | 9    2    4    |
 | 15   14   45   | 9    8    2    | 7    6    3    |
 | 2    69   69   | 4    3    7    | 5    8    1    |
 *--------------------------------------------------*

02: XY-wing (278)r1c24/r2c1 => r2c4<>8, stte

Thanks for the puzzle!
totuan

[P.O.]

thank you for your answers; hi Bogdan, personally, i consider using the visual capabilities of a solver to be equivalent to solving manually because it can be done but painfully with pencil and paper and certainly with practice one can learn to spot complicated patterns;

my solution:

Code: Select all

257r3c5 => r9c9 <> 2
 r3c5=2 - c4n2{r123 r9}
 r3c5=5 - c4n5{r13 r4} - r4c9{n5 n7} - r3c9{n57 n2}
 r3c5=7 - c4n7{r123 r4} - r4c9{n7 n5} - r3c9{n57 n2}

( n1r9c9   n7r8c7   n6r5c7   n3r6c7   n9r7c7   n2r7c8 )
intersections: ((((7 0) (5 1 4) (2 5 7 8)) ((7 0) (5 2 4) (2 7 8)) ((7 0) (5 3 4) (2 5 7 8))))
PAIR ROW: ((7 5 8) (1 5)) ((7 6 8) (1 5)) 
(((7 1 7) (1 3 5 7 8)) ((7 2 7) (1 3 7 8)) ((7 3 7) (5 7 8)) ((8 6 8) (1 2 4 5)))
TRIPLET ROW: ((6 5 5) (2 5 7)) ((6 6 5) (2 5)) ((6 8 6) (5 7))
(((6 1 4) (2 5 9)) ((6 2 4) (2 4 6 9)) ((6 3 4) (2 4 5 6 9)))
( n9r6c1   n2r9c1   n4r9c4   n2r8c6   n5r6c6   n7r6c8   n1r7c6
  n5r4c9   n8r5c6   n2r6c5   n5r7c5   n9r1c6   n5r1c8   n7r3c5
  n2r3c9   n8r4c3   n7r4c4   n7r7c3   n5r3c4 )
SIXTE COL: ((3 2 1) (8 9)) ((4 2 4) (1 3)) ((6 2 4) (4 6)) ((7 2 7) (3 8)) ((8 2 7) (1 4)) ((9 2 7) (6 9))
(((1 2 1) (2 7 8)))

1r2c57 => r2c1 <> 8
 r2c5=1 - r2n6{c5 c9} - r2n7{c9 c1}
 r2c7=1 - r1c7{n1 n8} - c4n8{r1 r2}
 
ste.


[AnotherLife]

P.O.,
I loaded HoDoKu and saw that it found the same way of eliminating the 2 from r9c9 as in your solution. If you are interested in the name of the method, HoDoKu calls it Forcing Net Verity.

Totuan,
you've found a very smart solution!

[P.O.]

"his own implementation of braids, S-braids and forcing-S-braids", "he used the so called 'memory chains' instead", "Forcing Net Verity", like i said just so many words;
thank Bogdan this brings back some school memories: Par ma foi ! il y a plus de quarante ans que je dis de la prose sans que j’en susse rien, et je vous suis le plus obligé du monde de m’avoir appris cela.*

*By my faith! i have been speaking prose for more than forty years without knowing anything about it, and i am most obliged to you for having taught me that.

(sorry Bogdan i couldn't help but make this joke)

[AnotherLife]

Viribus unitis res parvae crescunt.

[m_b_metcalf]

from the Patterns Game, SER 9.0 very easy;

That was game 337, one of the least successful of all time, with only 16 posted puzzles.

Mike

[denis_berthier]

"his own implementation of braids, S-braids and forcing-S-braids", "he used the so called 'memory chains' instead", "Forcing Net Verity", like i said just so many words;

Just so many words ?
Like e.g. war, invasion, rape, looting, murder, ZpeZial operaZion.
You should be more careful about your contempt for the differences in meaning of words.

[P.O.]

my poor Denis always the same problem of understanding, what you say is so out of context: just so many words means that the chains that i make are called by different names.

[denis_berthier]

my poor Denis always the same problem of understanding, what you say is so out of context: just so many words means that the chains that i make are called by different names.

NO. The fact is that all those names mean very different things and what I said fits perfectly what I meant. But in order to understand this, you must first accept the idea that words have meanings - and mere program outputs don't.
BTW, as you like to use citations in French out of context and with distorted meaning, here's one for you: moins on a de culture, plus on l'étale.

[P.O.]

your excesses discredit you, your words no longer have much value, apart from insulting everyone, what is the content of your interactions with people?

[denis_berthier]

.
P.O. I can't see any rational argument in your last posts. End of conversation.