結果

問題 No.2948 move move rotti
ユーザー srjywrdnprktsrjywrdnprkt
提出日時 2024-10-27 18:08:42
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 240 ms / 4,000 ms
コード長 1,614 bytes
コンパイル時間 8,763 ms
コンパイル使用メモリ 215,072 KB
実行使用メモリ 40,192 KB
最終ジャッジ日時 2024-10-27 18:08:55
合計ジャッジ時間 6,528 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,820 KB
testcase_02 AC 2 ms
6,820 KB
testcase_03 AC 98 ms
19,200 KB
testcase_04 AC 88 ms
40,064 KB
testcase_05 AC 2 ms
6,820 KB
testcase_06 AC 2 ms
6,816 KB
testcase_07 AC 88 ms
40,064 KB
testcase_08 AC 240 ms
40,064 KB
testcase_09 AC 240 ms
40,064 KB
testcase_10 AC 2 ms
6,820 KB
testcase_11 AC 2 ms
6,816 KB
testcase_12 AC 7 ms
6,816 KB
testcase_13 AC 45 ms
21,632 KB
testcase_14 AC 39 ms
19,200 KB
testcase_15 AC 35 ms
9,984 KB
testcase_16 AC 192 ms
33,152 KB
testcase_17 AC 93 ms
19,328 KB
testcase_18 AC 195 ms
40,064 KB
testcase_19 AC 120 ms
40,064 KB
testcase_20 AC 139 ms
40,192 KB
testcase_21 AC 239 ms
40,064 KB
testcase_22 AC 99 ms
40,064 KB
testcase_23 AC 222 ms
40,192 KB
testcase_24 AC 89 ms
40,064 KB
testcase_25 AC 103 ms
40,064 KB
testcase_26 AC 2 ms
6,820 KB
testcase_27 AC 2 ms
6,816 KB
testcase_28 AC 5 ms
6,816 KB
testcase_29 AC 2 ms
6,816 KB
testcase_30 AC 3 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

using namespace std;
using ll = long long;

int main(){
    cin.tie(nullptr);
    ios_base::sync_with_stdio(false);

    //N-1回以内に集合できるか？
    //dp(i, S, j)=iから通った頂点集合がSの状態でjに行けるか？
    //iからは|S|回目にjに行ける。

    int N, M, K, U, V, L, x, y;
    cin >> N >> M >> K;
    vector<int> X(K);
    vector<vector<int>> E(N);
    for (int i=0; i<K; i++){
        cin >> X[i];
        X[i]--;
    }
    for (int i=0; i<M; i++){
        cin >> U >> V; U--; V--;
        E[U].push_back(V);
        E[V].push_back(U);
    }
    L = 1<<N;

    vector dp(K, vector(L, vector<bool>(N)));
    for (int i=0; i<K; i++){
        dp[i][1<<X[i]][X[i]] = 1;
        for (int j=0; j<L; j++){
            for (int k=0; k<N; k++){
                if (!dp[i][j][k]) continue;
                for (auto x : E[k]){
                    if (j>>x & 1) continue;
                    dp[i][j|(1<<x)][x] = 1;
                }
            }
        }
    }
    //i回目にjから行ける点の集合
    vector v(N+1, vector<int>(K));
    for (int i=0; i<K; i++){
        for (int j=0; j<L; j++){
            for (int k=0; k<N; k++){
                if (dp[i][j][k]){
                    U = __builtin_popcount(j);
                    v[U][i] |= 1<<k;
                }
            }
        }
    }

    for (int i=1; i<=N; i++){
        x = L-1;
        for (int j=0; j<K; j++) x &= v[i][j];
        
        if (x != 0){
            cout << "Yes" << endl;
            return 0;
        }
    }

    cout << "No" << endl;


    return 0;
}
0