結果

問題 No.2948 move move rotti
ユーザー Xinyuan HuangXinyuan Huang
提出日時 2024-11-15 11:59:26
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 241 ms / 4,000 ms
コード長 1,253 bytes
コンパイル時間 4,846 ms
コンパイル使用メモリ 289,668 KB
実行使用メモリ 40,320 KB
最終ジャッジ日時 2024-11-15 11:59:36
合計ジャッジ時間 7,730 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 28
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

int main() {
    std::cin.tie(nullptr)->sync_with_stdio(false);
    int n, m, k;
    std::cin >> n >> m >> k;
    std::vector<int> a(k);
    for (auto &x : a) std::cin >> x, --x;
    std::vector<std::vector<int>> g(n);
    for (int i = 0; i < m; ++i) {
        int u, v;
        std::cin >> u >> v, --u, --v;
        g[u].push_back(v);
        g[v].push_back(u);
    }
    std::vector dp(k, std::vector(1 << n, std::vector<bool>(n)));
    for (int i = 0; i < k; ++i)
        dp[i][1 << a[i]][a[i]] = 1;
    for (int i = 0; i < k; ++i)
        for (unsigned mask = 0; mask < (1 << n); ++mask)
            for (int j = 0; j < n; ++j) if (dp[i][mask][j])
                for (auto &nj : g[j]) if (~mask >> nj & 1)
                    dp[i][mask | 1 << nj][nj] = 1;
    std::vector turn(n + 1, std::vector<int>(n));
    for (int i = 0; i < k; ++i)
        for (unsigned mask = 0; mask < (1 << n); ++mask)
            for (int j = 0; j < n; ++j) if (dp[i][mask][j])
                turn[std::popcount(mask)][j] |= 1 << i;
    int res = 0;
    for (int step = 0; step <= n; ++step)
        for (int i = 0; i <= n; ++i)
            res |= (turn[step][i] == (1 << k) - 1);
    std::cout << (res ? "Yes" : "No") << '\n';
    return 0;
}
0