这是爱因斯坦在20世纪初提的谜题

最新推荐文章于 2025-07-17 21:18:44 发布

清风侠客

最新推荐文章于 2025-07-17 21:18:44 发布

阅读量1k

点赞数

CC 4.0 BY-SA版权

本文链接：https://blog.youkuaiyun.com/yan_xing_an/article/details/36238263

本文通过编程方式解决了一个经典的逻辑谜题——爱因斯坦的谁养鱼问题。利用C语言，通过枚举和条件判断找出唯一解。该程序定义了五种颜色、国籍、饮料等变量，并使用自定义宏进行条件验证。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

大学时代写的程序，现在看起来真丑啊

这是爱因斯坦在20世纪初提的谜题。在一条街上，有5座房子，喷5种颜色。
每个房子住不同国籍的人，每个人喝不同的饮料，抽不同品牌的香烟，养不同的宠物。
请问谁养鱼？
1、英国人住红房子。
2、瑞典人养狗。
3、丹麦人喝茶。
4、绿色房子在白色房子左面隔壁。
5、绿色房子主人喝咖啡。
6、抽Pall Mall香烟的人养鸟。
7、黄色房子主人抽Dunhill香烟。
8、住在中间房子的人喝牛奶。
9、挪威人住在第一间房子。
10、抽Blends香烟的人住在养猫的人的隔壁。
11、养马的人住抽Dunhill香烟的人的隔壁。
12、抽Blue Master香烟的人喝啤酒。
13、德国人抽Prince香烟。
14、挪威人住在蓝色房子隔壁。
15、抽Blends香烟的人有个喝水的邻居。
*/

#include <stdio.h>
#include <stdlib.h>

enum
{
   red,
   green,
   yellow,
   blue,
   white
};

char Color_str[5][20]=
{
   "red",
   "green",
   "yellow",
   "blue",
   "white"
};
enum
{
   english = 0,
   ruidian,
   danmai,
   nuowei,
   deguo
};
char Country_str[5][20]=
{
   "english",
   "ruidian",
   "danmai",
   "nuowei",
   "deguo",
};
enum
{
   pall_mall,
   dunhill,
   blends,
   blue_master,
   prince
};
char Cigarette_str[5][20] =
{
   "pall_mall",
   "dunhill",
   "blends",
   "blue_master",
   "prince",
};
enum
{
   dog=0,
   bird,
   cat,
   horse,
   fish
};
char Pets_str[5][20] =
{
    "dog",
   "bird",
   "cat",
   "horse",
   "fish",
};
enum
{
   tea,
   coffee,
   milk,
   beer,
   water
};
char Drink_str[5][20] =
{
   "tea",
   "coffee",
   "milk",
   "beer",
   "water",
};

char Color[120][5];
char Country[120][5];
char Pets[120][5];
char Cigarette[120][5];
char Drink[120][5];

#define Copy(X,Y) \
   (X)[Y][0] = i1;\
   (X)[Y][1] = i2;\
   (X)[Y][2] = i3;\
   (X)[Y][3] = i4;\
   (X)[Y][4] = i5;

#define Loop(V,Min,Max)   \
   for(int V=(Min);V<(Max);V++)
#define NEQ2(a,b)   \
   if(a == b)continue
#define NEQ3(a,b,c)   \
   if(a == b || a == c ) continue
#define NEQ4(a,b,c,d)   \
   if(a == b || a == c || a == d)continue
#define NEQ5(a,b,c,d,e)   \
   if(a == b || a == c || a == d || a == e)continue

#define CHECK(clr,cty,cig,pet,drk)   \
/*1、英国人住红房子。*/   \
Country[(cty)][english] == Color[(clr)][red] &&       \
/*2、瑞典人养狗。*/   \
Country[(cty)][ruidian] == Pets[(pet)][dog] &&       \
/*3、丹麦人喝茶。*/   \
Country[(cty)][danmai] == Drink[(drk)][tea] &&       \
/*4、绿色房子在白色房子左面隔壁。*/   \
Color[(clr)][green] == Color[(clr)][white] - 1 &&       \
/*5、绿色房子主人喝咖啡。*/   \
Color[(clr)][green] == Drink[(drk)][coffee] &&       \
/*6、抽Pall Mall香烟的人养鸟。*/   \
Cigarette[(cig)][pall_mall] == Pets[(pet)][bird] &&       \
/*7、黄色房子主人抽Dunhill香烟。*/   \
Color[(clr)][yellow] == Cigarette[(cig)][dunhill] &&   \
/*8、住在中间房子的人喝牛奶。*/   \
Drink[(drk)][milk] == 2   &&           \
/*9、挪威人住在第一间房子。*/   \
Country[(cty)][nuowei] == 0 &&       \
/*10、抽Blends香烟的人住在养猫的人的隔壁。*/   \
(Cigarette[(cig)][blends] == Pets[(pet)][cat] - 1 ||       \
Cigarette[(cig)][blends] == Pets[(pet)][cat] + 1 )&&       \
/*11、养马的人住抽Dunhill香烟的人的隔壁。*/   \
(Pets[(pet)][horse] == Cigarette[(cig)][dunhill] - 1 ||   \
Pets[(pet)][horse] == Cigarette[(cig)][dunhill] + 1) &&   \
/*12、抽Blue Master香烟的人喝啤酒。*/   \
Cigarette[(cig)][blue_master] == Drink[(drk)][beer] &&   \
/*13、德国人抽Prince香烟。*/   \
Country[(cty)][deguo] == Cigarette[(cig)][prince] &&   \
/*14、挪威人住在蓝色房子隔壁。*/   \
(Country[(cty)][nuowei] == Color[(clr)][blue] - 1 ||       \
Country[(cty)][nuowei] == Color[(clr)][blue] + 1 )&&       \
/*15、抽Blends香烟的人有个喝水的邻居。*/   \
(Cigarette[(cig)][blends] == Drink[(drk)][water] - 1 ||   \
Cigarette[(cig)][blends] == Drink[(drk)][water] + 1 )

void init()
{
   int i = 0;
   Loop(i1,0,5)
   Loop(i2,0,5)
   {
       NEQ2(i2,i1);
       Loop(i3,0,5)
       {
           NEQ3(i3,i1,i2);
           Loop(i4,0,5)
           {
               NEQ4(i4,i1,i2,i3);
               Loop(i5,0,5)
               {
                   NEQ5(i5,i1,i2,i3,i4);
                   if(i>=120)
                   {
                       printf("init failed!\n");
                       printf("%d,%d,%d,%d,%d\n",i1,i2,i3,i4,i5);
                       exit(0);
                   }
                   Copy(Color,i);
                   Copy(Country,i);
                   Copy(Pets,i);
                   Copy(Cigarette,i);
                   Copy(Drink,i);
                   i++;
               }
           }
       }
   }
}

void test_init()
{
   Loop(i,0,120)
   {
       printf("%d : ",i);
       Loop(j,0,5)
       {
           printf("%3d ",Color[i][j]);
       }
       printf("\n");
   }
}
#define _TT(X,Y,V) \
(X)[(Y)][0] == (V) ? X ## _str[0] \
: (X)[(Y)][1] == (V) ? X ## _str[1] \
: (X)[(Y)][2] == (V) ? X ## _str[2] \
: (X)[(Y)][3] == (V) ? X ## _str[3] \
: (X)[(Y)][4] == (V) ? X ## _str[4] \
: ""

void print_result(int clr,int cty, int cig,int pet,int drk)
{
   printf ("----------------- result -----------------\n");
   printf ("house   %7s %7s %11s %7s %7s\n",
                       "color",       "country",           "cigarette",       "pet",           "drink");
   printf ("1   :   %7s %7s %11s %7s %7s\n",
                       _TT(Color,clr,0), _TT(Country,cty,0),_TT(Cigarette,cig,0),_TT(Pets,pet,0),_TT(Drink,drk,0));
   printf ("2   :   %7s %7s %11s %7s %7s\n",
                       _TT(Color,clr,1), _TT(Country,cty,1),_TT(Cigarette,cig,1),_TT(Pets,pet,1),_TT(Drink,drk,1));
   printf ("3   :   %7s %7s %11s %7s %7s\n",
                       _TT(Color,clr,2), _TT(Country,cty,2),_TT(Cigarette,cig,2),_TT(Pets,pet,2),_TT(Drink,drk,2));
   printf ("4   :   %7s %7s %11s %7s %7s\n",
                       _TT(Color,clr,3), _TT(Country,cty,3),_TT(Cigarette,cig,3),_TT(Pets,pet,3),_TT(Drink,drk,3));
   printf ("5   :   %7s %7s %11s %7s %7s\n",
                       _TT(Color,clr,4), _TT(Country,cty,4),_TT(Cigarette,cig,4),_TT(Pets,pet,4),_TT(Drink,drk,4));

}

void main()
{
   init();
//   test_init();
//   return;
   printf("init success\n");
   Loop(clr,0,120)
   Loop(cty,0,120)
   Loop(cig,0,120)
   Loop(pet,0,120)
   Loop(drk,0,120)
   if(CHECK(clr,cty,cig,pet,drk))
   {
       printf("\n");
       print_result(clr,cty,cig,pet,drk);
       printf("\n");
   }
}