PTA-狼人杀（Python）20分

PTA-狼人杀（Python）

“人其实就这一辈子，我想要的生活不是安逸的，虽然很累，但我想要辉煌的人生，所以也一直在为此努力、不松懈。我所理解的辉煌人生，不是挣了多少钱、做了多伟大的事，而是将人生过得有意义，不碌碌无为。哪怕前进得很慢，但是每分每秒都在往前走，去追求梦想。” ----喻言

以下文字摘自《灵机一动·好玩的数学》：“狼人杀”游戏分为狼人、好人两大阵营。在一局“狼人杀”游戏中，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：

5
-2
+3
-4
+5
+4

输出样例 1：

1 4

输入样例 2：

6
+6
+3
+1
-5
-2
+4

输出样例 2（解不唯一）：

1 5

输入样例 3：

5
-2
-3
-4
-5
-1

输出样例 3：

No Solution

解题思路：
主要是要把逻辑屡清楚。
1 一定有两个狼人，且其中有一个狼人说谎。
2 一定有一个好人说谎
3 说谎的人有且仅仅有两个人，且说谎的狼人和好人都是1；
首先用两个循环表示狼人的序号，然后再用一个循环来表示说谎的人。
4 如果人说谎，且他说某人是狼人，那么某人一定是好人，反之某人一定是狼人中的一个。

思路：

• 输入n和判断数组（key），在n个人中选取2个人假设为狼人（通过两个for循环对数组wolf赋值，1为好人，-1为狼人）遍历判断数组（key），用值（取绝对值-1）当作下标去访问wolf，如果二者同号，说明为真话，否则是假话。
• 判断方法：比如1号说3号是狼人，那1号给出的值应该是（-3），如果3号真的是狼人，在wolf数组中我赋的值应是（-1），同号，所以是真话，但如果3号不是狼人（+1），异号（假话），同理，如果1号说3号是好人，也是这样判断.
• 成真条件：如果假设的wolf判断后有2句假话，且一个狼人说假话，就是此解。

注意：
1、不理解多解时输出最小序列，就不要去管它，通过双for循环找到的第一个解，就是最小序列。
2、注意读题（看题目彩字）（测试点1）

源程序：

n=int(input())
A=[0]*(n+1)
for i in range(1,n+1):
    A[i]=int(input())
    
sw=bw=0
for i in range(1,n):              #遍历认定两个人做狼
    for j in range(i+1,n+1):
        lieh=liew=0
        for k in range(1,n+1):
            if A[k]<0 and -A[k]!=i and -A[k]!=j or A[k]>0 and(A[k]==i or A[k]==j): #有人说了谎
                if k!=i and k!=j: #好人说谎
                    lieh+=1
                else:            #狼人说谎
                    liew+=1
        if liew==1 and lieh==1:
            sw,bw=i,j
            break
    if sw:break
 
if sw :
    print("{} {}".format(sw,bw))
else:
    print("No Solution")