結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 1 ms
6,812 KB
testcase_02 AC 1 ms
6,816 KB
testcase_03 AC 1 ms
6,812 KB
testcase_04 AC 464 ms
6,940 KB
testcase_05 AC 1 ms
6,940 KB
testcase_06 AC 1 ms
6,944 KB
testcase_07 AC 961 ms
6,944 KB
testcase_08 WA -
testcase_09 AC 350 ms
6,940 KB
testcase_10 AC 1 ms
6,940 KB
testcase_11 WA -
testcase_12 AC 1 ms
6,940 KB
testcase_13 AC 1 ms
6,940 KB
testcase_14 AC 1 ms
6,940 KB
testcase_15 AC 1 ms
6,944 KB
testcase_16 AC 16 ms
6,940 KB
testcase_17 AC 1 ms
6,940 KB
testcase_18 AC 325 ms
6,940 KB
testcase_19 AC 334 ms
6,944 KB
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 AC 1,846 ms
6,944 KB
testcase_25 WA -
testcase_26 AC 1 ms
6,940 KB
testcase_27 AC 1 ms
6,944 KB
testcase_28 AC 1 ms
6,944 KB
testcase_29 AC 1 ms
6,940 KB
testcase_30 AC 1 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

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];
        }
    }


    let mut ok = false;

    for s in 0..1 << k {
        let mut t = s;
        while t > 0 {
            for i in 0..n {
                if dp[s][i] { continue; }
                for (k, &u) in g[i].iter().enumerate() {
                    if !dp[s ^ t][u] { continue; }
                    for &v in g[i].iter().skip(k + 1) {
                        if dp[s ^ t][u] && dp[t][v] {
                            dp[s][i] = true;
                        }
                    }
                }
            }
            t = (t - 1) & s;
        }
    }

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