結果

問題 No.3503 Brackets Stack Query 2
コンテスト
ユーザー ガルム
提出日時 2026-04-18 14:14:17
言語 Rust
(1.94.0 + proconio + num + itertools)
コンパイル:
/usr/bin/rustc_custom
実行:
./target/release/main
結果
AC  
実行時間 24 ms / 2,000 ms
コード長 2,317 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 753 ms
コンパイル使用メモリ 206,020 KB
実行使用メモリ 29,312 KB
最終ジャッジ日時 2026-04-18 14:14:23
合計ジャッジ時間 6,263 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

use std::io::{self, Read};

#[derive(Clone, Copy, PartialEq, Eq)]
enum Token {
    LParen,
    Bar,
    RParen,
    Good,
}

struct Node {
    token: Token,
    prev: usize,
}

fn push(nodes: &mut Vec<Node>, top: usize, token: Token) -> usize {
    nodes.push(Node { token, prev: top });
    nodes.len() - 1
}

fn token_at(nodes: &[Node], top: usize) -> Option<Token> {
    if top == 0 {
        None
    } else {
        Some(nodes[top].token)
    }
}

fn append_char(nodes: &mut Vec<Node>, top: usize, c: &str) -> usize {
    let token = match c {
        "(" => Token::LParen,
        "|" => Token::Bar,
        ")" => Token::RParen,
        _ => unreachable!(),
    };

    let original_top = push(nodes, top, token);
    if token != Token::RParen {
        return original_top;
    }

    let mut p = nodes[original_top].prev;
    if token_at(nodes, p) == Some(Token::Good) {
        p = nodes[p].prev;
    }
    if token_at(nodes, p) != Some(Token::Bar) {
        return original_top;
    }

    p = nodes[p].prev;
    if token_at(nodes, p) == Some(Token::Good) {
        p = nodes[p].prev;
    }
    if token_at(nodes, p) != Some(Token::LParen) {
        return original_top;
    }

    let rest = nodes[p].prev;
    if token_at(nodes, rest) == Some(Token::Good) {
        rest
    } else {
        push(nodes, rest, Token::Good)
    }
}

fn is_good(nodes: &[Node], top: usize) -> bool {
    top == 0 || (nodes[top].token == Token::Good && nodes[top].prev == 0)
}

fn main() {
    let mut input = String::new();
    io::stdin().read_to_string(&mut input).unwrap();
    let mut it = input.split_whitespace();

    let q: usize = it.next().unwrap().parse().unwrap();
    let mut nodes = vec![Node {
        token: Token::Good,
        prev: 0,
    }];
    let mut states = vec![0_usize; q + 1];
    let mut len = 0_usize;
    let mut out = String::new();

    for _ in 0..q {
        let ty = it.next().unwrap();
        if ty == "1" {
            let c = it.next().unwrap();
            let top = append_char(&mut nodes, states[len], c);
            len += 1;
            states[len] = top;
        } else {
            len -= 1;
        }

        if is_good(&nodes, states[len]) {
            out.push_str("Yes\n");
        } else {
            out.push_str("No\n");
        }
    }

    print!("{}", out);
}
0