匹配问题解决

最近碰到两个比较奇怪的C语言问题。

11．两个乒乓球队进行比赛，各出三人。甲队为a,b,c三人，乙队为x,y,z三人。已抽签决定比赛名单。有人向队员打听比赛的名单。a说他不和x比，c说他不和x,z比，请编程序找出三队赛手的名单。

#include <stdio.h>
char jia[4]="abc";
char yi[4]="xyz";
char book_jia[3];//用来标记甲组的成员时否已经匹配
char book_yi[3];//用来标记乙组的成员时否已经匹配
void match(int jia_num,char *yi,char not_1,char not_2)
//jia_num表示的是甲组的成员编号，yi表示数组乙组，not_1表示jia_num不匹配的人，not_2表示不匹配的第二个人
{
    int i=0;
    int count=0;
    int t=0;
    for(i=0;i<3;i++)//先对b进行扫描，看看事否可以确定
    {
        if (book_yi[i]==0&&yi[i]!=not_1&&yi[i]!=not_2)//满足关系表示的有可能匹配
        {
            t=i;
            count++;
        }
    }
    if (count==1)//只有一个满足条件才能绝对匹配
    {
        book_jia[jia_num]=1;//对甲组的成员进行标记
        book_yi[t]=1;//对乙组成员进行标记表示可以匹配
        printf("%c---%c\n",jia[jia_num],yi[t]);
    }
   
    
}
int main(int argc, const char * argv[])
{
    while (!((book_jia[0]==1)&&(book_jia[1]==1)&&(book_jia[2]==1)))
    {
        
        match(0,yi,'x','x');
        match(1,yi,' ',' ');
        match(2,yi,'x','z');
        
    }
    return 0;
}

40.公安人员审问四名窃贼嫌疑犯。已知，这四人当中仅有一名是窃贼，还知道这四人中每人要么是诚实的，要么总是说谎的。在回答公安人员的问题中：甲说“乙没有偷，是丁偷的”， 乙说“我没有偷，是丙偷的”，丙说“甲没有偷，是乙偷的”，丁说“我没有偷”。请根据这四人的答话判断谁是盗窃者。

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int book[4];//1表示否，2表示的是，0表示未知。book[4]没有任何意义，主要存储嫌疑犯表述的未知情况
 自己没用检验他们之间的矛盾，导致自己想了好长时间还说没有得到正确结果
int match(int m,int not,int is,int t_f)
{
    if (t_f==0)//说话为假的
    {
        if (is>=0&&is<=3)
        {
            if (book[is]==0)
            {
                //还没有人提到关于is这个人的信息
                book[is]=1;//这个人不是嫌疑犯
            }
            else if(book[is]==2)//如果is这个人之前被认定为嫌疑犯了
            {
                return 0;//之前的推理到现在看来是有矛盾的。
            }
            else
            {
                ;//什么都不做，因为可以看出是和原来的推理是一致的，book[is]都是1
            }
        }
        if (not>=0&¬<=3)
        {
            if (book[not]==0)
            {
                book[not]=2;//这个人是嫌疑犯
            }
            else if(book[not]==1)//这个人不是嫌疑犯
            {
                return 0;//和先前的推理有矛盾
            }
            else
            {
                ;//什么都不做，因为可以看出是和原来的推理是一致的，book[is]都是1
            }
            return 1;
        }
        
    }
    else//说话为真的
    {
        if (is>=0&&is<=3)
        {
            if (book[is]==0) {//还没有人提到关于is这个人的信息
                book[is]=2;//这个人是嫌疑犯
            }
            else if(book[is]==1)//如果is这个人之前被认定为不是嫌疑犯了
            {
                return 0;//之前的推理到现在看来是有矛盾的。
            }
            else
            {
                ;//什么都不做，因为可以看出是和原来的推理是一致的，book[is]都是1
            }

        }
        if (not>=0&¬<=3)
        {
            if (book[not]==0)
            {
                book[not]=1;//这个人不是嫌疑犯
            }
            else if(book[not]==2)//这个人是嫌疑犯
            {
                return 0;//和先前的推理有矛盾
            }
            else
            {
                ;//什么都不做，因为可以看出是和原来的推理是一致的，book[is]都是1
            }
            return 1;
        }
    }
    return 1;
}
int cc()
{
    int i=0;
    int count1=0;
    int count2=0;
    for (i=0; i<=3; i++)
    {
        if (book[i]==1) {
            count1++;
        }
        else if(book[i]==2)
        {
            count2++;
        }
    }
    if (count1==3&&count2==1)
    {
        return 1;
    }
    return 0;
}
int main(int argc,char *argv[])
{
    unsigned char index=0x00;;
    char i=0;
    int k=0;
    for (index=0; index<=15; index++)
    {
        for (i=0; i<=3; i++)
        {
            book[i]=0;
        }
        if (match(0,1,3,(index&0x01))&&match(1,1,2,(index&0x02))&&match(2,0,1,(index&0x04))
            &&match(3,3,4,(index&0x08)))
        {
            if (cc())
            {
                for (k=0; k<=3; k++)
                {
                    if (book[k]==2)
                    {
                        switch (k)
                        {
                                case 0:
                                printf("甲");
                                break;
                                case 1:
                                printf("乙");
                                break;
                                case 2:
                                printf("丙");
                                break;
                                case 3:
                                printf("丁");
                                break;
                        }
                    }
                }
            }
        }
    }
    return 0;
}