蓝桥杯逻辑推断题

逻辑推断题目：

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个约束条件进行分析，转化为数学表达式：

假设：

//           A B C D E F G H I J
int x[10] = {0,0,0,0,0,0,0,0,0,0};// 0 表示不参加比赛， 1 表示参加比赛

则把数学表达式转化为：

1.x[0] == 0 || x[1] == 1;

2.x[2] == 1 || x[3] == 0;
3.x[0] == 0 || x[1] == 0;
4. x[1] != x[3];
5. ( x[3] + x[4] + x[5] + x[6] + x[7]) >= 2;
6.x[2] == x[6];
7. ( x[2] + x[4] + x[6] + x[8] ) <= 2;
8. x[4] == 0 || ( x[5] == 1 && x[6] == 1);
9. x[5] == 0 || x[6] == 0 && x[7] == 0;
10. ( x[8] == 1 || x[9] == 1 ) || x[7] == 1;

代码如下：

#include"stdio.h"
#include "iostream.h"

//输出每一种参赛的可能情况
void show(int *x)
{
	for( int i=0; i<10; i++)
	{
		if( x[i] >= 1 )
			printf("%c ",i+'A');
	}
	printf("\n");
}

//判断是否符合题目描述要求
int judge(int *x)
{
	int t1 = x[0] == 0 || x[1] == 1;
	int t2 = x[2] == 1 || x[3] == 0;
	int t3 = x[0] == 0 || x[1] == 0;
	int t4 = x[1] != x[3];
	int t5 = ( x[3] + x[4] + x[5] + x[6] + x[7]) >= 2;
	int t6 = x[2] == x[6];
	int t7 = ( x[2] + x[4] + x[6] + x[8] ) <= 2;
	int t8 = x[4] == 0 || ( x[5] == 1 && x[6] == 1);
	int t9 = x[5] == 0 || x[6] == 0 && x[7] == 0;
	int t10= ( x[8] == 1 || x[9] == 1 ) || x[7] == 1;
	
	return t1 && t2 && t3 && t4 && t5 && t6 && t7 && t8 && t9 && t10;
}

void f(int *x,int n)
{
	if( n>= 10 )
	{
		if( judge(x) )
			show(x);
		return;
	}
	x[n] = 0;//第 n 个人不参加比赛时
	f(x,n+1);//其他人参加比赛的情况
	x[n] = 1;//第 n 个人参加比赛时
	f(x,n+1);//其他人参加比赛情况
}

int main()
{
	//           A B C D E F G H I J
	int x[10] = {0,0,0,0,0,0,0,0,0,0};// 0 表示不参加比赛， 1 表示参加比赛
	f(x,0);//递归
	return 0;
}