A、B、C、D、E、F、G、H、I、J 共10名学生有可能参加本次计算机竞赛,也可能不参加。
因为某种原因,他们是否参赛受到下列条件的约束:
1. 如果A参加,B也参加;
2. 如果C不参加,D也不参加;
3. A和C中只能有一个人参加;
4. B和D中有且仅有一个人参加;
5. D、E、F、G、H 中至少有2人参加;
6. C和G或者都参加,或者都不参加;
7. C、E、G、I中至多只能2人参加
8. 如果E参加,那么F和G也都参加。
9. 如果F参加,G、H就不能参加
10. 如果I、J都不参加,H必须参加
请编程根据这些条件判断这10名同学中参赛者名单。如果有多种可能,则输出所有的可能
情况。每种情况占一行。参赛同学按字母升序排列,用空格分隔。
比如:
C D G J
就是一种可能的情况。
//该题的关键还在于如何枚举10个数,可以10重for循环,也可以类似素数环进行回溯,或者二进制枚举
#include #include using namespace std; int vis[11] = {0}; //vis若是bool 变不可写成两数相加减 bool judge() { //a推出(蕴含)b,等价于(非a或b);或者a ==1&&b==1||a==0,等价于a==0||b==1,此次用到了短路表达式的性质 bool t1 = (vis[0]== 0||vis[1] == 1); //类似第一个;或者c==0&&d==0||c=1 bool t2 =( vis[2] == 1||vis[3] == 0); //从第四个条件可以看出这个包含都不参加的情况,等价于都不参加或者只参加一个人,反面是两个人都参加,再取反 !(a==1&&c==1)等价于a==0||c==0,转化为a+c<=1 bool t3 = ((vis[0] + vis[2])<=1);//或者等于0 //反面是同时参加或者同时不参加,再取反!(b==d),等价于b+d ==1 bool t4 = (vis[1] + vis[3]==1); bool t5 = ((vis[3] + vis[4] + vis[5] + vis[6] + vis[7]) >=2); //c==g,可化为就、相加为0或者2 bool t6 = (vis[2] == vis[6]); bool t7 = ((vis[2]+vis[4]+vis[6]+vis[8])<=2); //类似第一个 bool t8 = (vis[4] == 0||(vis[5] + vis[6] == 2)); bool t9 = vis[5]==0||(vis[6]+vis[7]==0); //(i ==0&&j==0)&&h==1||(ij至少一人参加),等价于(i==1||j==1)||h==1 bool t10 = (vis[8]+vis[9]>0)||vis[7]==1; return t1&&t2&&t3&&t4&&t5&&t6&&t7&&t8&&t9&&t10; } void print() { int i,j,k; for(i=0; i<10; i++) if(vis[i]>0)//若vis是bool,所以不可写成vis[i]>0 { char ch = i + 'A'; cout<<ch<<" "; } } int main() { int i,j,k; //二进制枚举比递归回溯好理解 //二进制枚举,两数的与或疑惑分别表示集合的交并对称差 int total = 0;// memset(vis,0,sizeof(vis)); while(total<1024)//用total的前十位表示参加状态,1024并不是来自1<<10,而是十个1表示(1<<10-1) { total++;//不可能全都不参加,所以先自增了 for(i=0; i<10; i++)//用total的底10为表示状态,或者total按求余法求的底十位 {