The New Sudoku Players' Forum

[P.O.]

from one of the earlier PG games SER 9.0ish

Code: Select all

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

..57......6..5..329....8...6....4....8..7..41..15...............1..3..85.2..4..93

12348   34      5       7       1269    12369   14689   16      4689             
1478    6       478     149     5       19      14789   3       2               
9       347     2347    12346   126     8       14567   1567    467             
6       3579    2379    12389   1289    4       235789  257     789             
235     8       239     2369    7       2369    23569   4       1               
2347    3479    1       5       2689    2369    236789  267     6789             
34578   34579   346789  12689   12689   125679  12467   1267    467             
47      1       4679    269     3       2679    2467    8       5               
578     2       678     168     4       1567    167     9       3       


[yzfwsf]

AIC Type 1: 4r2c4 = (4-3)r3c4 = r1c6 - (3=4)r1c2 => r2c13<>4
Whip[6]: Start From 4r3c3 causes cell r3c7 to be empty => r3c3<>4
4r3c3 - r1c2(4=3) - r3c2(3=7) - r3c9(7=6) - r1c8(6=1) - r3c8(1=5) - r3c7(5=.)
lcl+single

Code: Select all

.--------------------.----------------------.--------------------.
| 12348  34    5     | 7      1269   12369  | 14689   16    4689 |
| 18     6     78    | 149    5      19     | 14789   3     2    |
| 9      347   237   | 12346  126    8      | 14567   1567  467  |
:--------------------+----------------------+--------------------:
| 6      3579  2379  | 12389  1289   4      | 235789  257   789  |
| 235    8     239   | 2369   7      2369   | 23569   4     1    |
| 234    3479  1     | 5      2689   2369   | 236789  267   6789 |
:--------------------+----------------------+--------------------:
| 358    359   34689 | 12689  12689  125679 | 12467   1267  467  |
| 7      1     469   | 269    3      269    | 246     8     5    |
| 58     2     68    | 168    4      1567   | 167     9     3    |
'--------------------'----------------------'--------------------'

ALS AIC Type 2: (5=1687)r9c1347 - r2c7 = (7-8)r2c3 = 8r79c3 => r9c1<>8
lcl+single to the end

[totuan]

Whip[6]: Start From 4r3c3 causes cell r3c7 to be empty => r3c3<>4
4r3c3 - r1c2(4=3) - r3c2(3=7) - r3c9(7=6) - r1c8(6=1) - r3c8(1=5) - r3c7(5=.)

IMO, above is not good to present solution for beginners

Code: Select all

 *-----------------------------------------------------------------------------*
 | 12348  *34      5       | 7       1269    12369   |%14689   16     %4689    |
 |&1478    6      &478     | 149     5       19      |%14789   3       2       |
 | 9      *347     237-4   | 12346   126     8       |#14567   1567   #467     |
 |-------------------------+-------------------------+-------------------------|
 | 6       3579    2379    | 12389   1289    4       | 235789  257     789     |
 | 235     8       239     | 2369    7       2369    | 23569   4       1       |
 | 2347    3479    1       | 5       2689    2369    | 236789  267     6789    |
 |-------------------------+-------------------------+-------------------------|
 | 34578   34579   346789  | 12689   12689   125679  | 12467   1267    467     |
 | 47      1       4679    | 269     3       2679    | 2467    8       5       |
 | 578     2       678     | 168     4       1567    | 167     9       3       |
 *-----------------------------------------------------------------------------*

My way:
(4)r3c79=(489)r1c79/r2c7-(7)r2c7=r2c13-(7=34)r13c2 => r3c3<>4

Thanks for the puzzle!
totuan

[denis_berthier]

.
There's nothing simple for beginners in an ALS chain.
But I agree that the justification is not well written. It should be: supposing 4r3c3 would lead to no possible value for r3c7

[yzfwsf]

My way:
(4)r3c79=(489)r1c79/r2c7-(7)r2c7=r2c13-(7=34)r13c2 => r3c3<>4

Code: Select all

ALS AIC Type 2: (2=347)b1p289 - (7=1564)b3p2789 => r3c3<>4

[P.O.]

thank you for your answers, my solution has the same eliminations as yzfwsf’s:

Code: Select all

b1n2{r3c3 r1c1} - c1n1{r1 r2} - r2c6{n1 n9} - 136r1c568 - r1c2{n3 n4} => r3c3 <> 4

c3n8{r79 r2} - c3n4{r2 r78} - r8c1{n4 n7} - r2n7{c1 c7} - r9n7{c7 c6} - r9n5{c6 c1} => r9c1 <> 8

c4n4{r2 r3} - b2n3{r3c4 r1c6} - r1c2{n3 n4} => r2c13 <> 4


bte:

Hidden Text: Show

Code: Select all

intersections:
((((4 0) (7 3 7) (3 4 6 7 8 9)) ((4 0) (8 3 7) (4 6 7 9)))
 ( n5r3c8   n7r9c6   n5r4c2   n5r5c7   n5r7c6   n5r9c1   n7r8c1 )
 (((6 0) (6 7 6) (2 3 6 7 8 9)) ((6 0) (6 8 6) (2 6 7)) ((6 0) (6 9 6) (6 7 8 9)))
 (((1 0) (1 6 2) (1 2 3 6 9)) ((1 0) (2 6 2) (1 9)))
 ( n6r8c6   n9r8c4   n9r6c6   n3r5c6   n6r5c4   n9r5c3   n8r4c7
   n3r4c3   n8r2c1   n1r1c1   n2r7c5   n3r6c7   n9r4c9   n9r2c7
   n1r2c6   n8r1c9   n9r1c5   n8r7c4   n8r6c5   n4r1c7   n4r3c2
   n4r2c4   n3r1c2   n3r3c4   n2r4c4   n2r1c6   n4r8c3   n7r7c7
   n6r7c3   n7r4c8   n2r8c7   n4r7c9   n2r6c8   n6r3c5   n7r6c2
   n7r3c9   n6r6c9   n2r3c3   n1r4c5   n1r7c8   n4r6c1   n2r5c1
   n9r7c2   n3r7c1   n7r2c3   n1r9c4   n8r9c3   n6r9c7   n6r1c8
   n1r3c7 ))
1 3 5   7 9 2   4 6 8
8 6 7   4 5 1   9 3 2
9 4 2   3 6 8   1 5 7
6 5 3   2 1 4   8 7 9
2 8 9   6 7 3   5 4 1
4 7 1   5 8 9   3 2 6
3 9 6   8 2 5   7 1 4
7 1 4   9 3 6   2 8 5
5 2 8   1 4 7   6 9 3


[jco]

After basics

Code: Select all

.----------------------------------------------------------------------.
| A1238(4) gc34     5      | 7      1269   12369  |f14689   16   f4689 |
| d1478      6     d478    | 149    5      19     |e14789   3     2    |
|  9        c347    2347   | 12346  126    8      | 14567   1567  467  |
|--------------------------+----------------------+--------------------|
|  6         3579   2379   | 12389  1289   4      | 235789  257   789  |
|  235       8      239    | 2369   7      2369   | 23569   4     1    |
|ia2347    hb3479   1      | 5      2689   2369   | 236789  267   6789 |
|--------------------------+----------------------+--------------------|
|  34578     34579  346789 | 12689  12689  125679 | 12467   1267  467  |
|  7-4       1      4679   | 269    3      2679   | 2467    8     5    |
|  578       2      678    | 168    4      1567   | 167     9     3    |
'----------------------------------------------------------------------'

1. (4*)r1c1 = [(4)r6c1 = (4)r6c2 - (4=37)r13c2 - (7)r2c13 = (7-8|9)r2c7 = (89-4)r1c79 =* (4)r1c2 - (4)r6c2 = (4)r6c1]

=> -4 r8c1 [placements and basics]

(Either we have (4)r1c1 or a discontinuous loop. In any case, (4)r8c1 must be false)
---

Code: Select all

.-----------------------------------------------------------------------------.
| 12348   34      5       | 7       29      1239    | 489     6       489     |
| 148     6      b478     | 49      5       19      |c4789    3       2       |
| 9       347     2347    | 2346    26      8       | 15      15      47      |
|-------------------------+-------------------------+-------------------------|
| 6       3579    2379    | 12389   1289    4       | 235789  257     789     |
| 235     8       239     | 2369    7       2369    | 23569   4       1       |
| 234     3479    1       | 5       2689    2369    | 236789  27      6789    |
|-------------------------+-------------------------+-------------------------|
| 3458    3459   a34689   | 12689   12689   57      | 12467   127     467     |
| 7       1       469     | 269     3       269     | 246     8       5       |
|f5-8     2      a68      | 168     4      e57      |d167     9       3       |
'-----------------------------------------------------------------------------'

2. (8)r79c3 = (8-7)r2c3 = (7)r2c7 - (7)r9c7 = (7-5)r9c6 = (5)r9c1 => -8 r9c1 [placements and lots of basics]
---

Code: Select all

.-----------------------------------------------------------.
| 18   a34    5     | 7     29    1239  |b489   6     89    |
| 18    6     7-4   | 49    5     19    | 4789  3     2     |
| 9     347   2     | 34    6     8     | 1     5     47    |
|-------------------+-------------------+-------------------|
| 6     5     379   | 2389  1     4     | 389   27    89    |
| 23    8     39    | 2369  7     2369  | 5     4     1     |
| 234   479   1     | 5     289   239   | 389   27    6     |
|-------------------+-------------------+-------------------|
| 34    9-4   3469  | 2689  289   5     | 247   1     47    |
| 7     1    d469   | 269   3     269   |c24    8     5     |
| 5     2     8     | 1     4     7     | 6     9     3     |
'-----------------------------------------------------------'

3. SS (4): r1c2 = r1c7 - r8c7 = r8c3 => -4 r2c3,r7c2; ste