<p>嗨,我遇到了这个谜题,它是著名的基于单词和数字的谜题的一个子集,叫做<a href="http://en.wikipedia.org/wiki/Verbal_arithmetic" rel="nofollow noreferrer">Cryptarithms</a>。假设你有一个表达式</p>
<p>序列号D+M O R E=M O N Y</p>
<p>有趣的是,每个字母表代表一个0-9之间的唯一数字。我想写一个通用解算器,但最终我为它编写了一个强力的解决方案。有人认为我该怎么解决?在</p>
<p>我认为可以用谓词逻辑或集合论来解决这个问题。我对寻找基于C或Python的解决方案特别感兴趣。有人吗。?在</p>