这类问题的名称是什么？

Question

我以前看过维基百科的网页，但现在找不到了。问题是：

• 玛丽住在简旁边
• 罗伯有一扇绿色的门
• 迈克喜欢狗
• 杰夫喜欢猫，不能住在迈克旁边
• 史蒂夫住在罗伯和简对面

谁住在杰夫隔壁？

这是一个非常古老的谜题(我认为第一次世界大战)发表在一份报纸上，可能与骆驼香烟的广告有关。

Wiki页面讨论了使用不同软件语言的各种解决方案，因为一些语言系列更适合这些类型的解决方案。

Answer 1

这是一个约束满足问题。这个问题也是斑马的难题。一种逻辑难题。

您可以在罗塞塔码中找到多种语言的解决方案。

这个答案的其余部分描述了我是如何发现的。

这个问题让我想起了TED视频中的一个“谜语”。我在TED-Ed频道上找到了一个名叫“泰德-埃德视频”的名叫"爱因斯坦之谜“的”盗贼“。

在维基百科上寻找“爱因斯坦的谜语”，让我看到了斑马难题的文章。文章说：

这个谜题通常被称为爱因斯坦的谜语或爱因斯坦的谜语，因为据说它是爱因斯坦小时候发明的，有时也被认为是刘易斯·卡罗尔发明的。然而，目前还没有证据证明爱因斯坦或卡罗尔的作者身份，“生活国际版”中提到的香烟品牌，如古斯，在卡罗尔有生之年和爱因斯坦的童年时期都不存在。

尽管在本文中没有代码示例。

有一些有趣的链接，其中有几篇关于约束规划的文章：

• 捕获对比编程经验:一种基于案例的方法
• 约束满足问题的混合算法

我给你的名字是“约束满意问题”，它来自于最后一篇论文。“斑马之谜”这个名字和它是一个“逻辑难题”的事实来自维基百科。

我还在维基百科的文章中找到了Rosetta代码链接。

Answer 2

认为这可能是约束编程

https://en.m.wikipedia.org/wiki/Constraint_编程