HDU 6045 Is Derek lying?（水~）

Description
n道题，每道题有A,B,C三个选项，正确答案只有一个，给出两个人的答案和两个人说的自己答对的题目数量，只要有一种可能的正确答案取值使得两个人答对的题目数量他们说的一样就说他们没有说谎，否则有人说谎
Input
第一行一整数T表示用例组数，每组用例首先输入三个整数n,x,y分别表示总题数和两个人说的自己答对的题目数量，之后输入两个长度为n的只由ABC组成的字符串表示两个人的答案(1<=n<=8e4,0<=x,y<=n,sum{n}<=3e5)
Output
对于每组用例，如果有人说谎则输出Lying，否则输出Not lying
Sample Input
2
3 1 3
AAA
ABC
5 5 0
ABCBC
ACBCB
Sample Output
Not lying
Lying
Solution
设两个人答案相同的题目有num1道，不同的有num2道，对于答案相同的题目只有两种可能，同时对或同时错，对于答案不同的题目有三种可能，某个人对或两个人全错，注意到两个人同时答对的题目至多只有num1=min(num1,x,y)道，我们不妨假设这些题目两个人都答对了，那么答案不同的题目需要满足第一个人答对x-num1道（这些题第二个人就得错），第二个人答对y-num1道（这些题第一个人就得错），如果还有多的题目只需要两个人全错即可，所以只要x+y-2*num1<=num2就没有人说谎，否则一定有人说谎
Code

#include<cstdio>
#include<algorithm>
using namespace std;
const int maxn=80001;
int T,n,x,y;
char a[maxn],b[maxn];
int main()
{
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d%d%d",&n,&x,&y);
        int num1=0,num2=0;
        scanf("%s%s",a,b);
        for(int i=0;i<n;i++)
            if(a[i]==b[i])num1++;
            else num2++;
        if(num1>x)num1=x;
        if(num1>y)num1=y;
        if((x+y-2*num1)>num2)printf("Lying\n");
        else printf("Not lying\n");
    }
    return 0;
}