fzu2202 犯罪嫌疑人

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 defined Not defined Not defined Lie Not defined Lie Not defined

 Source

FOJ有奖月赛-2015年10月

这一题是推理题，主要是要弄清楚什么时候说真话，假话和不确定。对于n个人我们可以依次假设其是嫌犯，那么我们可以通过说假话的人数是不是等于m判断这个人是不是可能是嫌疑犯，那么我们就能知道哪些人可能是嫌犯。然后分两种情况分类讨论，第一种是只有一个嫌犯的时候，那么每人说的是真是假就能判断出来了；第二种是有多个嫌犯，那么除了两种情况外，都不能判断说的是真话还是假话，这两种情况是：如果这个人不可能是嫌犯，那么说他是嫌犯的人一定是说假话，说他不是嫌犯的人一定是真话。

#include<iostream>
#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#include<math.h>
#include<vector>
#include<map>
#include<set>
#include<queue>
#include<stack>
#include<string>
#include<algorithm>
using namespace std;
#define ll long long
#define inf 0x7fffffff
#define maxn 100050

int cot1[maxn],cot2[maxn];
int ans[maxn],a[maxn];
int num1[maxn],num2[maxn];
struct node{
    int to,next;
}e1[maxn];
int first1[maxn];

struct node1{
    int to,next;
}e2[maxn];
int first2[maxn];

int main()
{
    int n,m,i,j,T,t,sum2,v,tot1,tot2,k;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d%d",&n,&m);
        memset(first1,-1,sizeof(first1));
        memset(first2,-1,sizeof(first2));
        memset(num1,0,sizeof(num1));
        memset(num2,0,sizeof(num2));
        memset(cot1,0,sizeof(cot1));
        tot1=tot2=0;
        sum2=0;
        for(i=1;i<=n;i++){
            ans[i]=2;
            int x;
            scanf("%d",&x);
            t=abs(x);
            if(x<0){
                sum2++;
                tot2++;
                e2[tot2].next=first2[t];e2[tot2].to=i;
                first2[t]=tot2;
                num2[t]++;
            }
            else{
                tot1++;
                e1[tot1].next=first1[t];e1[tot1].to=i;
                first1[t]=tot1;

                num1[t]++;
            }
        }
        if(m==0){
            for(i=1;i<=n;i++){
                printf("Lie\n");
            }
            continue;
        }
        if(m==n){
            for(i=1;i<=n;i++){
                printf("Truth\n");
            }
            continue;
        }

        int tot=0;
        for(i=1;i<=n;i++){
            int sum=num1[i]+sum2-num2[i];
            if(sum==m){
                tot++;
                cot1[i]++;
            }
        }

        if(tot==1){
            for(i=1;i<=n;i++){
                if(cot1[i]){
                   for(k=first1[i];k!=-1;k=e1[k].next){
                       ans[e1[k].to ]=1;
                   }
                   for(k=first2[i];k!=-1;k=e2[k].next){
                       ans[e2[k].to ]=0;
                   }

                }
                else{
                   for(k=first1[i];k!=-1;k=e1[k].next){
                       ans[e1[k].to ]=0;
                   }
                   for(k=first2[i];k!=-1;k=e2[k].next){
                       ans[e2[k].to ]=1;
                   }
                }

            }

        }
        else{
            for(i=1;i<=n;i++){
                if(cot1[i]){
                   continue;
                }
                else{
                   for(k=first1[i];k!=-1;k=e1[k].next){
                       ans[e1[k].to ]=0;
                   }
                   for(k=first2[i];k!=-1;k=e2[k].next){
                       ans[e2[k].to ]=1;
                   }
                }

            }

        }
        for(i=1;i<=n;i++){
            if(ans[i]==0)printf("Lie\n");
            else if(ans[i]==1)printf("Truth\n");
            else printf("Not defined\n");
        }
    }
    return 0;
}