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;
}
方法二:
可以看到方法一中有很多个并列的顺序执行或者条件,这种情况我们可以通过数组进行优化