黎明者 pat basic 练习八十九 狼人杀-简单版

心得：

这一题和第八十八题一样，考的是枚举

所谓枚举，就是尝试每一种可能的情况

先假设某种情况是对的，然后再查看在这种情况下，已知的条件是否是符合说明

就是对每种可能使用反证法

 

 

题目：

以下文字摘自《灵机一动·好玩的数学》：“狼人杀”游戏分为狼人、好人两大阵营。在一局“狼人杀”游戏中，1 号玩家说：“2 号是狼人”，2 号玩家说：“3 号是好人”，3 号玩家说：“4 号是狼人”，4 号玩家说：“5 号是好人”，5 号玩家说：“4 号是好人”。已知这 5 名玩家中有 2 人扮演狼人角色，有 2 人说的不是实话，有狼人撒谎但并不是所有狼人都在撒谎。扮演狼人角色的是哪两号玩家？

本题是这个问题的升级版：已知 N 名玩家中有 2 人扮演狼人角色，有 2 人说的不是实话，有狼人撒谎但并不是所有狼人都在撒谎。要求你找出扮演狼人角色的是哪几号玩家？

输入格式：

输入在第一行中给出一个正整数 N（5≤N≤100）。随后 N 行，第 i 行给出第 i 号玩家说的话（1≤i≤N），即一个玩家编号，用正号表示好人，负号表示狼人。

输出格式：

如果有解，在一行中按递增顺序输出 2 个狼人的编号，其间以空格分隔，行首尾不得有多余空格。如果解不唯一，则输出最小序列解 —— 即对于两个序列 A=a[1],...,a[M] 和 B=b[1],...,b[M]，若存在 0≤k<M 使得 a[i]=b[i] （i≤k），且 a[k+1]<b[k+1]，则称序列 A 小于序列 B。若无解则输出 No Solution。

 

 

 

思路：

这题是看了别人的文章才做出来的，这种题考的是枚举

题目已经说了有两个人说谎，且一个是狼人，一个好人，然后有给了每个人的描述，目前已知的条件只有这个

何为说谎，就是其所说的和实际不符

在不知道谁是狼人之前，每个人都有可能是狼人，我们可以先假设某两个人是狼人，然后在和每个人所说的进行对比

在这种假设的情况下，如果一个人说另一个人是狼人，而另一个人却是好人或者一个人说另一个人是好人，而另一个人却是狼人

这都是在说谎，就把他的编号给存下来，就这样把所有人都验证一遍之后，然后再看说谎的人是不是就两个且是一好一狼，如果正好是这样，那么这两个人就是答案

至于题目所说的输出最小序列，然后又给出的序列谁大谁小的定义，说实话，我没看懂，后来在明白，其实就是和字符串比较一样的，先比较第一项，第一项的值大的那个序列就大，如果第一项相同，就比较第二项......以此类推

所以我们假设的时候可以先假设1，2号，1，2号不对就1，3号，即两个for循环，从小到大遍历，发现的第一个符合的，其就是最合适的答案

 

 

代码：

#include<iostream>
#include<vector>
#include<cmath>
using namespace std;
int main()
{
    int num;
    cin>>num;
    vector<int> say(num+1);//每个人说的话，这里下标1作为第一项，所以开辟num+1个空间，之所以1作为第一项，为了好判断
    for(int i=1;i<=num;i++)
        cin>>say[i];
    for(int i=1;i<=num;i++)
    {//这两个循环是假设某两个人是狼人，所有人都要尝试
        for(int j=i+1;j<=num;j++)
        {
            vector<int> status(num+1,1);//身份数组，下标表示玩家编号，值1表示好人，值-1表示狼人
            vector<int> lie;
            status[i]=status[j]=-1;//把玩家i,j的身份设为狼人
            for(int k=1;k<=num;k++)
            {//这个循环是遍历每个人说的话
                if(status[abs(say[k])]*say[k]<0)//如果一个人说的另一个人的身份和另一个人的实际身份不符，即相乘小于0
//如其实际身份是狼人(负数)，而别人说他是个好人(正数)
//或者实际身份是好人(正数)，而别人说他是个狼人(负数)，这就是说谎，相乘都是小于0的
                    lie.push_back(k);
            }
            if(lie.size()==2&&status[lie[0]]+status[lie[1]]==0)
            {//如果说谎的人数正好等于2且是一好人一狼人，说明这次的假设正确
                cout<<i<<" "<<j<<endl;//输出其编号
                return 0;//直接结束
            }
        }
    }
    cout<<"No Solution"<<endl;//如果都假设完发现没有一个符合条件的就说明无解
    return 0;
}