FZU2202犯罪嫌疑人（逻辑推理）

福尔摩斯是个大侦探，他总是在解决疑难案件。这一次的案件也不例外，案件是这样的：有编号为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

2
3 2
-1
-2
-3
4 1
+2
-3
+4
-1

Sample Output

Not defined
Not defined
Not defined
Lie
Not defined
Lie
Not defined

 

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

我们先计算有多少满足条件的情况，即恰好有 M 个人说了真话。

 计算方法，统计每个人有罪的票数和无罪的票数，以及无罪的总票数和有罪的总票数

满足条件恰好有 M 个人说了真话。

假设某个人有罪，那么说他有罪的是真话，说他无罪的是假话，说别人无罪的是真话

 我们就用无罪的总票数-说他无罪的票数+说他有罪的票数与M比较，如果相等满足条件，那这个人属于犯罪嫌疑人

真的罪犯只有一个

1，犯罪嫌疑人只有一个，即这个人有罪就是罪犯，那么说他有罪的，说别人无罪的是真话，说他无罪的，说别人有罪的是假话

2，犯罪嫌疑人有多个，说他有罪有两种情况{11.假如这个人在犯罪队列中，那么我们不确定他是否真的有罪，输出不确定}

                                                                       {22.假如这个人不在犯罪队列中，那这个人真的无罪，那么说他有罪就是假话}

                                      说他无罪有两种情况{11.假如这个人在犯罪队列中，那么我们不确定他是否真的无罪，输出不确定}

                                                                       {22.假如这个人不在犯罪队列中，那这个人真的无罪，那么说他无罪就是真话}

 

import java.util.Arrays;
import java.util.Scanner;

public class Main {
    static int T,N,M;
    static int[] a=new int[100009];
    static int[] isZ=new int[100009];
    static int[] isW=new int[100009];
    static int[] Crime=new int[100009];
    static int isZui,isWu;
    public static void main(String[] args) {
        // TODO Auto-generated method stub
        Scanner sc=new Scanner(System.in);
        T=sc.nextInt();
        while(T>0){
            Arrays.fill(a,0);
            Arrays.fill(isZ,0);
            Arrays.fill(isW,0);
            Arrays.fill(Crime,0);
            N=sc.nextInt();
            M=sc.nextInt();
            isZui=0;
            isWu=0;
            for(int i=1;i<=N;i++){
                a[i]=sc.nextInt();
                if(a[i]>0){
                    isZ[a[i]]++;
                    isZui++;
                }else{
                    isW[-a[i]]++;
                    isWu++;
                }
            }
            int k=0;
            for(int i=1;i<=N;i++){
                if(M==isZ[i]+isWu-isW[i]){
                    Crime[i]=1;
                    k++;
                }
            }
            
            if(k>1){
                for(int i=1;i<=N;i++){
                    if(a[i]>0){
                        if(Crime[a[i]]==1){
                            System.out.println("Not defined");
                        }else{
                            System.out.println("Lie");
                        }
                    }else{
                        if(Crime[-a[i]]==1){
                            System.out.println("Not defined");
                        }else{
                            System.out.println("Truth");
                        }
                    }
                }
            }else{
                
                for(int i=1;i<=N;i++){
                    if(a[i]>0){
                        if(Crime[a[i]]==1){
                            System.out.println("Truth");
                        }else{
                            System.out.println("Lie");
                        }
                    }else{
                        if(Crime[-a[i]]==1){
                            System.out.println("Lie");
                        }else{
                            System.out.println("Truth");
                        }
                    }
                }
            }
            
            T--;
        }
    }

}