by r.e.s. » Mon Oct 03, 2005 12:17 am
The two Nishio can be replaced by two forcing chains, if preferred:
Chain#1:
r5c4=8
=> r5c1<>8;
r5c4<>8
=> r5c4=9
=> r4c5<>9
=> r9c5=9
=> r9c1<>9
=> r9c1=8
=> r5c1<>8;
therefore r5c1<>8.
*Or, in alternative notation:
r5c1~8~r5c4~9~r4c5-9-r9c5-9-r9c1~8~r5c1 => r5c1<>8.
Chain#2:
r3c8<>9
=> r3c1=9;
r3c8=9
=> r4c8<>9
=> r4c8=2
=> r5c7<>2
=> r5c3=2
=> r6c1<>2
=> r6c1=3
=> r3c1<>3
=> r3c1=9;
therefore r3c1=9.
*Or, in alternative notation:
r3c1-9-r3c8~9~r4c8~2~r5c7-2-r5c3-2-r6c1~3~r3c1 => r3c1=9.
*EDIT: Added alternative notation.
Last edited by
r.e.s. on Sun Oct 02, 2005 8:37 pm, edited 1 time in total.