Cryptarithm 求解器：字母算式逐步解答

如何输入题目

先选择加法、减法或乘法，再每行填一个单词，横线下面填结果。每个字母代表一个数字，不同字母代表不同数字，多位数的首位不能是 0。

加法最多可以有 10 个单词，例如 STORK + KOI + BOAS + TROUT + TOADS + RATS = BIRDS。减法和乘法只能有两个单词。一道题最多使用 10 个不同字母。

推理是怎么进行的

加法从右往左逐列分析：每列的数字加上从右边进来的进位，等于结果在这一列的数字加上 10 倍的向左进位。减法 A − B = C 会按加法 B + C = A 来检验。

乘法中，积的末几位只取决于两个因数的末几位；首位数字则限制了积的大小。

当没有哪一列能直接得出结论时，求解器会先假设一个取值，并展示它导致的矛盾；如果仍不够，就逐一检查剩下的情况。

多解或无解

如果有不止一种分配成立，求解器会列出这些答案，而不是给出单一的推理链；如果无解，会指出矛盾出现在哪里。

题目在你的浏览器中求解，输入内容不会发送到我们的服务器。