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

Not defined
Not defined
Not defined
Lie
Not defined
Lie
Not defined分析：逻辑推理题，具体过程如下： 先统计出来可能的罪犯数目，接下来分两种情况： ①如果数目等于一，那么如果某个人被说是罪犯，并且他是可能的罪犯，那么就是true，否则即false；   如果某个人被说不是罪犯，并且他是可能的罪犯，那么就是false，否则即true ②如果数目大于一，那么如果某个人被说是罪犯，并且他是可能的罪犯，那么就是不确定，否则即false；

   如果某个人被说不是罪犯，并且他是可能的罪犯，那么就是不确定，否则即true上代码咯：

/* 逻辑推理判断题：*  思路分析如上*  具体见代码* */
import java.util.*;
public  class Main{static Scanner in = new Scanner(System.in);static int MAX = 100010;static int[] isSuspe = new int[MAX];//统计编号为i的人被指控的次数static int[] notSuspe = new int[MAX];//统计编号为i的人被不指控的次数static int[] posible = new int[MAX];//统计可能的罪犯的编号static int[] a = new int[MAX];//存放输入public static void main(String args[]){  int k = in.nextInt();while(k-->0) {//注意每次清空Arrays.fill(isSuspe, 0);Arrays.fill(notSuspe, 0);Arrays.fill(posible, 0);Arrays.fill(a, 0);int n = in.nextInt();        int m = in.nextInt();int notPri=0;for (int i = 1; i <= n; i++) {a[i] = in.nextInt();if(a[i]>0){isSuspe[a[i]]++;             }else{notSuspe[-a[i]]++;notPri++;}}int cnt = 0;for (int i = 1; i <= n; i++) {//这句话的意思是：如果i号可能是罪犯，那么此时真话的数目为：他被指控的次数+（总的不被指控的次数-减去

     //他不被指控的次数）//因为他被指控的次数肯定是真话，同时他不被指控的次数肯定是假话，同时不指控他而指控别人的也肯定是真话if(isSuspe[i]+notPri-notSuspe[i]==m){posible[i]=1;cnt++;}}if(cnt>1){for (int i = 1; i <= n; i++) {if(a[i]>0){if(posible[a[i]]==1)System.out.println("Not defined");elseSystem.out.println("Lie");}else{if(posible[-a[i]]==1)System.out.println("Not defined");elseSystem.out.println("Truth"); }}}else{for (int i = 1; i <= n; i++) {if(a[i]>0){if(posible[a[i]]==1)System.out.println("Truth");elseSystem.out.println("Lie");}else{if(posible[-a[i]]==1)System.out.println("Lie");elseSystem.out.println("Truth");}}}}  }
}