Codeforces Round #740 (Div. 2, based on VK Cup 2021 - Final (Engine))B. Charmed by the Game 题解

题目大意

$Alice$和$Bob$打球，两个人轮流发球。每一轮以某一方胜利宣告结束。接球方胜利，则称为“打破发球”；发球方胜利，则称为“保持发球”。

已知$Alice$赢了$a$轮，$Bob$赢了$b$轮，但不清楚谁先发球，也不清楚谁赢了哪轮游戏。让$k$表示“打破发球”的次数，现在请你求出$k$的所有可能取值。

输入描述

每次测试包含多组测试用例。

第一行一个$t(1\le t\le 10^3)$表示测试用例的数目，接下来t行每行一个测试用例包含$a$和$b(0\le a,b\le 10^5;a+b>0)$分别表示$Alice$和$Bob$获得胜利的游戏轮数。

保证所有测试用例的$a+b$之和不超过$2\times 10^5$。

输出描述

对每组测试用例输出两行。

第一行一个$m(1\le m\le a+b+1)$表示$k$的所有可能取值有多少种。

第二行输出$m$个不同的整数$k_1,k_2,\dots k_m(0\le k_1<k_2<\dots <k_m\le a+b)$,表示按照升序排列的所有$k$的可能取值。

样例输入

3
2 1
1 1
0 5

样例输出

4
0 1 2 3
2
0 2
2
2 3

思路

假设$Alice$先发球，一共进行了$a+b$轮游戏。如果$a+b$是偶数，那么两人都发了$\frac{a+b}{2}$轮球。如果$a+b$是奇数，那么$Alice$比$Bob$多发一轮球。将两种情况整合成数学语言，那么$Alice$发了$p=\lceil \frac{a+b}{2}\rceil$轮球，$Bob$发了$q=\lfloor \frac{a+b}{2}\rfloor$轮球。

假设$Bob$“打破发球”的轮数是$x(0\le x\le p)$，$Alice$“打破发球”的轮数是$y(0\le y\le q)$，也就是说：$Bob$作为接球方赢了$x$轮，作为发球方赢了$b-x$轮；$Alice$作为接球方赢了$y$轮，作为发球方赢了$a-y$轮。因此，$Bob$作为接球方输了$a-y$轮，$Alice$作为接球方输了$b-x$轮。已知$Bob$接了$p$轮球，$Alice$接了$q$轮球，对于固定的某一方，无论是接球还是发球只有输赢两种状态，我们得到方程：$x+(a-y)=p$，$y+(b-x)=q$，变形得$x-y=p-a=b-q$。由于$p-a=b-q$，我们任取$x-y=p-a$，得约束方程$y=x+(a-p)(0\le x\le p,0\le y\le q)$。只需要求出所有满足约束方程的$(x,y)$，再代入$k=x+y$即可。

当然，上面给出的是$Alice$先发球的情况，$Alice$获胜的轮数为$a$，发了$p$轮球。对于$Bob$先发球的情况，$Bob$仍发了$p$轮球，获胜的轮数却为$b$，因此我们只需交换$a,b$的值，再重复一次上面的步骤即可。

考点

数学模型的建立
约束方程的推导

AC代码

#include<bits/stdc++.h>
using namespace std;
const int maxn = 2e5 + 5;
int T, a, b, p, q, k[maxn], vis[maxn], ans;
void init() {
	ios::sync_with_stdio(0);
	cin.tie(0), cout.tie(0);
	cin >> T;
}
int y(int x) {
	return x + a - p;
}
void pd() {
	for (int i = 0; i <= p; i++) {
		if (y(i) >= 0 && y(i) <= q) {
			if (vis[i + y(i)] == 0)ans++, k[ans] = i + y(i), vis[i + y(i)] = 1;
		}
	}
}
int main()
{
	init();
	while (T--) {
		cin >> a >> b;
		p = ceil((a + b)*1.0 / 2);
		q = (a + b) / 2;
		ans = 0;
		memset(vis, 0, sizeof(vis));
		pd();
		swap(a, b);
		pd();
		cout << ans << endl;
		sort(k + 1, k + 1 + ans);
		for (int i = 1; i <= ans; i++) {
			cout << k[i] << " ";
		}
		cout << endl;
	}
    return 0;
}

心得

$tourist$果然是世界第一啊，他出的这道$B$题实在是让我痛心疾首，签出个$A$后就罚了两小时坐。一开始我是尝试去找规律，以为是一道构造题，结果在纸上画了半天啥也推导不出来。比赛最后我干脆直接贪心过样例，没想到试的那种规律还真和最后的结论差不多$($见$tourist$的题解$)$。赛后看题解才发现这道题用的是宏观的思想，类似建立数学模型，得到数学方程吧，最后和线性规划差不多，只是用计算机去求出所有的解。

这题不会超时，因为是所有测试用例中的$a+b$之和不会超过$2\times 10^5$，枚举是$O(n)$的，排序是$O(nlogn)$的，只需要推导出中间结论。按照$tourist$题解最后的结论，我还真差不多推导出来了，用了一下午。不过完全没必要，毕竟$tourist$本人都没给出证明过程。考场上是绝对没有时间推导出最终结论的。