| View previous topic :: View next topic |
| Author |
Message |
daj95376
Joined: 23 Aug 2008
Posts: 3854
|
 Posted: Fri Jul 09, 2010 1:39 am Post subject: Puzzle 10/07/08: AN*() |
 |
|
This puzzle may be very difficult.
| Code: | +-----------------------+
| 5 . . | . . . | . . . |
| . . 4 | . . 2 | 6 . 5 |
| . 7 . | . 5 . | 9 3 4 |
|-------+-------+-------|
| . . . | . . . | . 2 9 |
| . . 7 | . . 9 | . 4 . |
| . 4 . | . 1 6 | . 7 . |
|-------+-------+-------|
| . 5 6 | . . . | . 9 . |
| . . 9 | 1 6 3 | 4 . . |
| . 3 1 | 5 . . | . . . |
+-----------------------+
|
Play this puzzle online at the Daily Sudoku site
| Code: | after basics
+--------------------------------------------------------------+
| 5 69 38 | 69 348 148 | 27 18 27 |
| 138 189 4 | 3789 378 2 | 6 18 5 |
| 168 7 2 | 68 5 18 | 9 3 4 |
|--------------------+--------------------+--------------------|
| 368 68 38 | 47 47 5 | 1 2 9 |
| 12 12 7 | 38 38 9 | 5 4 6 |
| 9 4 5 | 2 1 6 | 8 7 3 |
|--------------------+--------------------+--------------------|
| 478 5 6 | 48 2 478 | 3 9 1 |
| 278 28 9 | 1 6 3 | 4 5 278 |
| 2478 3 1 | 5 9 478 | 27 6 278 |
+--------------------------------------------------------------+
# 52 eliminations remain
|
|
|
| Back to top |
|
 |
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Fri Jul 09, 2010 11:02 am Post subject: |
|
|
Hopefully not this horror:
| Quote: | ANQ(1378-9)r2c1458=r2c2-(9=6)r2c1-(6=8)r4c2-r4c3; r4c3<>8 solves puzzle
otherwise
ANQ(1378=9)r2c4 solves puzzle |
|
|
| Back to top |
|
|
daj95376
Joined: 23 Aug 2008
Posts: 3854
|
| Posted: Fri Jul 09, 2010 11:16 am Post subject: |
|
|
| Mogulmeister wrote: | Hopefully not this horror:
|
I couldn't get your first solution to work -- even after correcting for a cell typo. The second lost me as well.
| (barely) simpler variant wrote: | (3=18=9)r2c182 - (9=6)r1c2 - r3c1 = (6)r4c1 => r4c1<>3.
|
I like my experimental notation. It employs all of the candidates and lists cells in an order that matches the candidates.
Last edited by daj95376 on Fri Jul 09, 2010 11:37 am; edited 1 time in total |
|
| Back to top |
|
|
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
|
| Back to top |
|
|
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Fri Jul 09, 2010 11:44 am Post subject: |
|
|
I fixed it. It should work now. If the <1378> Quad is true (ie no fin 9) then r2c2=9 => r1c2=6 => r4c2=8 => r4c3<>8. If Quad is false then fin 9 in r2c4 already solves it.
I quite like the experimental notation........ |
|
| Back to top |
|
|
tlanglet
Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills
|
| Posted: Fri Jul 09, 2010 12:13 pm Post subject: |
|
|
I never got around to looking for any AN*() stuff.......
| Quote: | Type 1 UR27 r19c79; r9c9<>27
(2=7)r9c7-(7=4)r9c6-ADP27[(4)r9c1=(8)r8c1]r1c79|r8c19|r9c17-(8=2)r8c2; r8c9<>2 [A 6-cell ADP with extensions of strong inference.]
Type 1 UR47 r79c16; r7c6<>47
BUG+1 forces r4c1=8
|
Ted |
|
| Back to top |
|
|
tlanglet
Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills
|
| Posted: Fri Jul 09, 2010 1:34 pm Post subject: |
|
|
MM
Mogul Magic does it again 
I believe this is the first time I saw a form of logic analysis that did not result in a deletion or forced value, but the inferences ended in two independent one step solutions. Very, very nice.
Ted |
|
| Back to top |
|
|
tlanglet
Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills
|
| Posted: Fri Jul 09, 2010 1:53 pm Post subject: |
|
|
Danny
I like the idea of formatting the notation to add insight into the intent of the information. Using you example,
(3=18=9)r2c182 - (9=6)r1c2 - r3c1 = (6)r4c1 => r4c1<>3, I immediately realize you are using the inference (3)r2c1=(9)r2c2 in the ALS (1389)r2c128.
However, it was not as helpful when I tried similar formatting of the quad used by MM for this puzzle.
Ted |
|
| Back to top |
|
|
Marty R.
Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA
|
| Posted: Fri Jul 09, 2010 3:35 pm Post subject: |
|
|
Type 1 UR (27)
Hidden UR (47), two eliminations
DP (12-18-28), r8c1<>7, r1c3568=8341 |
|
| Back to top |
|
|
daj95376
Joined: 23 Aug 2008
Posts: 3854
|
| Posted: Fri Jul 09, 2010 5:12 pm Post subject: |
|
|
| tlanglet wrote: | Danny
I like the idea of formatting the notation to add insight into the intent of the information. Using you example,
(3=18=9)r2c182 - (9=6)r1c2 - r3c1 = (6)r4c1 => r4c1<>3, I immediately realize you are using the inference (3)r2c1=(9)r2c2 in the ALS (1389)r2c128.
However, it was not as helpful when I tried similar formatting of the quad used by MM for this puzzle.
|
The notation is not universal for all ALS scenarios. However, it does seem to simplify the scenario where two, singly occurring candidates have a conjugate relationship in an ALS. |
|
| Back to top |
|
|
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Fri Jul 09, 2010 11:25 pm Post subject: |
|
|
| It would be nice to see if the concept can be extended/modified. I shall continue to label explicitly until such time but remain totally open minded - a nice start Dan. |
|
| Back to top |
|
|
|
FAQ
Search
Memberlist
Usergroups
Register
Profile
Log in to check your private messages
Log in
