#D. [10PTS Round 1] D. 有内鬼!

    传统题 1000ms 256MiB

[10PTS Round 1] D. 有内鬼!

该比赛已结束,您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

这里是正在创建的比赛的 mywwzh,我表示这道题目与我无关(

题目背景

mywwzh 的群友杯中有一位总是泄题的内鬼......

题目描述

在这 nn 个人当中,有且仅有一个人是罪犯,mywwzh 作为侦探,会从每个人那里得到一条证言。第 ii 个人的证言要么是第 aia_i个人是罪犯,要么是 第 aia_i个人不是罪犯。

nn 个人都知道罪犯是谁,但并非所有的证言都是真实的。按照规则,这 nn 个人当中有且只有 mm 个人说的是真话,剩下的所有人说的都是假话。

一番推理之后,mywwzh 发现确实有人可能是罪犯。即当他是罪犯时,恰有 mm 个人说的话正确。但这样的人可能不止一个。我们称这样的人为嫌犯。小 Z 想只要如下几类人:

  1. 哪些人说的是真话,即无论哪个嫌犯是真正的罪犯, 他的证言都对。
  2. 哪些人说的是假话,即无论如何他的证言都不对。
  3. 哪些人无法确定, 即他的证言是真是假取决于哪个人是真正的罪犯。

输入格式

第一行包含两个正整数 nnmm, 表示参与的人数和说真话的人数。

接下来 nn 行包含了所有人的证言。证言是一个带符号的数,形如 +x+xx-x,其中 xx 是一个 1n1 \sim n 间的正整数,+x+x 表示第 xx 个人是罪犯,x-x 表示第 xx 个人不是罪犯。保证 xx[1,n][1,n] 之间。

输出格式

输出 nn 行,第 ii 行输出 TruthLieNot defined,分别表示第 ii 个人说的一定是真话、一定是假话或者无法确定。

样例 #1

样例输入 #1

1 1
+1

样例输出 #1

Truth

样例 #2

样例输入 #2

3 2
-1
-2
-3

样例输出 #2

Not defined
Not defined
Not defined

样例 #3

样例输入 #3

7 7
+3
-6
-1
-3
+3
-6
+2

样例输出 #3

Lie
Truth
Truth
Truth
Lie
Truth
Lie

提示

对于 30%30\% 的数据,满足 n15 n \leq 15

对于 60%60\% 的数据,满足 n1000 n \leq 1000

对于 100%100\% 的数据,满足 1n1051 \leq n \leq 10^50mn0\leq m \leq n

注:本题数据不保证一定有满足条件的嫌犯(具体见样例 3)。

[Rated] 10PTS Round 1

未参加
状态
已结束
规则
乐多
题目
5
开始于
2024-7-29 18:00
结束于
2024-8-3 18:00
持续时间
120 小时
主持人
参赛人数
49