题目：
三对情侣参加婚礼，3个新郎为A，B，C，3个新娘为X，Y，Z。有人不知道谁和谁结婚，于是询问了6位新人中的三位，但听到的回答是这样的：A说他将和X结婚；X说她的未婚夫是C；C说他将和Z结婚。这人听后知道他们在开玩笑，全是假话。请编程序找出谁将和谁结婚。

希望大家说说解算法的注意事项，或者给点思路和提示吧！谢谢了

b--x
c--y
a--z

#include <stdio.h>
void main()
{int x,y,z;
for(x=1;x<=3;x++)        /*穷举x的全部可能配偶*/  
for(y=1;y<=3;y++)       /*穷举y的全部可能配偶*/  
 for(z=1;z<=3;z++)      /*穷举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); }  
}
我也不太懂，百度上找的，自己看看吧

答案是对的，但是对你的穷举法不了解！

回复大家:
呀呀呀，不明白

有意思！

我觉得可以用3个指针*a,*b,*c和3个x,y,z来做，指针对变量，最后给定条件，确定就是了。

你可以列举一下：

根据题意他们都是说的假话  那么  A必定不能和X结婚  那么假设A和Y  再根据题目 那X的未婚夫就是B   C的新娘就是Z  与题意矛盾

                                                      假设A和Z  那么根据题目  假设X的未婚夫B  C的新娘就是Y  满足题意

这个是一个离散数学里面的关系问题
原理是
设集合M={A,B,C},集合N={X,Y,Z}
M X N读作M叉N  表示的是一个有序偶,也叫笛卡尔积
{（A,X）,(A,Y),(A,Z),(B,X),(B,Y)，（B,Z）,(C,X),(C,Y),(C,Z)}
这样一个集合S
R1 是S具有下面的一种关系的集合
A不和X结婚
他表示的集合就是
{A,Y),(A,Z),(B,X),(B,Y)，（B,Z）,(C,X),(C,Y),(C,Z)}
R2的关系
C不和X结婚
{（A,X）,(A,Y),(A,Z),(B,X),(B,Y)，（B,Z）,(C,Y),(C,Z)}
R3的关系
C不和Z结婚
{（A,X）,(A,Y),(A,Z),(B,X),(B,Y)，（B,Z）,(C,X),(C,Y)}

由于ABC 只能和一个人结婚  要同时满足3中关系的存在，用数学的表述方法就是
求集合 R1 R2 R3的交集

上面的程序 用1 2 3代表的是 X Y Z  上面的条件表示的就是 这个交集的元素应该满足的关系 ，采用的是条件判定的方法

还有一种实现方法是用数组 a[3] b[3]
a[3]={x,y,z}
b[3] 的下脚标代表 A B C
关系R1 的话  因为 X不和A结婚，所以将X 填入b[2],b[3]中
依此类推的 填入数组b[3]
最后输出 数组中的元素就是 要的答案


前者是计算机对集合的交集的表示方法 用&&的关系表示 法 实现的，这个是最好的算法

我给出的算法 是对 数学解答的一种模拟方法给出的，效率是比不上前者

如果看上面对程序的想法 仍然是不能理解的话，建议阁下 拿起离散数学书 读第一章节的内容  集合 逻辑 关系


另外 感谢3楼的同志 让我有了从计算机的角度重新审视离散数学的灵感。
 必须提出的是  楼主 你的头像 好恶心

感谢归感谢，如此通透的讲解 ，分还是必须全部的给我的

看来你是看懂了