dailysudoku.com Forum Index dailysudoku.com
Discussion of Daily Sudoku puzzles
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

My bizarre solution

 
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Other puzzles
View previous topic :: View next topic  
Author Message
keith



Joined: 19 Sep 2005
Posts: 3355
Location: near Detroit, Michigan, USA

PostPosted: Tue Jun 10, 2008 10:03 pm    Post subject: My bizarre solution Reply with quote

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
View user's profile Send private message
tlanglet



Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills

PostPosted: Tue Jun 10, 2008 11:27 pm    Post subject: Reply with quote

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
View user's profile Send private message
keith



Joined: 19 Sep 2005
Posts: 3355
Location: near Detroit, Michigan, USA

PostPosted: Tue Jun 10, 2008 11:43 pm    Post subject: Reply with quote

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
View user's profile Send private message
tlanglet



Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills

PostPosted: Wed Jun 11, 2008 12:38 am    Post subject: Reply with quote

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
View user's profile Send private message
nataraj



Joined: 03 Aug 2007
Posts: 1048
Location: near Vienna, Austria

PostPosted: Wed Jun 11, 2008 8:18 am    Post subject: Reply with quote

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 Embarassed Embarassed Embarassed
________________________

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
View user's profile Send private message Send e-mail Visit poster's website
keith



Joined: 19 Sep 2005
Posts: 3355
Location: near Detroit, Michigan, USA

PostPosted: Wed Jun 11, 2008 10:20 am    Post subject: Reply with quote

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
View user's profile Send private message
cgordon



Joined: 04 May 2007
Posts: 769
Location: ontario, canada

PostPosted: Wed Jun 11, 2008 1:32 pm    Post subject: Reply with quote

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
View user's profile Send private message
nataraj



Joined: 03 Aug 2007
Posts: 1048
Location: near Vienna, Austria

PostPosted: Wed Jun 11, 2008 4:25 pm    Post subject: Reply with quote

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
View user's profile Send private message Send e-mail Visit poster's website
nataraj



Joined: 03 Aug 2007
Posts: 1048
Location: near Vienna, Austria

PostPosted: Wed Jun 11, 2008 4:52 pm    Post subject: Reply with quote

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 Laughing)
Back to top
View user's profile Send private message Send e-mail Visit poster's website
cgordon



Joined: 04 May 2007
Posts: 769
Location: ontario, canada

PostPosted: Wed Jun 11, 2008 7:40 pm    Post subject: Reply with quote

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
View user's profile Send private message
nataraj



Joined: 03 Aug 2007
Posts: 1048
Location: near Vienna, Austria

PostPosted: Wed Jun 11, 2008 8:11 pm    Post subject: Reply with quote

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
View user's profile Send private message Send e-mail Visit poster's website
Marty R.



Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA

PostPosted: Wed Jun 11, 2008 9:24 pm    Post subject: Reply with quote

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
View user's profile Send private message
cgordon



Joined: 04 May 2007
Posts: 769
Location: ontario, canada

PostPosted: Wed Jun 11, 2008 11:04 pm    Post subject: Reply with quote

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
View user's profile Send private message
keith



Joined: 19 Sep 2005
Posts: 3355
Location: near Detroit, Michigan, USA

PostPosted: Wed Jun 11, 2008 11:25 pm    Post subject: Reply with quote

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
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Other puzzles All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum


Powered by phpBB © 2001, 2005 phpBB Group