View previous topic :: View next topic |
Author |
Message |
keith
Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
|
Posted: Tue Jun 10, 2008 10:03 pm Post subject: My bizarre solution |
|
|
I came up with a weird way to solve this one. I now see there is an easier way. A little more than "Very Hard". Code: | Puzzle: M4943311sh(15)
+-------+-------+-------+
| . . 4 | . 7 . | 5 . . |
| . . 1 | 4 . . | 3 . . |
| 5 . . | . 3 2 | . . 6 |
+-------+-------+-------+
| . . . | . . . | 1 7 5 |
| . . . | . 8 . | . . . |
| 9 3 7 | . . . | . . . |
+-------+-------+-------+
| 8 . . | . 4 6 | . . 1 |
| . . 2 | 8 . . | 9 . . |
| . . 5 | . 1 . | 8 . . |
+-------+-------+-------+ | Keith |
|
Back to top |
|
|
tlanglet
Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
|
Posted: Tue Jun 10, 2008 11:27 pm Post subject: |
|
|
Code: |
*--------------------------------------------------*
| 3 26 4 | 69 7 8 | 5 1 29 |
| 26 8 1 | 4 69 5 | 3 29 7 |
| 5 7 9 | 1 3 2 | 4 8 6 |
|----------------+----------------+----------------|
| 24 24 8 | 369 69 39 | 1 7 5 |
| 1 5 6 | 7 8 4 | 2 39 39 |
| 9 3 7 | 5 2 1 | 6 4 8 |
|----------------+----------------+----------------|
| 8 9 3 | 2 4 6 | 7 5 1 |
| 467 1 2 | 8 5 37 | 9 36 34 |
| 467 46 5 | 39 1 379 | 8 236 234 |
*--------------------------------------------------* |
If it is valid, I found my first forcing chain which then opened an xy-wing that did the trick. My solution is as follows: If r9c9=3 => r5c9=9 => r1c9<9> r1c4=9 => r9c4=3 which means that r9c9 cannot be 3. Then an xy-wing on <246> with pivot at r9c2 deletes 2 at r1c9 to finish it off.
Sorry about my lack of proper notation, it is still something I need to learn.
Ted |
|
Back to top |
|
|
keith
Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
|
Posted: Tue Jun 10, 2008 11:43 pm Post subject: |
|
|
Ted,
You have found the simpler solution: Your chain is a W-Wing: Code: | *--------------------------------------------------*
| 3 26 4 | 69@ 7 8 | 5 1 29@ |
| 26 8 1 | 4 69 5 | 3 29 7 |
| 5 7 9 | 1 3 2 | 4 8 6 |
|----------------+----------------+----------------|
| 24 24 8 | 369 69 39 | 1 7 5 |
| 1 5 6 | 7 8 4 | 2 39 39# |
| 9 3 7 | 5 2 1 | 6 4 8 |
|----------------+----------------+----------------|
| 8 9 3 | 2 4 6 | 7 5 1 |
| 467 1 2 | 8 5 37 | 9 36 34 |
| 467 46 5 | 39# 1 379 | 8 236 2-34 |
*--------------------------------------------------* |
The strong link on @ <9> connects the <39> cells #; You can eliminate <3> in R9C9.
But, why not make it more complicated? What about that <39> UR?
Keith |
|
Back to top |
|
|
tlanglet
Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
|
Posted: Wed Jun 11, 2008 12:38 am Post subject: |
|
|
keith wrote: | Ted,
You have found the simpler solution: Your chain is a W-Wing
But, why not make it more complicated? What about that <39> UR?
Keith |
I have been struggling to improve my skill using chains so I did not even consider looking for a simpler w-wing, ER, etc. I think I did make it more complicated than necessary; it sure took longer to find the chain than it would have been to find the w-wing!
Ted |
|
Back to top |
|
|
nataraj
Joined: 03 Aug 2007 Posts: 1048 Location: near Vienna, Austria
|
Posted: Wed Jun 11, 2008 8:18 am Post subject: |
|
|
edit 1804 GMT+2: What I wrote is complete nonsense. There is NO strong link on 9 in row 4, therefore no elimination can be made. Sorry for the confusion. I leave my original post below so references to it will make sense.
I found the other UR elimination (the one that keith describes) but somehow when I looked at the pattern again my brain started cheating on me and made me believe there was this nice and easy way and then I was done. Another one of these "lucky" strikes
________________________
I don't think the 39 UR (r49c46) is "complicated" or weird. I would not have seen it but I like it a lot. It is a one step solution:
using the strong link on 9 in row 4, we can remove 9 from r9c6 (if r9c6=9 then r4c6=3 then r4c4=9 then r9c4=3 which is the deadly pattern) and the puzzle is solved.
Fast, clean, elegant.
Last edited by nataraj on Wed Jun 11, 2008 4:10 pm; edited 1 time in total |
|
Back to top |
|
|
keith
Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
|
Posted: Wed Jun 11, 2008 10:20 am Post subject: |
|
|
Code: | +-------------+-------------+-------------+
| 3 26 4 | 69 7 8 | 5 1 29 |
| 26d 8 1 | 4 69 5 | 3 29c 7 |
| 5 7 9 | 1 3 2 | 4 8 6 |
+-------------+-------------+-------------+
| 24 24 8 | 369 69 39 | 1 7 5 |
| 1 5 6 | 7 8 4 | 2 39b 39 |
| 9 3 7 | 5 2 1 | 6 4 8 |
+-------------+-------------+-------------+
| 8 9 3 | 2 4 6 | 7 5 1 |
|4-67 1 2 | 8 5 37 | 9 36a 34 |
| 467 46 5 | 39 1 379 | 8 236 234 |
+-------------+-------------+-------------+ |
Look at the UR. There is a strong link on <3> in R4. That eliminates <3> in R9C6.
There is a strong link on <9> in R9. That eliminates <9> in R4C4.
The puzzle is still not solved. (Nataraj, I'll have to look at your reduction later.)
There is an extended XY-wing abcd that takes out <6> in R8C1, solving R8C8 as <6>. Stilll not done!
Code: | +-------------+-------------+-------------+
| 3 26 4 | 69 7 8 | 5 1 29 |
| 26 8 1 | 4 69 5 | 3 29 7 |
| 5 7 9 | 1 3 2 | 4 8 6 |
+-------------+-------------+-------------+
| 24 24 8 | 36 69 39 | 1 7 5 |
| 1 5 6 | 7 8 4 | 2 39 39 |
| 9 3 7 | 5 2 1 | 6 4 8 |
+-------------+-------------+-------------+
| 8 9 3 | 2 4 6 | 7 5 1 |
| 47 1 2 | 8 5 37 | 9 6 34 |
| 467 46 5 | 39 1 79 | 8 23 234 |
+-------------+-------------+-------------+ |
This is a BUG+2. To avoid the deadly pattern, either R9C1 is <4> and / or R9C9 is <3>. Either way, R9C4 is <9>, and we are done at last.
From the Rube Goldberg school of Sudoku solving.
Keith |
|
Back to top |
|
|
cgordon
Joined: 04 May 2007 Posts: 769 Location: ontario, canada
|
Posted: Wed Jun 11, 2008 1:32 pm Post subject: |
|
|
For the life of me I cannot see a UR here. I realise these are the only two 3’s in R4 and the only two 9’s in R9. If the 39’s weren’t diagonal, I could see the makings of a Type 4 UR. And I realise you cannot remove both the 6 and 7 cos this would leave a Deadly Pattern. But I can’t follow Nataraj’s logic behind the removal of R9C6.
And as for “Forcing Chains” isn’t that just a fancy word for guessing.
Hey – I became “officially old” today so I am allowed to be a miserable curmudgeon
Code: |
+-------+----------+-------+
| . . . | . . . | . . . |
| . . . | . . . | . . . |
| . . . | . . . | . . . |
+-------+----------+-------+
| . . . | 369 . 39 | . . . |
| . . . | . . . | . . . |
| . . . | . . . | . . . |
+-------+----------+-------+
| . . . | . . . | . . . |
| . . . | . . . | . . . |
| . . . | 39 . 379| . . . |
+-------+----------+-------+
|
|
|
Back to top |
|
|
nataraj
Joined: 03 Aug 2007 Posts: 1048 Location: near Vienna, Austria
|
Posted: Wed Jun 11, 2008 4:25 pm Post subject: |
|
|
Craig,
you cannot follow my logic because that logic was flawed. I edited my original post.
There is valid UR logic though like keith pointed out:
Quote: | There is a strong link on <9> in R9. That eliminates <9> in R4C4 |
In this sort of situation where the pairs are diagonal and there is a strong link on one of the UR candidates, the technique works like this:
A-Start: Since the strong link is on 9 in row 9, start with row 4 (the opposite side of the rectangle) and look at 9 in the cell that has more than 2 candidates (369 in r4c4).
B-Moving around the rectangle: if r4c4 were 9, then (cross over to the side with the strong link) r9c4 must be 3, but then (because of the strong link) r9c6 would have to be 9 and r4c6=3.
C-Deadly pattern: in other words, if r4c4=9, a deadly pattern would result. Thus r4c4 cannot be 9.
Quote: | There is a strong link on <3> in R4. That eliminates <3> in R9C6.
|
Same procedure: start in r9c6 (opposite the strong link, three-value cell).
If r9c6=3 then (cross over to the sttrong link) r4c6=9 then r4c4=3 then r9c4=9, which is a deadly pattern.
Now that I wrote it down twice I hope I will remember ... |
|
Back to top |
|
|
nataraj
Joined: 03 Aug 2007 Posts: 1048 Location: near Vienna, Austria
|
Posted: Wed Jun 11, 2008 4:52 pm Post subject: |
|
|
cgordon wrote: | And as for “Forcing Chains” isn’t that just a fancy word for guessing.
Hey – I became “officially old” today |
Happy Birthday!
I don't think Forcing Chain (or forcing net) is just a fancy word for guessing. In my view, a forcing chain is a list of conclusions that can be drawn from a single assumption. Neither bad nor objectionable.
Guessing (or trial and error) comes in when choosing the starting point, e.g.
a) brute force (try them ALL) ugh
b) bowman bingo (shooting darts at the sudoku while blindfolded)
c) superstition (try only "lucky" numbers - this is not in the official list, it is my gift to the community ) |
|
Back to top |
|
|
cgordon
Joined: 04 May 2007 Posts: 769 Location: ontario, canada
|
Posted: Wed Jun 11, 2008 7:40 pm Post subject: |
|
|
Nataraj: I missed your retraction – but I would have still demanded an explanation. Fortunately your next post provided this. Thank you. I followed everything OK - but I still need to get some things straight (Sudoku that is – I’m too old for anything else).
I have never gotten into the strong links/weak link definitions - but I know you are referring to the fact that the UR coincides with a row or column that contains only two of that number. Just like a Type 4 UR. Here we have two such cases with both 3’s and 9’s.
Question 1: Is it correct to assume that eliminations would still be possible if only one of these strong links had been available - i.e EITHER 3 or 9. Not both.
Q2: Is this solution unique to this Sudoku – or can I establish a typical rule. I gotta have rote-rules.
Q3: How do I describe this when I am the first to post my elegant solutions? Is this still a Type 4 UR with a diagonal variant?
And thanks for the Birthday Greetings.
Craig |
|
Back to top |
|
|
nataraj
Joined: 03 Aug 2007 Posts: 1048 Location: near Vienna, Austria
|
Posted: Wed Jun 11, 2008 8:11 pm Post subject: |
|
|
Craig,
here's my attempt at answering your questions:
Q1: yes. The two eliminations are independent of each other. If there had been only a strong link on 3 in row 4, we'd still have been able to eliminate 3 from r9c6.
Q2: no, it is not specific to this sudoku, it is a general principle ("typical rule") applicable to this situation:
Code: |
+-------+----------+-------+
| . . . | xya . xy | . . . |
| . . . | . . . | . . . |
| . . . | . . . | . . . |
+-------+----------+-------+
| . . . | . . . | . . . |
| . . . | . . . | . . . |
| . . . | xy . xyb| . . . | <== no other x in this row ("strong link" on x)
|
Characteristics:
- a potential deadly pattern (four cells, each contains x and y, the cells form a rectangle in two boxes)
- two of the four cells are bi-values (no other candidates but x and y), diagonally opposite each other
- one of the rows (or columns) of the rectangle has no other occurrences of x (strong link)
Q3: I can never remember the correct name of the technique (might be UR type 6 but that is a wild guess). I am sure someone will supply that information. Just mention the strong link like keith did and it'll be fine.
And: a "strong link" is nothing but two cells that have a special relationship regarding a certain candidate x: if one of the cells is NOT x, then the other one is (some prefer the definition "one or the other or both", but that is a matter of personal taste). When there are only two cells in a house (row, column, box) with candidate x, this condtion is met: when one of the two cells does not contain x, the other one must be x. Strong links are used quite often (in x-wings, skyscrapers, kites, w-wings, etc.).
take care |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Wed Jun 11, 2008 9:24 pm Post subject: |
|
|
I don't know what the technique is called, I just call it breaking up a deadly pattern. This is an almost Type 6. A Type 6 exists when one of the deadly candidates is an X-Wing, in which case the bivalue cells are solved with that number.
When it's not a Type 6 but there is a strong link in a row or column, that candidate can be eliminated from the polyvalue cell in the other row or column. |
|
Back to top |
|
|
cgordon
Joined: 04 May 2007 Posts: 769 Location: ontario, canada
|
Posted: Wed Jun 11, 2008 11:04 pm Post subject: |
|
|
Quote: | This is an almost Type 6 |
Why not call it a Type 7.
Not joking. I retired a few years ago and did a BA (Hist). Got into "social constructs". How ordinary people determine things rather than experts. I recall a photo of some mid-west American farmer using an auto engine for some function it was not intended for.
This Forum seems very much a "social construct". And if this is a new variant - give it a name and number eh. |
|
Back to top |
|
|
keith
Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
|
Posted: Wed Jun 11, 2008 11:25 pm Post subject: |
|
|
cgordon wrote: | Quote: | This is an almost Type 6 |
Why not call it a Type 7.
|
That's what I would have done. After I pointed out what became the Type 6 (a UR on an X-wing), others pointed out you could make reductions with fewer strong links than an X-wing provides (Two when unsolved, four when solved). Logically, it should be a Type 7.
The terminology was hijacked by Ruud and others. (This is not a complaint. I do not care how techniques are named. We need to learn each others' languages.) You can read the current description at Ruud's site, SudoCue,
http://www.sudocue.net/guide.php
or at his Sudopedia site.
http://www.sudopedia.org/wiki/Main_Page
http://www.sudopedia.org/wiki/Uniqueness_Test#Uniqueness_Tests
Best wishes,
Keith |
|
Back to top |
|
|
|