斑马谜题是一道著名的逻辑谜题:一共有五座房子,每座房子刷着不同的颜色。房子里住着不同的人,他们国籍不同,养的宠物不同,喝的饮料不同,抽的香烟品牌也不同。
为了帮你解开谜题,题目给出了 15 条陈述来描述答案。不过,只有把_所有_陈述里的信息结合起来,你才能找到谜题的答案。
斑马谜题是一个约束满足问题(CSP)。 在这类问题中,你有一组可能的值,以及一组限制哪些值有效的约束。 另一个著名的 CSP 是数独。
你的任务是解出斑马谜题,回答以下两个问题:
以下 15 条陈述都是已知为真的:
此外,这 5 栋房子分别涂成不同的颜色,住户的国籍、养的宠物、喝的饮料和抽的香烟品牌也都各不相同。
一共有 240 亿种可能的解法(5!⁵ = 24,883,200,000),所以试着尽量多排除一些吧。