結果

問題 No.2948 move move rotti
ユーザー zeronosu77108zeronosu77108
提出日時 2024-10-25 22:11:48
言語 Rust
(1.77.0 + proconio)
結果
WA  
実行時間 -
コード長 1,351 bytes
コンパイル時間 12,888 ms
コンパイル使用メモリ 401,328 KB
実行使用メモリ 13,640 KB
最終ジャッジ日時 2024-10-25 22:12:14
合計ジャッジ時間 22,211 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
13,640 KB
testcase_01 AC 1 ms
6,816 KB
testcase_02 AC 1 ms
6,816 KB
testcase_03 AC 7 ms
6,816 KB
testcase_04 AC 3,522 ms
6,820 KB
testcase_05 WA -
testcase_06 WA -
testcase_07 TLE -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: unused variable: `aa`
  --> src/main.rs:32:9
   |
32 |     for aa in 0..n {
   |         ^^ help: if this is intentional, prefix it with an underscore: `_aa`
   |
   = note: `#[warn(unused_variables)]` on by default

warning: comparison is useless due to type limits
  --> src/main.rs:42:19
   |
42 |             while t >= 0 {
   |                   ^^^^^^
   |
   = note: `#[warn(unused_comparisons)]` on by default

ソースコード

diff # 

use proconio::input;
use proconio::marker::Usize1;

fn main() {
    input! {
        n : usize,
        m : usize,
        k : usize,
        x : [Usize1; k],
        edges : [(Usize1, Usize1); m]
    }

    let mut g = vec![vec![]; n];
    for (u, v) in edges {
        g[u].push(v);
        g[v].push(u);
    }

    let mut dp = vec![vec![false; n]; 1 << k];
    for (i, &x) in x.iter().enumerate() { dp[1 << i][x] = true; }
    for (i, &x) in x.iter().enumerate() {
        for s in 0..1 << k {
            dp[s | (1 << i)][x] |= dp[s][x];
        }
    }

    // for i in 0..n { eprintln!("{} => {:?}", i, g[i]) }


    let mut ok = false;

    for aa in 0..n {
        let mut next = vec![vec![false; n]; 1 << k];
        for s in 0..1 << k {
            let mut t = s;
            for i in 0..n {
                for &u in g[i].iter() {
                    next[s][u] |= dp[s][i];
                }
            }

            while t >= 0 {
                for i in 0..n {
                    for &u in g[i].iter() {
                        next[s][u] |= dp[s ^ t][i] && next[t][u];
                    }
                }
                if t == 0 { break; }
                t = (t - 1) & s;
            }
        }
        dp = next;
    }

    ok |= dp[(1 << k) - 1].iter().any(|&a| a);
    println!("{}", if ok { "Yes" } else { "No" })
}
0