斑馬謎題是一個著名的邏輯謎題,裡面有五棟房子,每棟漆成不同的顏色。 這些房子住著不同的居民,他們有不同的國籍,養不同的寵物,喝不同的飲料,抽不同品牌的菸。
為了幫助你解開這個謎題,你會拿到 15 則描述解答的敘述。 不過,唯有綜合所有敘述中的資訊,才能找出這個謎題的解答。
斑馬謎題是一個限制滿足問題(CSP)。 在這種問題中,你有一組可能的值,以及一組限制條件,用來限制哪些值有效。 另一個著名的 CSP 是數獨。
你的任務是解開斑馬謎題,找出這兩個問題的答案:
以下 15 個敘述已知全部為真:
此外,這五棟房子各自漆成不同的顏色,居民來自不同的國家、養不同的寵物、喝不同的飲料,也抽不同品牌的香菸。
可能的解答有 240 億種(5!⁵ = 24,883,200,000),所以試著盡量排除各種可能吧。