[ARC157A] XXYYX 题解

题目大意

确定是否存在一个由 X 和 Y 组成的长度为 Y 的字符串 $S$ ，它满足以下条件。

在 $S$ 中的 $N-1$ 对相邻字符中，正好有 $A$ 个 XX，$B$ 个 XY，$C$ 个 YX，$D$ 个 YY。

简要分析

如果我们固定 $S$ 的第一个和最后一个字符，XY 和 YX 的数字之差将是唯一确定的，与中间的字符无关。例如，如果 $S$ 以 X 开始，以 Y 结束，那么 XY 一定比 YX 多出现一次，我们有 B-C=1。通过类似地考虑其他情况，我们可以看到，$\mid B-C\mid \le 1$ 必须成立，答案才是肯定的。

当 $\mid B-C\mid =1$ 时，一个期望的字符串 $S$ 总是存在的。现在，让我们忽略 $A$ 和 $D$ 的条件。

如果 $B-C=1$，$S\prime =XYXY...XY$，如果 $B-C=-1$ ，$S\prime =YXYX...YX$。

然后，在 $S\prime$ 的开头和结尾处相应地加上 $(A-1)$Xs 和 $(D-1)$Ys，得到一个想要的字符串 $S$。

例如，你可以让 $S\prime =XYXY...XYX$（$B$ 个 XYs 后跟一个 X ），然后在 $S\prime$ 中相应地添加 $(A-1)$ 个 Xs 和 $(D-1)$ 个 Ys，得到一个所需的字符串 $S$。

最后，当 $B=C=0$ 时，字符串的唯一可能形式是 XXX…X 或 YYY…Y。

若答案是 $Yes$，当且仅当 $A$ 和 $D$ 中至少有一个是 $0$。

代码实现

#include <cstdio>
#include <iostream>
#include <algorithm>
using namespace std;
signed main()
{
	int n, a, b, c, d;
	scanf("%d%d%d%d%d", &n, &a, &b, &c, &d);
	if (abs(b - c) >= 2)
		cout << "No";
	else if (b == 0 && c == 0 && a > 0 && d > 0)
		cout << "No";
	else
		cout << "Yes";
}