📝 题目大意

给定 $W$ 和 $B$，问无限重复字符串 wbwbwwbwbwbw 得到的无限字符串中，是否存在一个子串恰好包含 $W$ 个 w 和 $B$ 个 b。

💡 解题思路

1. 题目分析：基础模式 wbwbwwbwbwbw 长度为 $12$，其中包含 $7$ 个 w 和 $5$ 个 b。由于 $W, B \leq 100$，目标子串长度 $L = W + B \leq 200$。模式串是无限循环的，具有周期性，因此任何长度不超过 $200$ 的子串必然出现在模式串重复足够多次后的有限前缀中。

2. 算法推导：本题数据范围极小（$W, B \leq 100$），直接枚举即可。将基础模式重复 $20$ 次得到字符串 $S$（长度 $240$），足以覆盖任意一个长度 $\leq 200$ 的子串的所有可能起始位置。然后枚举 $S$ 中所有长度为 $L = W + B$ 的子串，统计其中 w 和 b 的数量，若与给定的 $W, B$ 一致则输出 Yes，否则枚举结束后输出 No。

3. 边界与细节：

   • 当 $W = 0$ 或 $B = 0$ 时同样适用，但并非所有组合都合法（如样例 2：$W=3, B=0$ 输出 No），因为模式串中 w 和 b 的分布是固定的，并非任意比例都能凑出。
   • 确保重复次数足够：$20 \times 12 = 240 \geq 200$，绰绰有余。若 $W+B$ 较大（接近 $200$），需要保证 $S$ 的长度至少为 $W+B$ 加上一个周期长度以覆盖跨边界的子串，这里 $240$ 足够。
   • 子串必须连续，不能随意拼接。

⏱️ 复杂度分析

• 时间复杂度：$S$ 的长度为 $240$，枚举子串起点 $i$ 有 $O(|S|)$ 种，每个子串需要 $O(L)$ 统计字符，其中 $L = W+B \leq 200$。总复杂度为 $O(|S| \cdot L) = O(240 \times 200) = O(1)$，常数级别，完全可行。
• 空间复杂度：仅需存储字符串 $S$（长度 $240$），以及若干计数变量，空间复杂度为 $O(|S|) = O(1)$。

💻 标准代码 (C++)

#include <iostream>
#include <string>
using namespace std;

int main() {
    int W, B;
    cin >> W >> B;

    // 基础模式：长度为 12，包含 7 个 'w' 和 5 个 'b'
    string base = "wbwbwwbwbwbw";

    // 将模式重复 20 次得到足够长的字符串 S（长度 240）
    // 由于 W + B <= 200，这足以覆盖所有可能的子串
    string S;
    for (int i = 0; i < 20; i++) {
        S += base;
    }

    int len = W + B;  // 目标子串的长度
    bool found = false;

    // 枚举 S 中所有长度为 len 的子串
    for (int i = 0; i + len <= S.length(); i++) {
        int cnt_w = 0, cnt_b = 0;
        // 统计当前子串中 'w' 和 'b' 的数量
        for (int j = i; j < i + len; j++) {
            if (S[j] == 'w') cnt_w++;
            else cnt_b++;  // 非 'w' 即 'b'
        }
        // 如果当前子串恰好包含 W 个 'w' 和 B 个 'b'，则找到答案
        if (cnt_w == W && cnt_b == B) {
            found = true;
            break;
        }
    }

    cout << (found ? "Yes" : "No") << endl;

    return 0;
}