View previous topic :: View next topic |
Author |
Message |
farfel
Joined: 10 Oct 2006 Posts: 7
|
Posted: Tue Oct 10, 2006 2:54 pm Post subject: Sept 3 puzzle. Does this logic approach have a name? |
|
|
Does this logic have a name ? On the Sept 3 sudoku I got stuck and then noticed a relationship among 4 pairs that looked like this:
26---25
68---58
Starting with the 26 pair, the 25 becomes a 5, the 58 an 8 and the 68 a 6, which gives:
2---5
6---8
Doing the same with all the top row numbers, there are only 2 possibilities:
2---5 and
6---8
6---2
8---5
From this, I deduced that I could eliminate all the 2s from the top row, all the 5s from the right column, all the 8s from the bottom row and all the 6s from the left column.
Does this logic have a name? |
|
Back to top |
|
|
ravel
Joined: 21 Apr 2006 Posts: 536
|
Posted: Tue Oct 10, 2006 3:42 pm Post subject: |
|
|
Sudoku susser calls it "forcing loop", Sudoku Explainer "bidirectional y-cycle". I cant find a good online description now. See here for another sample. |
|
Back to top |
|
|
farfel
Joined: 10 Oct 2006 Posts: 7
|
Posted: Tue Oct 10, 2006 4:24 pm Post subject: |
|
|
Thanks. And I thought I discovered something new....I'd call it the "Farfel chain" |
|
Back to top |
|
|
Steve R
Joined: 24 Oct 2005 Posts: 289 Location: Birmingham, England
|
Posted: Tue Oct 10, 2006 6:08 pm Post subject: |
|
|
A nice observation, Farfel. Welcome to the forum!
You may find Scanraid’s description of xy-chains helpful. When the chain comes back to the starting cell it sometimes forms an xy-ring.
Code: | -------------------------------------
| 5 9 8| 2 6 4| 7 1 3|
| 7 6 4| 38 38 1| 9 25 25|
| 2 3 1| 59 59 7| 6 8 4|
-------------------------------------
| 9 58 256| 1 2358 2368| 4 7 256|
| 3 1 256| 47 47 a26|b25 9 8|
|68 4 7|568 258 9| 3 256 1|
-------------------------------------
| 1 2 56| 49 49 d68|c58 3 7|
|68 58 9|367 237 236| 1 4 56|
| 4 7 3| 68 1 5| 28 26 9|
------------------------------------
|
Starting from the cell marked a the loop here might be written as:
a -2- b -5- c -8- d -6- a
It forms an xy-ring because the two labels attaching to a are different, 2 and 6.
When a ring like this arises the label for each link can be eliminated from any common associate of the cells at the end of the links. For example 2 may be eliminated from the row containing a and b, here the fifth row, and so on.
Steve |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Tue Oct 10, 2006 9:26 pm Post subject: |
|
|
Despite all the descriptive terms like loops, cycles, rings, etc., are these also a form of forcing chain or double implication chain? After all, in each example, we are testing a 26 cell for each value, and for each of those values the same action is taken. |
|
Back to top |
|
|
TexCat
Joined: 07 Jul 2006 Posts: 32
|
Posted: Wed Oct 11, 2006 4:28 pm Post subject: |
|
|
I thought this was an interesting technique. I was sure it would be called some fishy name, and in my mind had already renamed farfel fish. |
|
Back to top |
|
|
farfel
Joined: 10 Oct 2006 Posts: 7
|
Posted: Wed Oct 11, 2006 8:00 pm Post subject: |
|
|
Thanks TexCat. I'll do anything for my 15 minutes of fame |
|
Back to top |
|
|
|