結果

問題 No.2672 Subset Xor Sum
ユーザー powellpowell
提出日時 2024-04-12 22:20:13
言語 Rust
(1.77.0 + proconio)
結果
AC  
実行時間 345 ms / 2,000 ms
コード長 3,741 bytes
コンパイル時間 13,003 ms
コンパイル使用メモリ 379,408 KB
実行使用メモリ 321,920 KB
最終ジャッジ日時 2024-10-02 23:25:50
合計ジャッジ時間 18,373 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 1 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 1 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 1 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 AC 2 ms
5,248 KB
testcase_11 AC 2 ms
5,248 KB
testcase_12 AC 2 ms
5,248 KB
testcase_13 AC 1 ms
5,248 KB
testcase_14 AC 1 ms
5,248 KB
testcase_15 AC 1 ms
5,248 KB
testcase_16 AC 2 ms
5,248 KB
testcase_17 AC 1 ms
5,248 KB
testcase_18 AC 2 ms
5,248 KB
testcase_19 AC 2 ms
5,248 KB
testcase_20 AC 1 ms
5,248 KB
testcase_21 AC 1 ms
5,248 KB
testcase_22 AC 1 ms
5,248 KB
testcase_23 AC 1 ms
5,248 KB
testcase_24 AC 1 ms
5,248 KB
testcase_25 AC 1 ms
5,248 KB
testcase_26 AC 11 ms
11,520 KB
testcase_27 AC 11 ms
11,520 KB
testcase_28 AC 2 ms
5,248 KB
testcase_29 AC 2 ms
5,248 KB
testcase_30 AC 2 ms
5,248 KB
testcase_31 AC 17 ms
7,552 KB
testcase_32 AC 7 ms
5,248 KB
testcase_33 AC 7 ms
5,248 KB
testcase_34 AC 12 ms
5,888 KB
testcase_35 AC 16 ms
7,424 KB
testcase_36 AC 13 ms
6,656 KB
testcase_37 AC 14 ms
7,168 KB
testcase_38 AC 8 ms
5,248 KB
testcase_39 AC 18 ms
7,936 KB
testcase_40 AC 4 ms
5,248 KB
testcase_41 AC 11 ms
5,248 KB
testcase_42 AC 15 ms
7,168 KB
testcase_43 AC 12 ms
6,016 KB
testcase_44 AC 17 ms
8,064 KB
testcase_45 AC 12 ms
5,760 KB
testcase_46 AC 1 ms
5,248 KB
testcase_47 AC 345 ms
321,664 KB
testcase_48 AC 1 ms
5,248 KB
testcase_49 AC 1 ms
5,248 KB
testcase_50 AC 1 ms
5,248 KB
testcase_51 AC 337 ms
321,920 KB
testcase_52 AC 318 ms
321,920 KB
testcase_53 AC 319 ms
321,664 KB
testcase_54 AC 323 ms
321,536 KB
testcase_55 AC 322 ms
321,664 KB
testcase_56 AC 1 ms
5,248 KB
testcase_57 AC 222 ms
222,720 KB
testcase_58 AC 74 ms
77,824 KB
testcase_59 AC 1 ms
5,248 KB
testcase_60 AC 1 ms
5,248 KB
testcase_61 AC 1 ms
5,248 KB
testcase_62 AC 143 ms
138,496 KB
testcase_63 AC 166 ms
169,216 KB
testcase_64 AC 262 ms
264,320 KB
testcase_65 AC 76 ms
78,976 KB
testcase_66 AC 1 ms
5,248 KB
testcase_67 AC 1 ms
5,248 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: variable `N` should have a snake case name
 --> src/main.rs:4:9
  |
4 |     let N = get!(usize);
  |         ^ help: convert the identifier to snake case: `n`
  |
  = note: `#[warn(non_snake_case)]` on by default

warning: variable `A` should have a snake case name
 --> src/main.rs:5:9
  |
5 |     let A = get!(usize;;);
  |         ^ help: convert the identifier to snake case: `a`

ソースコード

diff # 

// 5000 < 2^13

fn main() {
    let N = get!(usize);
    let A = get!(usize;;);

    // 総xorが0にならない場合は拒否
    if A.iter().fold(0, |a, b| a ^ b) != 0 {
        println!("No");
        return;
    }

    // 5001 < N の場合
    // 鳩の巣原理より，同じ数字が2つ以上存在する → これをグループにすれば良い
    if N > 5001 {
        println!("Yes");
        return;
    }

    // dp[i][j] := i番目までの部分列の総xorがjになるものの長さの最小値
    let mut dp = vec![vec![INF; SIZE]; N];

    // 初期化
    dp[0][A[0]] = 1;

    for i in 1..N {
        for j in 0..SIZE {
            chmin! {
                dp[i][j],
                dp[i - 1][j],
                dp[i - 1][j ^ A[i]] + 1,
            };
        }
    }

    // debug2D!(dp);

    if dp[N - 1][0] < N {
        println!("Yes");
    } else {
        println!("No");
    }
}

const INF: usize = 1001001001001001001;
const SIZE: usize = 1 << 13;

mod get_macro {
    //! 入力用マクロ
    //! - 参考：[Rustで競技プログラミング スターターキット](https://qiita.com/hatoo@github/items/fa14ad36a1b568d14f3e)
    /// 入力用マクロ
    #[macro_export]
    macro_rules! get {
        ($t:ty) => {
            {
                let mut line = String::new();
                std::io::stdin().read_line(&mut line).unwrap();
                line.trim().parse::<$t>().unwrap()
            }
        };
        ($($t:ty),*) => {
            {
                let mut line = String::new();
                std::io::stdin().read_line(&mut line).unwrap();
                let mut iter = line.split_whitespace();
                (
                    $(iter.next().unwrap().parse::<$t>().unwrap(),)*
                )
            }
        };
        ($t:ty ; $n:expr) => {
            (0..$n).map(|_|
                get_!($t)
            ).collect::<Vec<_>>()
        };
        ($($t:ty),* ; $n:expr) => {
            (0..$n).map(|_|
                get_!($($t),*)
            ).collect::<Vec<_>>()
        };
        ($t:ty ;;) => {
            {
                let mut line = String::new();
                std::io::stdin().read_line(&mut line).unwrap();
                line.split_whitespace()
                    .map(|t| t.parse::<$t>().unwrap())
                    .collect::<Vec<_>>()
            }
        };
        ($t:ty ;; $n:expr) => {
            (0..$n).map(|_|
                get_!($t ;;)
            ).collect::<Vec<_>>()
        };
    }
}

mod debug_macro {
    //! デバッグ用マクロ
    /// デバッグ用マクロ
    #[macro_export]
    macro_rules! debug {
        ( $($val:expr),* $(,)* ) => {{
            #[cfg(debug_assertions)]
            eprintln!( concat!($(stringify!($val), " = {:?}, "),*), $($val),* );
        }};
    }
    /// 配列用マクロ
    #[macro_export]
    macro_rules! debug2D {
        ( $array:expr ) => {{
            #![cfg(debug_assertions)]
            eprintln!("{}: ", stringify!($array));
            for row in &$array {
                eprintln!("{:?}", row);
            }
        }};
    }
}

mod chmin {
    //! chminの実装
    /// `chmin!{x1, x2, ..., xn}`:`x1`,`x2`,...,`xn`のうち最小のものを、`x1`に代入する
    /// - 代入があったとき、`true`を返す
    #[macro_export]
    macro_rules! chmin {
        ( $a:expr, $b:expr $(,)* ) => {{
            if $a > $b {
                $a = $b;
                true
            } else {
                false
            }
        }};
        ( $a:expr, $b:expr, $c:expr $(,$other:expr)* $(,)* ) => {{
            chmin! {
                $a,
                ($b).min($c)
                $(,$other)*
            }
        }};
    }
}
0