解决密码的有效方法

Ani*_*oel 5 c# python solver cryptarithmetic-puzzle

嗨,我遇到了这个拼图,这是一个名为Cryptarithms的着名的单词和基于数字的谜题的子集.假设你有一个表达式

发送+更多=金钱

现在有趣的部分是,每个字母表代表0-9的唯一数字.我想编写一个广义求解器,但最后我写了一个粗暴的强制解决方案.任何接受者如何解决它?

我认为可以使用谓词逻辑或集合论来解决.我特别感兴趣的是找到基于C#或Python的解决方案.任何人.?

Jos*_*sip 7

今年的PyCon Raymond Hettinger谈到了Python中的AI编程,并介绍了Cryptarithms.

这里可以看到整个演讲的视频,可以在此链接上找到带解决方案的食谱.