区分旅客国籍

在一个旅馆中住着六个不同国籍的人，他们分别来自美国、德国、英国、法国、俄罗斯和意大利。他们的名字叫A、B、C、D、E和F。名字的顺序与上面的国籍不一定是相互对应的。现在已知：
1)A美国人是医生。
2)E和俄罗斯人是技师。
3)C和德国人是技师。
4)B和F曾经当过兵，而德国人从未参过军。
5)法国人比A年龄大；意大利人比C年龄大。
6)B同美国人下周要去西安旅行，而C同法国人下周要去杭州度假。
试问由上述已知条件，A、B、C、D、E和F各是哪国人？

*问题分析与算法设计
首先进行题目分析，尽可能利用已知条件，确定谁不是哪国人。
由：1) 2) 3)可知：A不是美国人，E不是俄罗斯人，C不是德国人。另外因为A与德国人的职业不同，E与美、德人的职业不同，C与美、俄人的职业不同，故A不是俄罗斯人或德国人，E不是美国人或德国人，C不是美国人或俄罗斯人。
由4)和5)可知B和F不是德国人，A不是法国人，C不是意大利人。
由6)可知B不是美国人，也不是法国人(因B与法国人下周的旅行地点不同)；C不是法国人。
将以上结果汇总可以得到下列条件矩阵：
. 美(医生) 英 法 德(技师) 意大利 俄(教师)
A(医生) X . X X . X
B X . X X . .
C(技师) X . X X X X
D . . . . . .
E(教师) X . . X . X
F . . . X . .


根据此表使用消元法进行求解，可以方便地得到问题的答案。
将条件矩阵输入计算机，用程序实现消去算法是很容易的。

*程序说明与注释
#include<stdio.h>
char *m[7]={" ","U.S","U.K","FRANCE","GER","ITALI","EUSSIAN"}; /*国名*/
int main()
{
int a[7][7],i,j,t,e,x,y;
for(i=0;i<7;i++) /*初始化条件矩阵*/
for(j=0;j<7;j++) /*行为人，列为国家，元素的值表示某人是该国人*/
a[i][j]=j;
for(i=1;i<7;i++) /*条件矩阵每一列的第0号元素作为该列数据处理的标记*/
a[0][i]=1; /*标记该列尚未处理*/
a[1][1]=a[2][1]=a[3][1]=a[5][1]=0; /*输入条件矩阵中的各种条件*/
a[1][3]=a[2][3]=a[3][3]=0; /*0表示不是该国的人*/
a[1][4]=a[2][4]=a[3][4]=a[5][4]=a[6][4]=0;
a[3][5]=0;
a[1][6]=a[3][6]=a[5][6]=0;
while(a[0][1]+a[0][2]+a[0][3]+a[0][4]+a[0][5]+a[0][6]>0)
{ /*当所有六列均处理完毕后退出循环*/
for(i=1;i<7;i++) /*i:列坐标*/
if(a[0][i]) /*若该列尚未处理，则进行处理*/
{
for(e=0,j=1;j<7;j++) /*j:行坐标 e:该列中非0元素计数器*/
if(a[j][i]) { x=j;y=i;e++;}
if(e==1) /*若该列只有一个元素为非零，则进行消去操作*/
{
for(t=1;t<7;t++)
if(t!=i)a[x][t]=0; /*将非零元素所在的行的其它元素置0*/
a[0][y]=0; /*设置该列已处理完毕的标记*/
}
}
}
for(i=1;i<7;i++) /*输出推理结果*/
{
printf("%c is coming from ",'A'-1+i);
for(j=1;j<7;j++)
if(a[i][j]!=0)
{ printf("%s.\n",m[a[i][j>); break;}
}
}

*运行结果
A is coming from ITALY. (意大利人)
B is coming from EUSSIAN. (俄罗斯人)
C is coming from U.K.. (英国人)
D is coming from GER. (德国人)
E is coming from FRANCE. (法国人)
F is coming from U.S.. (美国人)

*问题的进一步讨论
生成条件矩阵然后使用消去法进行推理判断是一种常用的方法。对于解决较为复杂的逻辑问题是十分有效的。

*思考题
地理课上老师给出一张没有说明省份的中国地图，从中选出五个省从1到5编号，要大家写出省份的名称。交卷后五位同学每人只答了二个省份的名称如下，且每人只答对了一个省，问正确答案是什么？
A 答：2号陕西，5号甘肃 B 答：2号湖北，4号山东
C 答：1号山东，5号吉林 D 答：3号湖北，4号吉林
E 答：2号甘肃，3号陕西