View previous topic :: View next topic |
Author |
Message |
immpy
Joined: 06 May 2017 Posts: 571
|
Posted: Mon Oct 12, 2020 6:27 pm Post subject: VH+ 101220 |
|
|
Hello all, enjoy the puzzle...
Code: |
+-------+-------+-------+
| . . . | 7 . . | . . . |
| 3 . 6 | 8 9 . | . 4 . |
| 4 . 7 | . . 2 | . . . |
+-------+-------+-------+
| . 9 . | . . . | 4 . . |
| 7 . 3 | . . . | . 1 . |
| . . . | . . . | . 5 7 |
+-------+-------+-------+
| 1 7 5 | . 8 . | 6 3 . |
| . . 9 | . . 6 | . . . |
| 6 . 4 | . 1 . | 5 7 . |
+-------+-------+-------+
|
Play this puzzle online at the Daily Sudoku site
cheers...immp |
|
Back to top |
|
|
dongrave
Joined: 06 Mar 2014 Posts: 568
|
Posted: Tue Oct 13, 2020 7:11 pm Post subject: |
|
|
Here's the grid after basics:
Code: |
+-------------+------------------+-----------------+
| 9 1258 28 | 7 3456 1345 | 238 268 123568 |
| 3 125 6 | 8 9 15 | 7 4 125 |
| 4 158 7 | 136 356 2 | 38 9 13568 |
+-------------+------------------+-----------------+
| 5 9 128 | 136 236 7 | 4 268 2368 |
| 7 46 3 | 469 2456 4589 | 289 1 268 |
| 28 46 128 | 13469 2346 13489 | 2389 5 7 |
+-------------+------------------+-----------------+
| 1 7 5 | 249 8 49 | 6 3 29 |
| 28 3 9 | 5 7 6 | 1 28 4 |
| 6 28 4 | 239 1 39 | 5 7 289 |
+-------------+------------------+-----------------+
|
I tried to represent the contradiction that I arrived at below but I'm not sure if the Eureka notation is right so I'm hoping that Clement will let me know if it's wrong!
8r8c8 - [(8)r4c8 -(8=2*|9)r79c9 -(8)r8c1] = r9c2 - r13c2 = r1c3 - r4c3 = 8*r4c9 - (2*8=6)r5c9 - (6=4)r5c2 - (46=9)r5c4 - (8*9=2)r5c7 - (28*=6)r4c8; contradiction (i.e. 6r4c8, 6r5c9) => r8c8 <> 8; stte. |
|
Back to top |
|
|
storm_norm22
Joined: 24 Oct 2020 Posts: 15
|
Posted: Mon Oct 26, 2020 12:20 am Post subject: |
|
|
dongrave wrote: | Here's the grid after basics:
Code: |
+-------------+------------------+-----------------+
| 9 1258 28 | 7 3456 1345 | 238 268 123568 |
| 3 125 6 | 8 9 15 | 7 4 125 |
| 4 158 7 | 136 356 2 | 38 9 13568 |
+-------------+------------------+-----------------+
| 5 9 128 | 136 236 7 | 4 268 2368 |
| 7 46 3 | 469 2456 4589 | 289 1 268 |
| 28 46 128 | 13469 2346 13489 | 2389 5 7 |
+-------------+------------------+-----------------+
| 1 7 5 | 249 8 49 | 6 3 29 |
| 28 3 9 | 5 7 6 | 1 28 4 |
| 6 28 4 | 239 1 39 | 5 7 289 |
+-------------+------------------+-----------------+
|
I tried to represent the contradiction that I arrived at below but I'm not sure if the Eureka notation is right so I'm hoping that Clement will let me know if it's wrong!
8r8c8 - [(8)r4c8 -(8=2*|9)r79c9 -(8)r8c1] = r9c2 - r13c2 = r1c3 - r4c3 = 8*r4c9 - (2*8=6)r5c9 - (6=4)r5c2 - (46=9)r5c4 - (8*9=2)r5c7 - (28*=6)r4c8; contradiction (i.e. 6r4c8, 6r5c9) => r8c8 <> 8; stte. |
I am not clement. but your logic looks good when I plugged it into xsudo.
it also shows a couple more eliminations as well.
|
|
Back to top |
|
|
dongrave
Joined: 06 Mar 2014 Posts: 568
|
Posted: Mon Oct 26, 2020 4:10 pm Post subject: |
|
|
Thanks for checking that storm_norm! Hey, I see that you just joined! Welcome! |
|
Back to top |
|
|
storm_norm22
Joined: 24 Oct 2020 Posts: 15
|
Posted: Mon Oct 26, 2020 4:15 pm Post subject: |
|
|
dongrave wrote: | Thanks for checking that storm_norm! Hey, I see that you just joined! Welcome! |
thank you.
actually my second sign up. was gone for so long that my other account was deactivated. |
|
Back to top |
|
|
|