foj 犯罪嫌疑人 （脑洞题_）

Problem Description

福尔摩斯是个大侦探，他总是在解决疑难案件。这一次的案件也不例外，案件是这样的：有编号为1到N的N位嫌疑犯，他们其中有一个犯了罪，然后每个嫌疑犯都被询问,“哪一个人犯了罪？”犯罪嫌疑人的答案只能“编号ai的嫌疑犯犯了罪”或者“编号ai的嫌疑犯没有犯罪”。当然嫌疑犯也可以说他自己（ai = i）.

福尔摩斯凭着他敏锐的侦探直觉，确定地对华生说，只有M个人说了真话，其余人都是说谎。然后就没有然后了，但华生却想知道哪些人说谎哪些人又是讲真话。这个时候同样聪明的你，被誉为红旗下的名侦探是否愿意秀一下自己的侦探天赋，帮助可怜的华生嘛？

 Input

第一行一个整数T（1 <= T <= 10），表示测试数据的组数。

每组数据第一行包含N（1 <= N <=10^5）和M（0 <= M <= N）两个整数，含义见题面。接下来N行，第i行是一个整数+ai或者-ai（1<= ai <= N），如果是+ai,代表第i个人说编号ai犯了罪，如果是-ai，则表示编号ai没有犯罪。

输入数据保证至少存在一个人，使得如果是他犯了罪，则恰好有 M 个人说了真话。

 Output

输出为N行，第i行是第i个嫌疑犯的输出。如果第i个嫌疑犯说了是真话，输出“Truth”;如果说谎，则输出“Lie”，如果不确定，则输出“Not defined”。

 Sample Input

23 2-1-2-34 1+2-3+4-1

 Sample Output

Not definedNot definedNot definedLieNot definedLieNot defined

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
const int maxn=1e5+100;
int a[maxn],have[maxn],non[maxn],book[maxn];
int main()
{
	int t,n,m,non_sum,flag,temp,i,j;
	cin>>temp;
	while(temp--) {
		cin>>n>>m;
		flag=0;
		fill(have,have+1+n,0);
		fill(non,non+1+n,0);
		fill(book,book+1+n,0);
		non_sum=0;
		for(i=1;i<=n;i++) {
			cin>>a[i];
			if(a[i]<0) {
				non[-a[i]]++;
				non_sum++;
			}
			else have[a[i]]++;
		}
		for(i=1;i<=n;i++) {
			 t=non_sum-non[i]+have[i];
			if(t==m) {
				flag++;
				book[i]=1;
			}
			else book[i]=-1;
		}
		for(i=1;i<=n;i++) {
			if(a[i]>0) {
				if(book[a[i]]>0) {
					if(flag==1) cout<<"Truth"<<endl;
					else cout<<"Not defined"<<endl;
				}
				else cout<<"Lie"<<endl;
			}
			else {
				a[i]=-a[i];
				if(book[a[i]]>0) {
					if(flag==1) cout<<"Lie"<<endl;
					else cout<<"Not defined"<<endl;
				}
				else cout<<"Truth"<<endl;
			}
		}
	}
	return 0;
}