25.旅客国籍问题

题目：逻辑推理题

假设有五位来自不同国家的人，分别用A、B、C、D、E表示。他们分别住在不同的房子里，并且每个人都有不同的职业。现在有以下线索：

1. A不是美国人。
2. B不是英国人。
3. C不是法国人。
4. D不是德国人。
5. E不是意大利人。
6. 住在第一间房子的人不是美国人。
7. 住在第二间房子的人不是英国人。
8. 住在第三间房子的人不是法国人。
9. 住在第四间房子的人不是德国人。
10. 住在第五间房子的人不是意大利人。
11. 不是俄罗斯人的人住在第一间房子。
12. 住在第三间房子的人不是俄罗斯人。

根据以上线索，推断出每个人的国籍。

---

解答方法：

1. 首先，初始化一个条件矩阵`a[7][7]`，其中`a[i][j]`表示第`i`个人是第`j`个国家的人的可能性。初始化时，每个人都被假设为可能是每个国家的公民。
2. 根据题目给出的条件，更新条件矩阵，将不可能的情况标记为0。
3. 使用消元法逐步减少条件矩阵中的不确定性，直到每个国家只有一个人与之对应。
4. 最终输出每个人的国籍。

代码实现：

代码通过循环和条件判断，逐步更新条件矩阵，直到所有线索都被利用完毕，然后输出每个人的国籍。

#include <stdio.h>

int main()
{
    char *m[7]={" ","美国","英国","法国","德国","意大利","俄罗斯"};  /*国名*/
    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] )
                                {  /*统计每列中的非0元素个数*/
                                    x=j;  /*x变量保存行坐标*/
                                    y=i;  /*y变量保存列坐标*/
                                    e++;
                                }
                            if( e==1 )  /*若该列只有一个元素为非零，则进行消去操作*/
                            {
                                for(t=1; t<7; t++)
                                    if( t!=i )
                                        a[x][t]=0;  /*将非零元素所在的行的其它元素置0*/
                                        a[0][y]=0;  /*设置该列已处理完毕的标记*/
                            }
                        }
                }
    printf("矩阵最终状态为：\n");
    for(i=0; i<7; i++)  /*初始化条件矩阵*/
    {
        for(j=0; j<7; j++)  /*行为人，列为国家，元素的值表示某人是该国人*/
            printf("%d ", a[i][j]);
            printf("\n");
            }
    printf("\n");
    printf("推断结果为：\n");
    for(i=1; i<7; i++)  /*输出推理结果*/
    {
        printf("%c来自",'A'-1+i);
        for(j=1; j<7; j++)
            if( a[i][j] != 0 )
            {
                printf("%s。\n", m[a[i][j]]);
                break;
            }
    }
    return 0;
}