实验手册实验4附加题

某刑侦大队对涉及6个嫌疑人的一桩疑案进行分析，得出初步结论：

1 A、B至少有一人作案；

2 A、E、F这3人中至少有两人参加作案；

3 A、D不可能是同案犯；

4 B、C或同时作案，或与本案无关；

5 C、D中有且仅有1人作案；

6 如果D没有参与作案，则E也不可能参与作案。
试编程，找出作案人。

在实验课开始前蹲在实验室做出来了，先做个存档，回去再分析。

后记：采用枚举法，S[0]~S[5]分别表示ABCDEF，1表示是嫌疑人，0表示不是嫌疑人；难点在于逻辑表达。注释如下

s[0] + s[1] >= 1    /* A、B至少有一人作案 */
s[0] + s[4] + s[5] >= 2    /* A、E、F这3人中至少有两人参加作案 */
s[0] + s[3] < 2         /*A、D不可能是同案犯 */
s[1]+s[2]==2 || s[1]+s[2]==0      /* B、C或同时作案，或与本案无关 */
s[2]+s[3] == 1        /* C、D中有且仅有1人作案 */
s[3]+s[4] == 0 || s[3] == 1  /* 如果D没有参与作案，则E也不可能参与作案，
                              * 即：要么D、E都没有参与作案，要么D参与了作案而 
                              * E可能作案也可能不作案，所以此时不写E的条件 */

完整代码如下

#include<stdio.h>
#include<stdlib.h>
int main()
{
    int s[6];
    
    for ( s[0] = 0; s[0] <= 1; s[0]++ )
    {
        for ( s[1] = 0; s[1] <= 1; s[1]++ )
        {
            for ( s[2] = 0; s[2] <= 1; s[2]++ )
            {
                for ( s[3] = 0; s[3] <= 1; s[3]++ )
                {
                    for ( s[4] = 0; s[4] <= 1; s[4]++ )
                    {
                        for ( s[5] = 0; s[5] <= 1; s[5]++ )
                        
                        if( s[0] + s[1] >= 1 )
                        {
                            if ( s[0] + s[4] + s[5] >= 2 )
                            {
                                 if( s[0] + s[3] < 2 )
                                 {
                                     if ( s[1]+s[2]==2 || s[1]+s[2]==0 )
                                     {
                                          if ( s[2]+s[3] == 1 )
                                          {
                                               if( s[3]+s[4] == 0 || s[3] == 1 )
                                               {
                                                   printf("A=%d\n", s[0]);
                                                   printf("B=%d\n", s[1]);
                                                   printf("C=%d\n", s[2]);
                                                   printf("D=%d\n", s[3]);
                                                   printf("E=%d\n", s[4]);
                                                   printf("F=%d\n", s[5]);
                                               }
                                          }
                                     }
                                 }
                            }
                        }
                        
                    }
                }
            }
        }
    }
    system("pause");
    return 0;
}