#909204 (Rust) No.2037 NAND Pyramid

• 問題: No.2037 NAND Pyramid
• ユーザー: koba-e964
• 提出日時: 2023-08-31 23:00:05
• 言語: Rust (1.77.0 + proconio)
• 結果: AC
• 実行時間: 9 ms / 2,000 ms
• コード長: 1,913 bytes
• コンパイル時間: 13,592 ms
• コンパイル使用メモリ: 380,392 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-06-11 01:39:08
• 合計ジャッジ時間: 14,530 ms
• ジャッジサーバーID （参考情報）: judge1 / judge4

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	1 ms; 5,248 KB
testcase_01	AC	1 ms; 5,248 KB
testcase_02	AC	1 ms; 5,376 KB
testcase_03	AC	1 ms; 5,376 KB
testcase_04	AC	1 ms; 5,376 KB
testcase_05	AC	1 ms; 5,376 KB
testcase_06	AC	1 ms; 5,376 KB
testcase_07	AC	4 ms; 5,376 KB
testcase_08	AC	4 ms; 5,376 KB
testcase_09	AC	3 ms; 5,376 KB
testcase_10	AC	5 ms; 5,376 KB
testcase_11	AC	4 ms; 5,376 KB
testcase_12	AC	2 ms; 5,376 KB
testcase_13	AC	2 ms; 5,376 KB
testcase_14	AC	5 ms; 5,376 KB
testcase_15	AC	4 ms; 5,376 KB
testcase_16	AC	5 ms; 5,376 KB
testcase_17	AC	8 ms; 5,376 KB
testcase_18	AC	8 ms; 5,376 KB
testcase_19	AC	5 ms; 5,376 KB
testcase_20	AC	5 ms; 5,376 KB
testcase_21	AC	9 ms; 5,376 KB
testcase_22	AC	9 ms; 5,376 KB
testcase_23	AC	6 ms; 5,376 KB
testcase_24	AC	6 ms; 5,376 KB
testcase_25	AC	5 ms; 5,376 KB
testcase_26	AC	9 ms; 5,376 KB
testcase_27	AC	5 ms; 5,376 KB
testcase_28	AC	5 ms; 5,376 KB
testcase_29	AC	8 ms; 5,376 KB
testcase_30	AC	6 ms; 5,376 KB
testcase_31	AC	9 ms; 5,376 KB
testcase_32	AC	5 ms; 5,376 KB
testcase_33	AC	0 ms; 5,376 KB
testcase_34	AC	1 ms; 5,376 KB
testcase_35	AC	1 ms; 5,376 KB
testcase_36	AC	1 ms; 5,376 KB
testcase_37	AC	1 ms; 5,376 KB
testcase_38	AC	1 ms; 5,376 KB
testcase_39	AC	1 ms; 5,376 KB
testcase_40	AC	1 ms; 5,376 KB
testcase_41	AC	1 ms; 5,376 KB
testcase_42	AC	1 ms; 5,376 KB

ソースコード

// https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8
macro_rules! input {
    ($($r:tt)*) => {
        let stdin = std::io::stdin();
        let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock()));
        let mut next = move || -> String{
            bytes.by_ref().map(|r|r.unwrap() as char)
                .skip_while(|c|c.is_whitespace())
                .take_while(|c|!c.is_whitespace())
                .collect()
        };
        input_inner!{next, $($r)*}
    };
}

macro_rules! input_inner {
    ($next:expr) => {};
    ($next:expr,) => {};
    ($next:expr, $var:ident : $t:tt $($r:tt)*) => {
        let $var = read_value!($next, $t);
        input_inner!{$next $($r)*}
    };
}

macro_rules! read_value {
    ($next:expr, chars) => {
        read_value!($next, String).chars().collect::<Vec<char>>()
    };
    ($next:expr, $t:ty) => ($next().parse::<$t>().expect("Parse error"));
}

fn one_step(s: Vec<char>) -> Vec<char> {
    let n = s.len();
    let mut ans = vec!['1'; n - 1];
    for i in 0..n - 1 {
        if s[i] == '1' && s[i + 1] == '1' {
            ans[i] = '0';
        }
    }
    ans
}

// https://yukicoder.me/problems/no/2037 (3)
// 2 段上に上ると、元々の列のうち、
// (i) 1 が 1 個だけあるところは 0 になる
// (ii) それ以外は同じ数字のまま
// が成り立つ。これを利用して実装できる。
fn main() {
    input! {
        n: usize, k: usize,
        s: chars,
    }
    let med = if (k + n) % 2 == 1 { n - 1 } else { n };
    let mut s = s;
    if med < n {
        s = one_step(s);
    }
    assert_eq!((k + med) % 2, 0);
    if k < med {
        for i in 1..s.len() - 1 {
            if s[i - 1..i + 2] == ['0', '1', '0'] {
                s[i] = '0';
            }
        }
    }
    let x = (med - k) / 2;
    let ans: String = s[x..s.len() - x].iter().cloned().collect();
    println!("{}", ans);
}