ACM题WA了，求解
请问WA在哪里？我一个一个的假设为假来判断与结论是否矛盾
http://poj.grids.cn/practice/2692/

假币问题
查看 提交 统计 提问
时间限制: 1000ms 内存限制: 65536kB
描述
赛利有12枚银币。其中有11枚真币和1枚假币。假币看起来和真币没有区别，但是重量不同。但赛利不知道假币比真币轻还是重。于是他向朋友借了一架天平。朋友希望赛利称三次就能找出假币并且确定假币是轻是重。例如:如果赛利用天平称两枚硬币，发现天平平衡，说明两枚都是真的。如果赛利用一枚真币与另一枚银币比较，发现它比真币轻或重，说明它是假币。经过精心安排每次的称量，赛利保证在称三次后确定假币。
输入
第一行有一个数字n，表示有n组测试用例。
对于每组测试用例：
输入有三行，每行表示一次称量的结果。赛利事先将银币标号为A-L。每次称量的结果用三个以空格隔开的字符串表示：天平左边放置的硬币 天平右边放置的硬币 平衡状态。其中平衡状态用``up'', ``down'', 或 ``even''表示, 分别为右端高、右端低和平衡。天平左右的硬币数总是相等的。
输出
输出哪一个标号的银币是假币，并说明它比真币轻还是重(heavy or light)。
样例输入
1
ABCD EFGH even
ABCI EFJK up
ABIJ EFGH even
样例输出
K is the counterfeit coin and it is light.

C/C++ code

# include<stdio.h># include<string.h>char a[3][16];int isheavy(char c){    int i;    char * p;    for(i=0;i<3;i++)    {        if(strchr(a[i],c) == NULL)        {            if(a[i][10]!='e')                return 0;        }        else        {            p = strchr(a[i],c);            if(p-a[i]<=3)            {                if(a[i][10]!='u')                    return 0;            }            else                if(a[i][10]!='d')                    return 0;        }    }    return 1;}int islight(char c){    int i;    char * p;    for(i=0;i<3;i++)    {        if(strchr(a[i],c) == NULL)        {            if(a[i][10]!='e')                return 0;        }        else        {            p = strchr(a[i],c);            if(p-a[i]<=3)            {                if(a[i][10]!='d')                    return 0;            }            else                if(a[i][10]!='u')                    return 0;        }    }    return 1;}int main(void){    int t,j;    char i;    scanf("%d%*c",&t);    while(t--)    {        for(j=0;j<3;j++)            gets(a[j]);        for(i='A';i<='L';i++)        {            if(isheavy(i))            {                printf("%c is the counterfeit coin and it is heavy.\n",i);                break;            }            if(islight(i))            {                printf("%c is the counterfeit coin and it is light.\n",i);                break;            }        }    }    return 0;}

[解决办法]

探讨

if(a[i][10]!='e')
if(a[i][10]!='d')
if(a[i][10]!='u')
LZ的以上语句假定天平两边总是4枚银币,因此总是从第11个字符开始是平衡状态``up'', ``down'', 或 ``even''.但题目没有这样规定。实际上可能有如下形式的输入：
1
ABCD EFGH even
IJ KL up
IK JL up

[解决办法]
谢谢4楼的指正！我的例子错了。现另举几个：
6
ABCD EFGH even
IJ KA up
JK AB up
J is the counterfeit coin and it is heavy.
ABCD EFGH even
IJ KA up
JK AB down
K is the counterfeit coin and it is light.
ABCD EFGH even
IJ KA up
JK AB even
I is the counterfeit coin and it is heavy.
ABCD EFGH even
IJ KA down
JK AB up
K is the counterfeit coin and it is heavy.
ABCD EFGH even
IJ KA down
JK AB down
J is the counterfeit coin and it is light.
ABCD EFGH even
IJ KA down
JK AB even
I is the counterfeit coin and it is light.