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 <bits/stdc++.h>
using namespace std;
using ll = long long;

string back(string s) {
  int n = s.size();
  string ret;
  int abc[3] = {0};
  vector<bool> used(n);
  bool ok = false;

  for (int i = 0; i < n - 2; i++) {
    if (s[i] == 'A' && s[i + 1] == 'B' && s[i + 2] == 'C') {
      used[i] = used[i + 1] = used[i + 2] = true;
      ok = true;
    }
  }
  if (!ok)
    return "NG";
  for (int i = 0; i < n; i++) {
    if (used[i])
      continue;
    abc[s[i] - 'A']++;
  }
  if (abc[0] > 0 && abc[1] > 0 && abc[2] > 0)
    return "NG";
  char c = abc[0] == 0 ? 'A' : abc[1] == 0 ? 'B' : 'C';
  for (int i = 0; i < n; i++) {
    if (!used[i])
      ret.push_back(s[i]);
    else {
      ret.push_back(c);
      i += 2;
    }
  }

  return ret;
}

int main() {
  string s;
  cin >> s;
  while (s.size() > 3)
    s = back(s);
  if (s == "ABC")
    cout << "Yes" << endl;
  else
    cout << "No" << endl;

  return 0;
}