About: ゼブラ・パズル

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