by Carcul » Mon Apr 10, 2006 7:50 am
1. Almost Locked Sets xz-rule:
A=r3c2/r3c3/r3c5/r3c7
B=r7c5/r7c7/r7c8
x=8
z=7
=> r7c2<>7.
2. [r1c7]-6-[r1c2]=6=[r5c2]-6-[r5c4]=6=[r9c4]-6-[r9c9]=6=[r7c7]-6-[r1c7], => r1c7<>6.
3. [r4c5]-4-[r4c8]-2-[r4c3]-9-[r7c3]-8-[r7c5]-4-[r4c5], => r4c5<>4.
4. [r7c5]-8-[r3c5]=8|9=[r3c3]-9-[r7c3]-8-[r7c5], => r7c5<>8.
5. [r9c1]=7=[r9c2]-7-[r3c2]-9-[r7c2]-1-[r2c1|r8c1]-4,5-[r9c1], => r9c1<>4,5.
6. [r8c1]=5=[r9c3]=2=[r4c3]-2-[r4c8]-4-[r9c8]=4=[r9c2]-4-[r8c1], => r8c1<>4.
7. [r7c2]-1-[r8c1]-5-[r1c1|r1c2|r2c1]-7-[r3c2]-9-[r7c2], => r8c2<>1; r6c2/r9c2<>9.
8. [r4c3]=2=[r9c3]-2-[r8c2]-4-[r9c2]=4=[r9c8]-4-[r4c8]-2-[r4c3], => r9c2/r4c5/r4c6/r4c9<>2.
9. [r1c6]-7-[r3c4]=7=[r3c2]-7-[r9c2]-4-[r9c8]=4=[r4c8]-4-[r4c6]-7-[r1c6], => r1c6<>7.
10. [r5c9]=7=[r5c6]-7-[r4c6]-4-[r4c8]-2-[r5c9], => r5c9<>2.
11. [r2c8]=2=[r2c6]-2-[r1c5]=2=[r6c5]-2-[r6c7|r6c9]=2=[r4c8|r5c8]-2-[r2c8], => r1c6/r6c2/r6c6/r9c8/r1c8<>2.
12. [r6c9]-2-[r9c9]=2=[r9c3]-2-[r4c3]=2=[r4c8]-2-[r6c9], => r6c9<>2.
13. [r3c4]=7=[r3c2]=9=[r7c2]=1=[r7c6]-1-[r5c4|r8c4]-5,8-[r3c4], => r3c4<>5,8.
14. [r5c4]=8=[r8c4]-8-[r8c9]-2-[r8c2]=2=[r5c2]-2-[r5c8]-5-[r5c4], => r5c4<>5.
15. [r9c1]=7=[r9c2]=4=[r9c8]-4-[r4c8]-2-[r2c8]=2=[r2c6]=1=[r7c6]=9=[r9c6]-9-[r9c1], => r9c1<>9 which solve the puzzle.
Carcul