1089 狼人杀-简单版 （20 分）

1089 狼人杀-简单版 （20 分）
以下文字摘自《灵机一动·好玩的数学》：“狼人杀”游戏分为狼人、好人两大阵营。在一局“狼人杀”游戏中，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.有两个说谎的玩家，其中一个为狼，另外一个为人类；

因此，可以枚举两只狼和另外一个说谎者，每次将两个说谎玩家说的话取反，这样所有的玩家说的都是真话，然后对这n个玩家的话进行推理，如果与“事实”矛盾，则当前假设不成立

#include <bits/stdc++.h>
using namespace std;
int A[128];
bool help(int i, int j, int lier, int n){
    for(int k = 1; k <= n; ++k){
        if(k == i || k == j) continue;
        A[lier] = -A[lier]; A[k] = -A[k];//说谎玩家取反
        vector<int> v(n + 1);//v中的取值为0（未进行推理），1（人类），-1（狼）
        v[i] = v[j] = -1;//i, j为两只狼
        bool tag = 1;
        for(int l = 1; l <= n; ++l){
            int w = abs(A[l]), val = A[l] / w;
            if(v[w] * val < 0){//与事实矛盾
                tag = 0;
                break;
            }
            v[w] = val;
        }
        int count = 0;
        for(int l = 1; l <= n; ++l) if(v[l] == -1) ++count;//有且只有两只狼
        if(tag && count == 2) return true;
        A[lier] = -A[lier]; A[k] = -A[k];
    }
    return false;
}
void WerewolfSol(int n){
    for(int i = 1; i <= n - 1; ++i){
        for(int j = i + 1; j <= n; ++j){
            if(help(i, j, i, n) || help(i, j, j, n)){
                printf("%d %d\n", i, j);
                return;
            }
        }
    }
    printf("No Solution\n");
}
int main()
{
    int n;
    scanf("%d", &n);
    for(int i = 1; i <= n; ++i){
        scanf("%d", A + i);
    }
    WerewolfSol(n);
    return 0;
}