委派任務

某偵察隊接到一項緊急任務，要求在A、B、C、D、E、F六個隊員中儘可能多地挑若干人，但有以下限制條件：

（1）       A和B兩人中至少去一人；

（2）       A和D不能一起去；

（3）       A、E和F三人中要派兩人去；

（4）       B和C都去或都不去；

（5）       C和D兩人中去一個；

（6）       若D不去，則E也不去。

問應當讓哪幾個人去？

*問題分析與算法設計

       用A、B、C、D、E、F六個變量表示六個人是否去執行任務的狀態，變量的值爲1，則表示該人去；變量的值爲0，則表示該人不參加執行任務。根據題意可寫出表達式：

              a+b>1            A和B兩人中至少去一人；

              a+d!=2           A和D不能一起去；

              a+e+f==2              A、E和F三人中要派兩人去；

              b+c==0或b+c==2        B和C都去或都不去；

              c+d==1          C和D兩人中去一個；

              d+e==0或d==1            若D不去，則E也不去（都不去；或D去E隨便）。

       上述各表達式之間的關係爲“與”的關係。窮舉每個人去或不去的各中可能情況，代入上述表達式中進行推理運算，使上述表達式均爲“真”的情況就是正確的結果。

*程序與程序註釋：

#include <stdio.h>
int main()
{
    int a,b,c,d,e,f;
    for(a=0;a<=1;a++)           /*窮舉每個人是否去的情況*/
        for(b=0;b<=1;b++)           /*1：去 0：不去*/
            for(c=0;c<=1;c++)
                for(d=0;d<=1;d++)
                    for(e=0;e<=1;e++)
                    for(f=0;f<=1;f++)
                            if (a+b>1&&a+d!=2&&a+e+f==2&&(b+c==0||b+c==2)&&c+d==1&&(d+e==0||d==1))  /*判斷條件*/
                            {
                                printf("A will%s be assigned./n",a?"":" not");
                                printf("B will%s be assigned./n",b?"":" not");
                                printf("C will%s be assigned./n",c?"":" not");
                                printf("D will%s be assigned./n",d?"":" not");
                                printf("E will%s be assigned./n",e?"":" not");
                                printf("F will%s be assigned./n",f?"":" not");
                            }
    return 0;
}