#include <iostream>
#include <cstdio>
using namespace std;

char lefti[3][7],righti[3][7];//保存左边的状态
//保存右边的状态
char result[3][10];//保存三种结果(even,up,down)，都是指右边
int status[12];//12枚硬币的状态 0，-1，1 表示正常，轻，重

//判断是否满足条件的函数
bool balance(){
    int weightR=0;//保存右边的重量
    int weightL=0;//保存左边的重量
    for(int i=0;i<3;++i){
    int weightR=0;//保存右边的重量
    int weightL=0;//保存左边的重量
        for(int j=0;j<6&&lefti[i][j];++j){
            weightL+=status[lefti[i][j]-'A'];
            weightR+=status[righti[i][j]-'A'];
        }
        //三个都成立才能出去返回true，我一开始写成if里面是正确语句，返回true，这样导致一次正确就返回了true
        if(weightL==weightR&&result[i][0]!='e')
            return false;
        if(weightL>weightR&&result[i][0]!='u')
            return false;
        if(weightL<weightR&&result[i][0]!='d')
            return false;
    }
    return true;
}

//主函数中进行枚举
int main()
{
    int i,j;
    //有n组测试用例
    int n;
    scanf("%d",&n);
    //读入每一次的结果
    for(int j=0;j<n;++j){
        for(i=0;i<3;++i){
            scanf("%s%s%s",lefti[i],righti[i],result[i]);
        }
        //先把所有的硬币都赋值成正常的
        for(i=0;i<12;++i){
            status[i]=0;
        }
        //枚举所有的24种情况
        for(i=0;i<12;++i){
            status[i]=1;
            if(balance())
                break;
            status[i]=-1;
            if(balance())
                break;
            //执行到这一步说明i枚硬币是真币，就要将他还原成0
            status[i]=0;
        }
        printf("%c is the counterfeit coin and it is %s.\n",'A'+i,status[i]>0?"heavy":"light");
    }
    return 0;
}

1.这道题乍一看无从下手，但是仔细推敲发现题目保证给出的三组方案一定能得到结果，所以我们就放心大胆的去试了。枚举所有可能发生的24种情况，再调用事先写好的判断是否能成立的函数，一组一组判定，直到判定正确，说明枚举的这个情况是正确的。