USACO 2022 December Contest, BronzeProblem 3. Reverse Engineering题解

USACO22年12月青铜第三题，大模拟能写出来5555写了好多行代码，优化的方法可以套用二维数组和嵌套循环，打标记等，总归第三题嘛，是有点难度

Elsie 有一个程序，接受一个 N（1≤N≤100）个变量的数组 b[0],…,b[N−1] 作为输入，其中每个变量等于 0 或 1，并且返回对输入数组应用一系列 if / else if / else 语句的结果。每个语句检查至多一个输入变量的值，并返回 0 或 1。这类程序的一个例子是：

if (b[1] == 1) return 1;
else if (b[0] == 0) return 0;
else return 1;

例如，如果上方程序的输入是 "10"（即 b[0]=1 及 b[1]=0），那么输出应当为 1。

Elsie 告诉了 Bessie 对于 M（1≤M≤100）个不同输入的正确输出。Bessie 现在正试图对 Elsie 的程序进行逆向工程。不幸的是，Elsie 可能说了谎；可能不存在上述形式的程序行为与 Elsie 所说的均一致。

对于 T（1≤T≤10）个子测试用例中的每一个，判断 Elsie 是否一定在说谎。

输入格式（从终端 / 标准输入读入）：

输入的第一行包含 T，为子测试用例的数量。

每一个子测试用例的第一行包含两个整数 N 和 M，以下 M 行，每行包含一个由 N 个 0 或 1 组成的字符串，表示一个输入（即 b[0]…b[N−1] 的值），以及另一个字符（0 或 1）表示输出。相邻的子测试用例之间用空行分隔。

输出格式（输出至终端 / 标准输出）：

对于每一个子测试用例，输出一行，包含 "OK" 或 "LIE"，分别表示 Elsie 可能没有说谎或是一定在说谎。

输入样例：

4

1 3
0 0
0 0
1 1

2 4
00 0
01 1
10 1
11 1

1 2
0 1
0 0

2 4
00 0
01 1
10 1
11 0

输出样例：

OK
OK
LIE
LIE

以下是第一个子测试用例的一个合法的程序：

if (b[0] == 0) return 0;
else return 1;

以下是第一个子测试用例的另一个合法的程序：

if (b[0] == 1) return 1;
else return 0;

以下是第二个子测试用例的一个合法的程序：

if (b[1] == 1) return 1;
else if (b[0] == 0) return 0;
else return 1;

显然，对于第三个子测试用例不存在对应的合法的程序，因为 Elsie 的程序一定始终对相同的输入产生相同的输出。

可以证明对于最后一个子测试用例不存在对应的合法的程序。

测试点性质：

• 测试点 2-3 满足 N=2。
• 测试点 4-5 满足 M=2。
• 测试点 6-12 没有额外限制。

供题：Benjamin Qi

思路：

方法一：从第一列开始，如果当前列的0或者1都统一对应同一个数字，就说明当前可以对当前列产生一个条件，对应该条件的所有行后续就都可以不判断，用一个flag数组对应标记下；接下来看第二列，第三列，直到最后一列。如果此时m行的flag数组都被标记过了，说明是ok的。

（注意，这里有坑，那就是，判断不一定非要按照从第一列开始的顺序，可以从第二列开始，因此外边需要套一个循环）代码比较长比较麻烦，但是是好理解的。

#include <cstdio>
#include <iostream>
using namespace std;
int main(){
//	freopen("66.in", "r", stdin);
//	freopen("66.out", "w", stdout);
	int t;
	cin >> t;
	while(t--){
		int n, m;
		cin >> n >> m;
		string s[105];
		int ans[105] = {};
		for (int i = 1; i <= m; i++){
			cin >> s[i] >> ans[i];
		}
		//接下来判断是否能够根据输入统一得到给定的结果
		bool flag[105] = {}, shuchu;//初始全部为0
		for(int i = 0; i < n; i++){
			for(int j = 0; j < n; j++){	//第j列 
			//如果当前这一列为0或者为1，其对应的返回值均相同，即可确定这个条件并且把相关结果划掉
				int cnt11 = 0, cnt10 = 0, cnt01 = 0, cnt00 = 0;
				for (int k = 1; k <= m; k++){	//第k行 
					if(s[k][j] == '1' && ans[k] == 1 && flag[k] == 0){	//第k行第j列 
						cnt11++;
					} else if (s[k][j] == '1' && ans[k] == 0 && flag[k] == 0){
						cnt10++;
					}else if (s[k][j] == '0' && ans[k] == 1 && flag[k] == 0){
						cnt01++;
					}else if(s[k][j] == '0' && ans[k] == 0 && flag[k] == 0){
						cnt00++;
					}
				}//行的遍历结束
				//判断当前列可以用什么条件
//				cout << "cnt11 " << cnt11 << " cnt10 " << cnt10 << " cnt01 " << cnt01 << " cnt00 " << cnt00 << "\n";
				if (cnt11 == 0 && cnt10 != 0){//说明当前这一列条件可以设置为1返回0，将该行划掉 
					for(int q = 1; q <= m; q++){
						if (s[q][j] == '1' && ans[q] == 0 && flag[q] == 0){
							flag[q] = 1; 
						}
					} 
				}
				if (cnt11 != 0 && cnt10 == 0){//说明当前列所有的1可以条件返回1 
					for(int q = 1; q <= m; q++){
						if (s[q][j] == '1' && ans[q] == 1 && flag[q] == 0){
							flag[q] = 1; 
						}
					} 
				}
				if(cnt01 != 0 && cnt00 == 0) {//说明当前所有的0都对应1 
					for(int q = 1; q <= m; q++){
						if (s[q][j] == '0' && ans[q] == 1 && flag[q] == 0){
							flag[q] = 1; 
						}
					} 
				}
				if (cnt01 == 0 && cnt00 != 0){//说明当前所有的0都对应0 
					for(int q = 1; q <= m; q++){
						if (s[q][j] == '0' && ans[q] == 0 && flag[q] == 0){
							flag[q] = 1; 
						}
					} 
				}
//				for (int r = 1; r <= m; r++){
//					cout << flag[r] << " ";
//				}
//				cout << "\n";
			}//内层列的遍历跳出 
			//当所有列都遍历完毕之后，看flag数组是否能够全部标记为true，如果有false，则lie
			shuchu = 1;
			for(int r = 1; r <= m; r++){
				if (flag[r] == false){
					shuchu = 0;
					break;
				} 
			}
			if (shuchu == 1){
				cout << "OK\n";
				break;
			}		
		}
		//在排除掉判断顺序之后再来看 
		if (shuchu == 0){
			cout << "LIE\n";
		}
	}//t循环跳出 
	return 0;
} 

方法二：

可以看到方法一中有很多个并列的顺序执行或者条件，这种情况我们可以通过数组进行优化

https://www.luogu.com.cn/problem/solution/P8899   具体可参考跳转