結果

問題 No.2948 move move rotti
ユーザー zeronosu77108
提出日時 2024-10-26 16:38:26
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 372 ms / 4,000 ms
コード長 1,296 bytes
コンパイル時間 16,787 ms
コンパイル使用メモリ 401,904 KB
実行使用メモリ 8,708 KB
最終ジャッジ日時 2024-10-26 16:38:49
合計ジャッジ時間 22,067 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 28
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: unnecessary parentheses around assigned value
  --> src/main.rs:21:26
   |
21 |         dp[1 << x][x] |= (1 << i);
   |                          ^      ^
   |
   = note: `#[warn(unused_parens)]` on by default
help: remove these parentheses
   |
21 -         dp[1 << x][x] |= (1 << i);
21 +         dp[1 << x][x] |= 1 << i;
   |

ソースコード

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![0; n]; 1 << n];
    for (i, &x) in x.iter().enumerate() {
        dp[1 << x][x] |= (1 << i);
    }

    let mut ok = false;
    for _ in 0..n {
        let mut next = vec![vec![0; n]; 1 << n];
        for i in 0..1 << n {
            for j in 0..n {
                if i >> j & 1 == 0 { continue; }
                for &k in g[j].iter() {
                    if i >> k & 1 == 1 { continue; }
                    next[i | (1 << k)][k] |= dp[i][j];
                }
            }
        }

        let mut tmp = vec![0; n];
        for i in 0..1 << n {
            for j in 0..n {
                tmp[j] |= dp[i][j];
            }
        }
        ok |= tmp.iter().any(|t| *t == (1 << k) - 1);
        dp = next;
    }


    let mut tmp = vec![0; n];
    for i in 0..1 << n {
        for j in 0..n {
            tmp[j] |= dp[i][j];
        }
    }
    ok |= tmp.iter().any(|t| *t == (1 << k) - 1);

    println!("{}", if ok { "Yes" } else { "No" })
}
0