Problem:
ABC Gene

文字列 ABC で表される遺伝子配列がある。あなたは次の操作を何回か行い、この遺伝子配列を書き換えていくことができる。

文字 A，B，C のうち 1 つを選ぶ。これを x とおく。遺伝子配列に含まれるすべての x をそれぞれ ABC へ同時に置き換える。

A，B，C だけからなる文字列 S が与えられる。遺伝子配列を S に一致させられるか判定せよ。

Constraints

1 ≤ |S| ≤ 5,000

S は A，B，C だけからなる。

Input Format

入力は以下の形式で標準入力から与えられる。

S

Output Format

遺伝子配列を S に一致させられるならば Yes を、一致させられないならば No を一行に出力せよ。

Sample Input 1

ABC

Sample Output 1

Yes

遺伝子配列ははじめから ABC である。

Sample Input 2

AABCC

Sample Output 2

Yes

B を選んで操作を行うと ABC → AABCC となる。

Sample Input 3

AABCABC

Sample Output 3

No

例えば、C を選んで操作を行っても AABCC → AABCABC とはならない。すべての C をそれぞれ ABC へ同時に置き換えるので、実際は AABCC → AABABCABC となる。

Solution in C++14 (judge verdict: Accepted)

#include <iostream>
#include <algorithm>
#include <iomanip>
#include <map>
#include <set>
#include <queue>
#include <stack>
#include <numeric>
#include <bitset>
#include <cmath>

static const int MOD = 1000000007;
using ll = long long;
using u32 = uint32_t;
using namespace std;

template<class T> constexpr T INF = ::numeric_limits<T>::max()/32*15+208;

int main() {
    string s;
    cin >> s;

    vector<string> v, v2;
    v.emplace_back(s);
    int ok = 1;
    while(ok){
        ok = 0;
        for (auto &&t : v) {
            if(t == "ABC"){
                puts("Yes");
                return 0;
            }
            int k = 0;
            for(char C = 'A'; C <= 'C'; ++C){
                string p;
                for (int i = 0; i < t.size(); ++i) {
                    if(i+2 < t.size() && t[i] == 'A' && t[i+1] == 'B' && t[i+2] == 'C') {
                        p += C; i += 2;
                        k = 1;
                    }
                    else p += t[i];
                }
                string q;
                for (char i : p) {
                    if(i == C) q += "ABC";
                    else q += i;
                }
                if(t == q) v2.emplace_back(p);
            }
            ok |= k;
        }
        v.clear();
        v2.swap(v);

    }
    puts("No");
    return 0;
}