仅需要三个剪枝就能把 O（26！）的复杂度过掉，确实令人惊讶,所以除非数据加强，不然应该降绿，并备注数据的强度，以免过度思考

从算式的低位到高位计算，不是说这样多优越，是反向太容易较晚引发矛盾，从而产生不必要的搜索

每次检查算式三个字符串都被赋值的位是不是成立，矛盾就剪枝

每次判断首位有没有进位（这个可能是最难想的，但是并没有用到复杂算法和高级的数学知识）