题目是：
1、 在一条街上，有5座房子，喷了5种颜色。
2、 每个房里住着不同国籍的人
3、
每个人喝不同的饮料，抽不同品牌的香烟，养不同的宠物
约束条件：
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>
char*COL[]={NULL,"红","黄","绿","蓝","白"};
char*PAD[]={NULL,"狗","猫","鱼","鸟","马"};
char*DRK[]={NULL,"茶 ","牛奶","咖啡","啤酒","水 "};
char*GUO[]={NULL,"挪威","英国","德国","丹麦","瑞典"};
char*SMK[]={NULL,"Blends","BlueMaster","Dunhill","Pall
Mall","Prince"};
struct{ char guojia, color, pads, drink, smoke; }
aa[5];
int OK(void)
{
int
i,j;
for(i=0;i<5;i++)
if(aa[i].guojia==2 && aa[i].color==1)goto
next1;
return
0;
next1:
for(i=0;i<5;i++)
if(aa[i].guojia==5 && aa[i].pads==1)goto
next2;
return
0;
next2:
for(i=0;i<5;i++)
if(aa[i].guojia==4 && aa[i].drink==1)goto
next3;
return
0;
next3:
for(i=0;i<5;i++)
if(aa[i].color==3)goto next3_1;
return
0;
next3_1:
for(j=i+1;j<5;j++)
if(aa[j].color==5)goto next4;
return
0;
next4:
for(i=0;i<5;i++)
if(aa[i].color==3 && aa[i].drink==3)goto
next5;
return
0;
next5:
for(i=0;i<5;i++)
if(aa[i].smoke==4 && aa[i].pads==4)goto
next6;
return
0;
next6:
for(i=0;i<5;i++)
if(aa[i].color==2 && aa[i].smoke==3)goto
next7;
return
0;
next7:
for(i=0;i<5;i++)
if(aa[i].guojia==3 && aa[i].smoke==5)goto
next10;
return
0;
next10:
for(i=0;i<5;i++)
if(aa[i].smoke==2 && aa[i].drink==4)goto
next11;
return
0;
next11:
for(i=0;i<5;i++)
if(aa[i].smoke==3)goto
next12_1;
next12_1:
if(i==0){if(aa[1].pads==5)goto
next13;}
else if(i==4){if(aa[3].pads==5)goto
next13;}
else
if(aa[i-1].pads==5||aa[i+1].pads==5)goto
next13;
return
0;
next13:
for(i=0;i<5;i++)
if(aa[i].smoke==1)goto
next13_1;
next13_1:
if(i==0){if(aa[1].pads==2)goto
next14;}
else if(i==4){if(aa[3].pads==2)goto
next14;}
else
if(aa[i-1].pads==2||aa[i+1].pads==2)goto
next14;
return
0;
next14:
for(i=0;i<5;i++)
if(aa[i].smoke==1)goto
next14_1;
next14_1:
if(i==0){if(aa[1].drink==5)goto
next15;}
else if(i==4){if(aa[3].drink==5)goto
next15;}
else
if(aa[i-1].drink==5||aa[i+1].drink==5)goto
next15;
return
0;
next15:
return 1;
}
char color[4]={1,2,3,5};
char drink[4]={1,3,4,5};
char
guojia[4]={2,3,4,5};
char smoke[]={1,2,3,4,5};
char
pads[5]={1,2,3,4,5};
int rot(char a[],int n)
{ int
i,j,k,t;
for(k=n-1;k>0;k--)
if(a[k-1]<a[k])break;
if(k==0)
{
for(i=0,j=n-1;i<j;i++,j--)
{char
t=a[i];
a[i]=a[j];
a[j]=t;
}
return
0;
}
t=a[k-1];i=k;
for(j=k+1;j<n;j++)
if(t<a[j]&&a[j]<a[i])i=j;
a[k-1]=a[i];a[i]=t;
for(i=k;i<n-1;i++)
for(j=k;j<n-1+k-i;j++)
if(a[j]>a[j+1])
{ t=a[j];
a[j]=a[j+1];
a[j+1]=t;
}
return
1;
}
int main()
{ int i,j,k,ans=0;
int
i1,i2,i3,i4,i5;
aa[1].color=4;
aa[2].drink=2;
aa[0].guojia=1;
for(i1=0;i1<24;i1++){
aa[0].color=color[0];
aa[2].color=color[1];
aa[3].color=color[2];
aa[4].color=color[3];
rot(color,4);
for(i2=0;i2<24;i2++){
aa[0].drink=drink[0];
aa[1].drink=drink[1];
aa[3].drink=drink[2];
aa[4].drink=drink[3];
rot(drink,4);
for(i3=0;i3<24;i3++){
aa[1].guojia=guojia[0];
aa[2].guojia=guojia[1];
aa[3].guojia=guojia[2];
aa[4].guojia=guojia[3];
rot(guojia,4);
for(i4=0;i4<120;i4++){
for(i=0;i<5;i++)
aa[i].smoke=smoke[i];
rot(smoke,5);
for(i5=0;i5<120;i5++){
for(j=0;j<5;j++)
aa[j].pads=pads[j];
rot(pads,5);
if(OK()){
printf("---------------------第%d种解---------------------\n",++ans);
for(k=0;k<5;k++)
printf("第%d户:
%s人 %s房子 养%s 喝%s
抽%s\n",k+1,GUO[aa[k].guojia],
COL[aa[k].color],PAD[aa[k].pads],DRK[aa[k].drink],SMK[aa[k].smoke]);
}}}}}}
return
0;
}
运行结果表明：总共有七组可能的解答，具体如下
---------------------第1种解---------------------
第1户:
挪威人 黄房子 养猫 喝水 抽Dunhill
第2户: 丹麦人 蓝房子 养马
喝茶 抽Blends
第3户: 英国人 红房子 养鸟 喝牛奶 抽Pall
Mall
第4户: 德国人 绿房子 养鱼 喝咖啡 抽Prince
第5户: 瑞典人 白房子 养狗
喝啤酒
抽BlueMaster
---------------------第2种解---------------------
第1户:
挪威人 绿房子 养鸟 喝咖啡 抽Pall Mall
第2户: 德国人 蓝房子 养猫 喝水
抽Prince
第3户: 英国人 红房子 养马 喝牛奶 抽Blends
第4户: 丹麦人 黄房子
养鱼 喝茶 抽Dunhill
第5户: 瑞典人 白房子 养狗 喝啤酒
抽BlueMaster
---------------------第3种解---------------------
第1户:
挪威人 绿房子 养鸟 喝咖啡 抽Pall Mall
第2户: 德国人 蓝房子 养鱼 喝水
抽Prince
第3户: 英国人 红房子 养马 喝牛奶 抽Blends
第4户: 丹麦人 黄房子
养猫 喝茶 抽Dunhill
第5户: 瑞典人 白房子 养狗 喝啤酒
抽BlueMaster
---------------------第4种解---------------------
第1户:
挪威人 绿房子 养鱼 喝咖啡 抽Blends
第2户: 德国人 蓝房子 养猫 喝水
抽Prince
第3户: 瑞典人 黄房子 养狗 喝牛奶 抽Dunhill
第4户: 英国人
红房子 养马 喝啤酒 抽BlueMaster
第5户: 丹麦人 白房子 养鸟 喝茶 抽Pall
Mall
---------------------第5种解---------------------
第1户:
挪威人 绿房子 养鸟 喝咖啡 抽Pall Mall
第2户: 德国人 蓝房子 养猫 喝水
抽Prince
第3户: 瑞典人 白房子 养狗 喝牛奶 抽Blends
第4户: 英国人 红房子
养马 喝啤酒 抽BlueMaster
第5户: 丹麦人 黄房子 养鱼 喝茶
抽Dunhill
---------------------第6种解---------------------
第1户:
挪威人 绿房子 养鸟 喝咖啡 抽Pall Mall
第2户: 德国人 蓝房子 养猫 喝水
抽Prince
第3户: 瑞典人 白房子 养狗 喝牛奶 抽Blends
第4户: 丹麦人 黄房子
养鱼 喝茶 抽Dunhill
第5户: 英国人 红房子 养马 喝啤酒
抽BlueMaster
---------------------第7种解---------------------
第1户:
挪威人 绿房子 养鸟 喝咖啡 抽Pall Mall
第2户: 德国人 蓝房子 养鱼 喝水
抽Prince
第3户: 瑞典人 白房子 养狗 喝牛奶 抽Blends
第4户: 丹麦人 黄房子
养猫 喝茶 抽Dunhill
第5户: 英国人 红房子 养马 喝啤酒
抽BlueMaster