IBM Ponder This #211 · 2015 年 11 月

为纪念 IBM 当时发布的认知计算倡议（http://www.ibm.com/cognitive/outthink/），设计一个只使用 W、A、T、S、O、N 六种字母、由英文单词组成、结果为 WATSON 的 https://en.wikipedia.org/wiki/Verbal_arithmetic。

不同字母必须对应不同十进制数字，任何多位单词不能有前导零，并且整个算式恰好只有一组合法数字对应。

两个不合要求的例子：TATTOO-NOT=WATSON 无解；NOTSON+ONANTON=WATSON 虽只有一个数值解，但 ANTON 有前导零，因此无效。

解答

认真尝试后再打开

待补充。