多校1001 HDU-6045. Is Derek lying? 逻辑题

题目链接：HDU-6045
大意：
两个人分别回答一串问题，得到两个答案字符串，并且知道每个人得分，答案只有ABC三种。
现在给出两个字符串，判断其中第一个人是否说谎。

样例：
Sample Input
2
3 1 3
AAA
ABC
5 5 0
ABCBC
ACBCB

Sample Output
Not lying
Lying

思路：
马上想到要考察相同的字母，因为这些字母比较特殊，要么同错要么同对。
然后基本按照题解的思路来解。

首先，我们统计出Derek和Alfia答案相同的题目数量k1和答案不同的题目数量k2. 对于两人答案相同的题目，共有以下两种情况：a.两人都对b.两人都错 对于两人答案不同的题目，共有以下三种情况： c.Derek对Alfia错 d.Alfia对Derek错 e.两人都错 于是我们可以列出一些方程： k1+k2=n a+b=k1 c+d+e=k2 a+c=x a+d=y 又a,b,c,d,e均为非负整数，且满足a,b<=k1;c,d,e<=k2 将a,b,d,e全部用c替换后需要同时满足以下四个条件：0<=c<=k2 x-y<=c<=k2+x-y (x-y)/2<=c<=(k2+x-y)/2 x-k1<=c<=x 我们只需要判断这四段区间存不存在公共的整数点，如果存在，则说明Derek没有说谎；如果不存在，则说明Derek在说谎。

实现代码：

#include<bits/stdc++.h>using namespace std;typedef long long ll;#define mem(s,t) memset(s,t,sizeof(s))#define D(v) cout<<#v<<" "<<v<<endl#define inf 0x3f3f3f3f//#define LOCALconst int MAXN =80000+10;int main(){    int t;scanf("%d",&t);    while(t--){        int  n,x,y;        scanf("%d%d%d",&n,&x,&y);        char s1[MAXN],s2[MAXN];        scanf("%s%s",&s1,&s2);        int k1=0,k2=0;        for(int i=0;i<n;i++){            if(s1[i]==s2[i]){                k1++;            }        }        k2=n-k1;        double l=0;        l=max(0.0,1.0*x-y);l=max(l,1.0*x-k1);        double r=inf;        r=min(k2*1.0,1.0*(k2+x-y)/2);r=min(r,x*1.0);r=min(r,1.0*(k2+x-y));        int temp=-1;        for(int i=l;i<=r;i++){            temp=i;        }        if(temp*1.0>=l && temp*1.0<=r){            puts("Not lying");        }else puts("Lying");    }    return 0;}

PS.一开始做是wa了几次..想简单了，虽然想到要点但是没有列出四条方程，所以遇到这种问题重要的是找出共同点，利用公式解题，简单地逻辑判断很容易漏掉情况