Elsie 有一個(gè)程序，接受一個(gè) N（1≤N≤100）個(gè)變量的數(shù)組 b[0],…,b[N?1] 作為輸入，其中每個(gè)變量等于 0 或 1，并且返回對(duì)輸入數(shù)組應(yīng)用一系列 if / else if / else 語(yǔ)句的結(jié)果。每個(gè)語(yǔ)句檢查至多一個(gè)輸入變量的值，并返回 0 或 1。這類(lèi)程序的一個(gè)例子是：
if (b[1] == 1) return 1;
else if (b[0] == 0) return 0;
else return 1;
例如，如果上方程序的輸入是 “10”（即 b[0]=1 及 b[1]=0），那么輸出應(yīng)當(dāng)為 1。
Elsie 告訴了 Bessie 對(duì)于 M（1≤M≤100）個(gè)不同輸入的正確輸出。Bessie 現(xiàn)在正試圖對(duì) Elsie 的程序進(jìn)行逆向工程。不幸的是，Elsie 可能說(shuō)了謊；可能不存在上述形式的程序行為與 Elsie 所說(shuō)的均一致。
對(duì)于 T（1≤T≤10）個(gè)子測(cè)試用例中的每一個(gè)，判斷 Elsie 是否一定在說(shuō)謊。
輸入格式（從終端 / 標(biāo)準(zhǔn)輸入讀入）：
輸入的第一行包含 T，為子測(cè)試用例的數(shù)量。
每一個(gè)子測(cè)試用例的第一行包含兩個(gè)整數(shù) N 和 M，以下 M 行，每行包含一個(gè)由 N 個(gè) 0 或 1 組成的字符串，表示一個(gè)輸入（即 b[0]…b[N?1] 的值），以及另一個(gè)字符（0 或 1）表示輸出。相鄰的子測(cè)試用例之間用空行分隔。
輸出格式（輸出至終端 / 標(biāo)準(zhǔn)輸出）：
對(duì)于每一個(gè)子測(cè)試用例，輸出一行，包含 “OK” 或 “LIE”，分別表示 Elsie 可能沒(méi)有說(shuō)謊或是一定在說(shuō)謊。
輸入樣例：
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
以下是第一個(gè)子測(cè)試用例的一個(gè)合法的程序：
if (b[0] == 0) return 0;
else return 1;
以下是第一個(gè)子測(cè)試用例的另一個(gè)合法的程序：
if (b[0] == 1) return 1;
else return 0;
以下是第二個(gè)子測(cè)試用例的一個(gè)合法的程序：
if (b[1] == 1) return 1;
else if (b[0] == 0) return 0;
else return 1;
顯然，對(duì)于第三個(gè)子測(cè)試用例不存在對(duì)應(yīng)的合法的程序，因?yàn)?Elsie 的程序一定始終對(duì)相同的輸入產(chǎn)生相同的輸出。
可以證明對(duì)于最后一個(gè)子測(cè)試用例不存在對(duì)應(yīng)的合法的程序。
測(cè)試點(diǎn)性質(zhì)：
測(cè)試點(diǎn) 2-3 滿足 N=2。
測(cè)試點(diǎn) 4-5 滿足 M=2。
測(cè)試點(diǎn) 6-12 沒(méi)有額外限制。
供題：Benjamin Qi

第3題，欲哭無(wú)淚……
分析----拿樣例舉一波例子：

00 0
01 1
10 1
11 0

看，00和01結(jié)果不一樣但是第一位一樣，說(shuō)明第一個(gè)if語(yǔ)句不可能是判斷是否為0
10與11結(jié)果不一樣但是第一位一樣，說(shuō)明第一個(gè)if語(yǔ)句也不可能判斷是否為1，所以就錯(cuò)了。
（也可以這么看：00與10結(jié)果不一樣但是第二位一樣，說(shuō)明對(duì)應(yīng)的if語(yǔ)句不可能是判斷是否為0，01與11結(jié)果不一樣但是第二位一樣，說(shuō)明對(duì)應(yīng)的if語(yǔ)句也不可能是判斷是否為1，所以出錯(cuò)）
（更多見(jiàn)注釋）

#includeusing namespace std;

int main(){int t,m,n;
	string s[110];
	bool v[110];
	cin>>t;
	while(t--){cin>>n>>m;
		for(int i=1;i<=m;++i)cin>>s[i]>>v[i];
		int ans0=0,ans1=0,vh[2][2];//vh數(shù)組用于統(tǒng)計(jì)數(shù)量，如：vh[1][0]統(tǒng)計(jì)的是結(jié)果是0有的1的個(gè)數(shù)
		int vh1[110],vh2[110];//vh1，vh2用于標(biāo)記，如果審核發(fā)現(xiàn)沒(méi)問(wèn)題（且確定了思路中提到的確定了if的條件），就刪掉，接下來(lái)就不處理該數(shù)據(jù)了。vh1標(biāo)記的是第幾位被標(biāo)記，vh2只標(biāo)記具體的某一個(gè)數(shù)
		memset(vh1,0,sizeof(vh1));
		memset(vh2,0,sizeof(vh2));
		for(int i=1;i<=m;++i)
			if(v[i]==0)ans0++;
			else ans1++;//先統(tǒng)計(jì)結(jié)果中是0還是1的個(gè)數(shù)
		bool bl=1,bo=0;
		while(bl){	bl=0;
			for(int i=0;i		if(!vh1[i]){memset(vh,0,sizeof(vh));
					for(int ii=1;ii<=m;++ii)
						if(!vh2[ii])vh[s[ii][i]-'0'][v[ii]]++;
					if(vh[0][0]==0&&vh[0][1]!=0){//
						bl=1;
						ans1-=vh[0][1];
						for(int j=1;j<=m;++j)
							if(s[j][i]=='0')vh2[j]=1;
					}
					if(vh[0][1]==0&&vh[0][0]!=0){bl=1;
						ans0-=vh[0][0];
						for(int j=1;j<=m;++j)
							if(s[j][i]=='0')vh2[j]=1;
					}
					if(vh[1][0]==0&&vh[1][1]!=0){bl=1;
						ans1-=vh[1][1];
						for(int j=1;j<=m;++j)
							if(s[j][i]=='1')vh2[j]=1;
					}
					if(vh[1][1]==0&&vh[1][0]!=0){bl=1;
						ans0-=vh[1][0];
						for(int j=1;j<=m;++j)
							if(s[j][i]=='1')vh2[j]=1;
					}
					if(bl){vh1[i]=1;
						break;
					}
				}
			} 
		}
		if(ans0==0||ans1==0)cout<<"OK"<