叠甲：抛砖引玉，受限于本人代码水平与电脑配置，仅实际计算出5、6、7长的最优解。可以依照整体思路自行尝试更长等式。计算基于所有可能出现的等式都有均等可能被选中作为答案的前提假设，即先验熵为log2(n)，n为总可能答案数。进行一次猜测后，基于猜测给出的黑黄绿排布得到剩余可能答案数为c，对一个给定的猜测，对所有可能得正确答案求c，则后验熵的期望为sum(c/n*log2(c))。因此这个猜测提供的
