————————正文————————
本篇证【Ti=A/Tii邻】
【前置技巧提要:UR,SK,网,+1网,袋鼠,JE,X致命,AK-1】
————【大纲】————
①分类K格有无B
②分类Bi格有无B
③分类T1有无B
④分类Qi格有无A
————【证明】————
由【AK-1】结论知,Bi=ABCD
①K格
如果K<>AB或者K=A,题目为标准JE,即得到标准T邻,满足结论要求
现讨论K=B

②Bi格
如果Bi=A
根据JE,则有T1T2=A,所以满足结论

现讨论Bi<>A
如果Bi=CD
则有标准JE,满足结论

现在讨论Bi=Ba(a=C/D,另一个CD=b)
③T1格
假如T1=B,则

满足结论,所以现在来讨论T1<>B
④Qi格

因为T1<>B,又因为根据SK+1网知伪SK区域最少2个B,所以Qi存在B区块,即Qi=B
(i)假设Qi格无A,即Qi=BCD=Bab,为避免BiQi形成 Ba-UR,所以Qi=b,所以Qi=Bb
又因为需要避免BiKiQi形成 BCD-UR,所以有个Ki=X(X≠BCD)+(BCD),所以SK+1网得到修正,如图

又因为SK+1修正网有2个A,所以有T1+C47=AA,所以T1=A
同时T1邻=a=T2,所以满足结论
(ii)现在讨论当Qi有A,即Qi=AB

有G89=ab,T2+C7=ab,所以7列无A,矛盾
综上,Ti=A或者Tii邻。
该【AK-2】结论可以直接使用
本篇证【Ti=A/Tii邻】
【前置技巧提要:UR,SK,网,+1网,袋鼠,JE,X致命,AK-1】
————【大纲】————
①分类K格有无B
②分类Bi格有无B
③分类T1有无B
④分类Qi格有无A
————【证明】————
由【AK-1】结论知,Bi=ABCD
①K格
如果K<>AB或者K=A,题目为标准JE,即得到标准T邻,满足结论要求
现讨论K=B

②Bi格
如果Bi=A
根据JE,则有T1T2=A,所以满足结论

现讨论Bi<>A
如果Bi=CD
则有标准JE,满足结论

现在讨论Bi=Ba(a=C/D,另一个CD=b)
③T1格
假如T1=B,则

满足结论,所以现在来讨论T1<>B
④Qi格

因为T1<>B,又因为根据SK+1网知伪SK区域最少2个B,所以Qi存在B区块,即Qi=B
(i)假设Qi格无A,即Qi=BCD=Bab,为避免BiQi形成 Ba-UR,所以Qi=b,所以Qi=Bb
又因为需要避免BiKiQi形成 BCD-UR,所以有个Ki=X(X≠BCD)+(BCD),所以SK+1网得到修正,如图

又因为SK+1修正网有2个A,所以有T1+C47=AA,所以T1=A
同时T1邻=a=T2,所以满足结论
(ii)现在讨论当Qi有A,即Qi=AB

有G89=ab,T2+C7=ab,所以7列无A,矛盾
综上,Ti=A或者Tii邻。
该【AK-2】结论可以直接使用