ゼブラ・パズル
ゼブラ・パズルは広く知られた論理パズルである。1962年12月17日"Life International"にて発表されたものを含めさまざまなバージョンが存在している。1963年3月25日刊の"Life"では解法および世界中に数百人いた正答者の氏名が掲載された。
このパズルはしばしばアインシュタインのパズルやアインシュタインのなぞかけと呼ばれる。これはこのパズルが少年期のアルベルト・アインシュタインによって創案されたと言われているからである。また、ときにはルイス・キャロルによるものだとされることもある。しかしながらアインシュタインやキャロルの著作であるという証拠は知られているかぎり存在せず、加えて、"Life International"に掲載されたバージョンはなど、キャロルの存命中またはアインシュタインの少年期には存在していなかったタバコのブランドに言及している。
ゼブラ・パズルは制約充足問題を解くアルゴリズムに対するベンチマークとして用いられてきた。