1．问题描述
有三对情侣结婚，假设三个新郎为A、B、C，三个新娘为X、Y、
Z。有参加婚礼的人搞不清谁和谁结婚，所以去询问了这六位新人中的
三位，得到的回答为：新郎A说他要和新娘X结婚；新娘X说她的未婚
夫是新郎C；而新郎C说他要和新娘Z结婚。听到这样的回答后，提问
者知道他们都是在开玩笑，说的都是假话，但他仍搞不清谁和谁结
婚。现在请编程求出到底哪位新郎和哪位新娘结婚。
2．问题分析
根据问题描述，提问者得到的回答都是假话，因此新郎A的新娘不
是X，X的新郎不是C，C的新娘不是Z。
显然，一个新郎只能和一个新娘结婚，他们之间是一对一的关
系。
3．算法设计
该问题我们可以采用穷举法来解决。
设三个变量x、y和z分别表示与新娘X结婚的新郎、与新娘Y结婚
的新郎和与新娘Z结婚的新郎，它们可能取值的集合是{'A','B','C'}。定
义一个groom列表来存放三个新郎，如下：
groom = ['A','B','C']
其中，groom[0]中存放A，groom[1]中存放B，groom[2]中存放C。
根据问题分析中获得的结论，可以得出判断依据如下：
·x!='A'——新郎A的新娘不是X。
·x!='C'——与新娘X结婚的新郎不是C。
·z!='C'——C的新娘不是Z。
·x!=y——与新娘X结婚的新郎不会与新娘Y结婚。
·x!=z——与新娘X结婚的新郎不会与新娘Z结婚。
·y!=z——与新娘Y结婚的新郎不会与新娘Z结婚。
将上面的判断依据组合起来，找到变量x、y和z所满足的条件，用
Python表示如下：
x != groom[0] and x != groom[2] and z != groom[2] and x != y and x != z and y != z
找到上面的条件以后，我们就可以在程序中使用三重循环来穷举
x、y和z的所有取值，找出满足上述条件的x值、y值和z值，这样便能
解决到底哪位新郎和哪位新娘结婚的问题。
4．确定程序框架
程序的流程图如图6.3所示。

 5．完整的程序
根据上面的分析，编写程序如下：

#!/usr/bin/python3
# -*- coding: ?TF-8 -*-
#author: liuhefei
#desc: 新郎和新娘
if __name__ == "__main__":
#三个新郎为A、B、C，三个新娘为X、Y、Z
groom = ['A', 'B', 'C'] #定义新郎列表
#穷举所有可能情况
for x in groom:
for y in groom:
for z in groom:
# 新郎A的新娘不是X，那就只能是Y和Z；
# X的新郎不是C，那就只能是A和B；
# C的新娘不是Z，那就只能是X和Y；
# 由此推测出：新郎C的新娘是Y，那么新郎A的新娘是Z，进一步推断新郎B
的新娘是X
if x != groom[0] and x != groom[2] and z != groom[2] and x !=
y and x != z and y != z:
print("结果为：")
print("新娘X与新郎" + x + "结婚\n");
print("新娘Y与新郎" + y + "结婚\n");
print("新娘Z与新郎" + z + "结婚\n");

6．运行结果
在PyCharm下运行程序，结果如图6.4所示。由图6.4可见，新娘X
与新郎B结婚，新娘Y与新郎C结婚，新娘Z与新郎A结婚。