对于这道题不能想象的太复杂，正如y总所说，大部分推理题都是枚举题，再看看题目给出的数据范围比较小，也进一步验证了暴力枚举的思想。因此这题直接暴力法，首先从小到大枚举两只狼，然后枚举每个人说的话，看看是否满足题目给定的”只有两个说谎的人，且其中一个是狼”这句话，满足的话则可以退出循环，由于是从小到大枚举的，此时就可以得到最小字典序的方案。

代码

#include<iostream>
#include<algorithm>

using namespace std;
const int N = 110;
int a[N];
int main(){
    int n;
    cin>>n;
    for(int i=1;i<=n;i++) cin>>a[i];
    bool sol=false;
    /*枚举狼人的编号*/
    for(int i=1;i<=n;i++){
        for(int j=1;j<=n;j++){
            if(i==j) continue;
            /*枚举没人说的话看看是否是假话*/
            int fake=0;
            int langfake=0;
            for(int k=1;k<=n;k++){
                if(abs(a[k])==i||abs(a[k])==j){
                    if(a[k]>0){//明明是狼人但却说不是，那么则说谎
                        fake++;
                        if(k==i||k==j) langfake++;//狼人说谎
                    } 
                }else{
                    if(a[k]<0){//明明不是狼人却说是狼人，那么则说谎
                        fake++;
                        if(k==i||k==j) langfake++;
                    }
                }
            }
            if(fake==2&&langfake==1){//符合条件则可以退出了
                cout<<i<<" "<<j;
                sol=true;
                break;
            }
        }
        if(sol) break;
    }

    if(!sol) puts("No Solution");

    return 0;
}