毛边是毛刺的升级版。由于目前贴吧一发链接就被吞贴,关于毛刺请至本吧精华区查看。
多一个候选数的结构,我们把多出的候选数看做毛刺,分“真”、“假”两面讨论,寻找其共同结构;
如果同时存在两个不同的毛刺,又该如何呢?
按照穷举,应当要分四次讨论,才能完全覆盖所有情况。但是这样,工作量偏大,不是适合人脑的方法。
事实上,我们仍然只需两次讨论即可。
某结构上有AB两个毛刺,分两次如何讨论才能覆盖所有情况呢?
一次讨论AB同假,即按照“去毛刺的结构”往下推理;而另一次,则讨论二者“不同假”,即AB构成强链,A==B,把这个强链,放到其他的链里去推理。寻找两次讨论的共同结论,即最终结论。
这个思路,和毛刺是一样的,是毛刺的升级版。我们把上述的方法,叫做“毛边”,同时根据AB的真假情况,分出了“强毛边”和“弱毛边”两种。
多一个候选数的结构,我们把多出的候选数看做毛刺,分“真”、“假”两面讨论,寻找其共同结构;
如果同时存在两个不同的毛刺,又该如何呢?
按照穷举,应当要分四次讨论,才能完全覆盖所有情况。但是这样,工作量偏大,不是适合人脑的方法。
事实上,我们仍然只需两次讨论即可。
某结构上有AB两个毛刺,分两次如何讨论才能覆盖所有情况呢?
一次讨论AB同假,即按照“去毛刺的结构”往下推理;而另一次,则讨论二者“不同假”,即AB构成强链,A==B,把这个强链,放到其他的链里去推理。寻找两次讨论的共同结论,即最终结论。
这个思路,和毛刺是一样的,是毛刺的升级版。我们把上述的方法,叫做“毛边”,同时根据AB的真假情况,分出了“强毛边”和“弱毛边”两种。