每日归档： 2017年11月14日

简化后的算法在之前的4个形式背景中都已经根据概念格进行了验证，完全符合。关于复制生长的规则，打算类似与曹海兰学姐论文中约束条件那种写法，先提出来，在算法之前给予说明和证明，有关条件部分给出来数学表达，不过我觉得还是有点复杂，还有待证明 ...