Luke451 wrote:aran wrote:storm_norm wrote:Technically UR78 doesn't really exist (2r13c7 being forced).
7r8c7=8r2c7 holds independently in any case.
I think its valid...
but this forces me to find a better example.
unless you find one before me, aran.
Here's one contender Storm Norm :
UR39 avoidance r78c29 =>5r7c2=4r8c9
then : 5r7c2=4r8c9-(4=7)r9c8-(7=3)r8c7-(3=9)r8c2 : =><9>r7c2
aran, that's another Type 6 UR as mentioned on page 1, so you can add <9>r8c9.
aran wrote:In other words, if the pattern takes longer than doing the logic, forget the pattern.
What's more, uniqueness logic is entertaining, so why divert the solver towards "format";)
.---------------------.---------------------.---------------------.
| 2 *34589 158 | 18 57 6 |*35789 145 *489 |
|*145 6 158 | 3 57 9 | 578 1245 248 |
|U1359 U3589 7 | 4 2 18 |*3589 6 *89 |
:---------------------+---------------------+---------------------:
| 8 1 3 | 9 4 5 | 2 7 6 |
|U59 U59 2 | 6 1 7 | 4 8 3 |
| 6 7 4 | 2 8 3 | 1 9 5 |
:---------------------+---------------------+---------------------:
| 1345 3458 158 | 7 6 48 | 589 245 2489 |
| 7 458 9 | 58 3 2 | 6 45 1 |
|*45 2 6 | 158 9 148 |-58 3 7 |
'---------------------'---------------------'---------------------'
storm_norm wrote:aran,
how about this one?
- Code: Select all
.---------------------.---------------------.---------------------.
| 2 *34589 158 | 18 57 6 |*35789 145 *489 |
|*145 6 158 | 3 57 9 | 578 1245 248 |
|U1359 U3589 7 | 4 2 18 |*3589 6 *89 |
:---------------------+---------------------+---------------------:
| 8 1 3 | 9 4 5 | 2 7 6 |
|U59 U59 2 | 6 1 7 | 4 8 3 |
| 6 7 4 | 2 8 3 | 1 9 5 |
:---------------------+---------------------+---------------------:
| 1345 3458 158 | 7 6 48 | 589 245 2489 |
| 7 458 9 | 58 3 2 | 6 45 1 |
|*45 2 6 | 158 9 148 |-58 3 7 |
'---------------------'---------------------'---------------------'
notice the UR cells marked on {5,9}. the UR says that in order to avoid the deadly pattern, both the 5 in r3c7 and the 9's in r3c79 can't all be false.
in other words, UR59[(5)r3c7 = (9)r3c79]... which can be extended to eliminate the 5 in r9c7...
UR59[(5)r3c7 = (9)r3c79] - (9)r1c79 = (9-4)r1c2 = (4)r2c1 - (4=5)r9c1; r9c7 <> 5
PS humdrumly note that UR avoidance on 57r12c57, given 7 forced over r12c7 => <5>r12c7
DonM wrote:Totally digressing for a moment. Has anyone noticed how bizarre the situation is at the moment when it comes to a person trying to learn how to solve Sudoku using basic & advanced methods? I went into Borders (a book store chain for those not in the U.S.) the other day and just for the heckuvit checked out the Sudoku section. There were easily over 100 Sudoku books with all sorts of names. While right next to them were books on Chess, Bridge with indepth descriptions on how to play them, not one of the Sudoku books had anything more than 1-3 pages on very rudimentary instructions on how to solve a sudoku puzzle (eg. pretty much limited to cross-hatching, perhaps basic naked pairs and the like.) and most of them had nothing. If you were lucky you might come across Paul Stephen's Mastering Sudoku which is probably the best book available for basic methods now that Andrew Stuart's 'Logic of Sudoku' is sadly unavailable now. Otherwise there's virtually nothing that would teach someone how to logically solve a puzzle. Which means that any person trying to get to the level of those on this forum have got a lot of hard-core sleuthing to do.
and, uh, timed solving seems to have left the world of Su-Doku in about 2006
storm_norm wrote:I have read many sources that claim timed chess games dilute the level of play.
999_Springs wrote:storm_norm wrote:I have read many sources that claim timed chess games dilute the level of play.
That is going to be one of my favourite quotes of all time. Whenever I play chess everyone complains about how slow I move because I'm the sort of person who tries to calculate everything before touching the board. I have played chess with a clock for three years and in that time I have won on time just once and lost on time about... once every three or four weeks. Could you point me towards one of the sources?
But still, I think that chess clocks are certainly here to stay, no matter how strong the evidence may be that they are positively evil. (Sigh.) This is very much unlike Su-Doku, where timed competitions just seem not to exist anymore. (Well at least I can't find any.) Maybe it is because if you have a puzzle rated above SE=5 or 6, it is actually faster to abandon logical techniques altogether and guess one (or both simultaneously) candidate in a bivalue/bilocation. This sort of ruins the point of solving puzzles by logic. But then you're going to have to find another way to invent a competition, which is difficult, as there isn't much left to compete for.