Neunmalneun wrote:It also works with the rule "if a cell has the candidates abc and ab leads to a you can eliminate a from this cell".

Tell me if I've got this rule correct -- Given a cell with the candidates [abc], if 'c' is eliminated and that leads to 'a', then the candidates can be reduced to [bc]? What is this rule called, why does it work and where is it explained?

Assuming R4C5=48 => R45C9=3 (uniqueness) => R9C5=5 => R9C8=3 =R4C8=8 => R4C5<>8.

I assume you mean r9c9 not r9c5. Simple typo, but then ...

This leads to a single 8 in R5C5

How so? I thought the point of this tactic was that if r4c5=[458] and [48] leads to [4] (which it does), then we can exclude [4] leaving [58]. That doesn't give me an 8 in r5c5. Is this a typo or a mistake or is the rule mistated? Double checking -- r4c5 is in fact '4'. Huh?

and a blocked 8 in R4C2.

Huh? What's a "blocked 8"? R4C2 is [39] -- it can't be an 8 by virtue of locked candidates in row 6. Typo? I'm lost -- so I really should pick apart the next one, cause I don't know what state the grid would be, but ...

Same technique once again: Assuming R1C3 is 18 => R6C3=3 => R4C2=9 => R5C1=4 => R5C9=3 => R2C9=8 => R2C3=1 which solves the rest.

Ok, though (R6C3=3 => R4C2=9 => R5C1=4) is not true, ((R6C3=3 AND R4C2=9) => R5C1=4) is. But I suppose that's nitpicking. But then you left out r5c9=3 => r9c9=5. Another nitpick. But THEN ... you close with "r2c3=1 which solve the rest"! What the heck does *that* mean? I According to the rule you gave, that means that since r1c3 was [138] and [18] lead [8], then r1c3 is actually [13] -- which it is. But that hardly solves the puzzle. I see no justification for the leap to r2c3=1 yet.

I wouldn't have listed all these little things -- Iv'e maid plenty of tyops myself -- it's just that I'm not sure were the *big* thing is.

Could you re-read, correct and comment on your post? It looks interesting but I cannot follow it. There appear to by multiple typos, cells refered to that do not have the candidates you claim -- I just can't make it out.

[Edit:]I found your previous post with this rule. You typed it with an important typo here.Neunmalneun wrote:It also works with the rule "if a cell has the candidates abc and ab leads to a you can eliminate a from this cell".

... should be ...Neunmalneun wrote:It also works with the rule "if a cell has the candidates abc and ab leads to a you can eliminate b from this cell".