趣味算法二例（2）

 逻辑推理能力是在智力测验和智力游戏中取胜的要害，它要求人们利用已知条件，通
过分析与判定，得出正确的答案。计算机解决这类问题有明显的优势，因为它具备大的存储
能力，能够穷举所有可能的情形。请看下题：
-----------------------------------------------------------------------------
婚礼上的谎言
    三对情侣参加婚礼，三个新郎为A，B，C，三个新娘为X，Y，Z，有人想知道究竟谁和
谁结婚，于是就问新人中的三位，得到如下的提示：A说他将和X结婚；X说她的未婚夫是
C；C说他将和Z结婚。这人事后知道他们在开玩笑，说的全是假话，那么究竟谁与谁结婚呢？
    我们将A，B，C用数字1，2，3表示，用“X=1”表示新娘X和新郎A结婚，假如新娘X不
和新郎A结婚，那么写成X！=1。用这种方法，根据新人的叙述得到如下的表达式：
X！=1 A不与X结婚
X！=3 C不与X结婚
Z！=3 C不与Z结婚
题H还隐含着的一个条件是：三个新娘不能互为配偶，则有：
X！=Y且X！=Z且Y！=Z
穷举所有可能的情形，代入上述表达式进行推理运算。假如假设的情况使上述表达式的结
果为真，假设的情况就是正确的结果。

代码如下：
#include<stdio.h>
main()
{
    int x,y,z;
    for(x=1;y<=3;x++)
        for(y=1;y<=3;y++)
            for(z=1;z<=3;z++)
                if(x!=1&&x!=3&&z!=3&&x!=y&&x!=z&&y!=z)
                {   printf("X will marry to %c.\n",''A''+x-1);
                    printf("Y will marry to %c.\n",''A''+y-1);
                    printf("Z will marry to %c.\n",''A''+z-1);
                }
}

运行结果：
X will marry to B
Y will marry to C
Z will marry to A

---------------------------------------------------------------------------

黑与白
有A，B，C，D，E五个人，每人额头上都贴了一张或黑或白的纸条。五人对坐，每
人都可以看到其它人额头上纸条的颜色，但不知道自己额头上纸条的颜色，五人
相互观察后----
A说：“我看见三个人额头上贴白纸条，一人贴黑纸条”
B说：“我看见四人额头上都贴黑纸条。“
C说：“我看见三个人额头上贴黑纸条，一人贴白纸条。”
D说：“我看见四人头上都贴白纸条。”
E什么也没有说。
已经知道额头贴黑纸条的人说的是假话，额头贴白纸条的人说的是真话。问究竟
谁的额头贴白纸条，谁的额头贴黑纸条？
    我们用a,b,c,d,e表示每个人额头上所贴纸条的颜色，0代表黑色，1代表白色。
由于暂时无法判定究竟谁说的是真话，因此每个人的话都有对错二种可能。以A说
的话为例：假设A贴的是白纸条，寻么A说实话，有：
a&&b+c+d+e==3
假如A贴的是黑纸条，那么A说假话，有：
!a&&b+c+d+e!=3
因此根据A的回答，可以得到如下结论：
a&&b+c+d+e==3||!a&&b+c+d+e!=3
同样由b,c,d的回答，有如下结论：
b&&a+c+d+e==0||!b&&a+c+d+e!=0
c&&a+b+d+e==1||!c&&a+b+d+e!=1
d&&a+b+c+e==4||!d&&a+b+c+e!=4
与上例一样，让计算机穷举所有可能的情形，代入上述表达式进行推理运算，假如
满足上述表达式为真，说明找到了正确答案。

代码如下：
main()
{
    int a,b,c,d,e;
    for(a=0;a<=1;a++)
        for(b=0;b<=1;b++)
            for(c=0;c<=1;c++)
                for(d=0;d<=1;d++)
                    if(a&&b+c+d+e==3||!a&&b+c+d+e!=3)
                       &&(b&&a+c+d+e==0||!b&&a+c+d+e!=0)
                       &&(c&&a+b+d+e==1||!c&&a+b+d+e!=1)
                       &&(d&&a+b+c+e==4||!d&&a+b+c+e!=4))
                    {   printf("A is pasted %s.\n",a?"white":"black");
                        printf("B is pasted %s.\n",b?"white":"black");
                        printf("C is pasted %s.\n",c?"white":"black");
                        printf("D is pasted %s.\n",d?"white":"black");
                        printf("E is pasted %s.\n",e?"white":"black");
                    }
}
  
运行结果：
A is pasted Black               
B is pasted Black
C is pasted White
D is pasted Black
E is pasted White