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 Rust (judge verdict: Accepted)

fn run() {
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).unwrap();
    let mut s: String = s.trim().chars().collect();
    while s.len() > 3 {
        let n = s.len();
        let mut replace = vec![false; n];
        let t: Vec<char>= s.chars().collect();
        for i in 2..n {
            if t[i - 2] == 'A' && t[i - 1] == 'B' && t[i] == 'C' {
                replace[i - 2] = true;
                replace[i - 1] = true;
                replace[i] = true;
            }
        }
        let mut cond = [false; 3];
        for i in 0..n {
            if !replace[i] {
                let k = t[i] as usize - 'A' as usize;
                cond[k] = true;
            }
        }
        let mut update = false;
        let to = ["A", "B", "C"];
        for i in 0..3 {
            if !cond[i] {
                if update {
                    println!("No");
                    return;
                }
                update = true;
                s = s.replace("ABC", to[i]);
            }
        }
        if !update {
            println!("No");
            return;
        }
    }
    if s != "ABC" {
        println!("No");
    } else {
        println!("Yes");
    }
}

fn main() {
    run();
}