数毒吧 关注:330贴子:2,199
  • 11回复贴,共1

【直观第五弹】——【JE衰弱系列之AK-2篇】

只看楼主收藏回复


本篇是在【AK-1】的基础上,多加了一个T邻格,其余的盘面信息均与【AK-1】保持一直。


IP属地:浙江1楼2019-12-09 14:33回复
    ————————正文————————
    本篇证【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】结论可以直接使用


    IP属地:浙江2楼2019-12-09 14:39
    收起回复
      ——————————总结——————————
      本题的使用条件完全等同于【AK-1】条件
      之所以说这是个直观技巧,是因为
      以T2=A或者T1邻为例,假如数组ABCD中与T1邻直接相关的数为(ABCD),那么我们就可以直接得出T1邻≠(ABCD),即T1邻={ABCD-(ABCD)},
      所以有T2={A}U{ABCD-(ABCD)},如

      可直观知蓝格<>6,所以可以直观得到D9<>6
      另外,在拥有T邻格的情况下,有种盘面是不可能出现的,与ABCD的具体排列有关,我会在系列篇的【AK-3】里介绍。
      PS:感谢 陌上de花开放 帮忙验题。本帖最终解释权归本人所有!


      IP属地:浙江3楼2019-12-09 14:40
      回复