ゼブラパズルは、5軒の家が出てくる有名な論理パズルです。それぞれの家は違う色で塗られています。 家にはそれぞれ違う住人が住んでいて、国籍も、飼っているペットも、飲み物も、吸っているタバコの銘柄も違います。
パズルを解くために、答えを説明する15の文が与えられます。 ただし、_すべて_の文の情報を組み合わせてはじめて、パズルの答えを見つけることができます。
ゼブラパズルは制約充足問題(CSP)です。 このような問題では、取りうる値の集合と、どの値が有効かを制限する制約の集合があります。 よく知られた制約充足問題には、数独もあります。
この課題では、シマウマパズルを解いて、次の2つの質問の答えを見つけます。
次の15の記述は、すべて正しいことがわかっています。
さらに、5軒の家はそれぞれ異なる色で塗られており、住人はそれぞれ異なる出身国で、異なるペットを飼い、異なる飲み物を飲み、異なるブランドのタバコを吸っています。
解は240億通り(5!⁵ = 24,883,200,000)あります。ですから、できるだけ多くの解を除外してみましょう。