結果

問題 No.2948 move move rotti
ユーザー ATMATM
提出日時 2024-10-25 22:05:16
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 409 ms / 4,000 ms
コード長 2,833 bytes
コンパイル時間 2,075 ms
コンパイル使用メモリ 183,668 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-10-25 22:05:54
合計ジャッジ時間 6,111 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 160 ms
6,944 KB
testcase_04 AC 42 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 43 ms
6,944 KB
testcase_08 AC 395 ms
6,940 KB
testcase_09 AC 396 ms
6,940 KB
testcase_10 AC 2 ms
6,940 KB
testcase_11 AC 2 ms
6,940 KB
testcase_12 AC 9 ms
6,944 KB
testcase_13 AC 23 ms
6,940 KB
testcase_14 AC 20 ms
6,940 KB
testcase_15 AC 57 ms
6,940 KB
testcase_16 AC 327 ms
6,940 KB
testcase_17 AC 158 ms
6,944 KB
testcase_18 AC 304 ms
6,940 KB
testcase_19 AC 107 ms
6,940 KB
testcase_20 AC 156 ms
6,944 KB
testcase_21 AC 409 ms
6,944 KB
testcase_22 AC 59 ms
6,944 KB
testcase_23 AC 317 ms
6,940 KB
testcase_24 AC 45 ms
6,944 KB
testcase_25 AC 68 ms
6,944 KB
testcase_26 AC 2 ms
6,940 KB
testcase_27 AC 2 ms
6,940 KB
testcase_28 AC 6 ms
6,944 KB
testcase_29 AC 2 ms
6,940 KB
testcase_30 AC 3 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

#define CPP_STR(x) CPP_STR_I(x)
#define CPP_CAT(x, y) CPP_CAT_I(x, y)
#define CPP_STR_I(args...) #args
#define CPP_CAT_I(x, y) x##y

#define ASSERT(expr...) assert((expr))

using i8 = int8_t;
using u8 = uint8_t;
using i16 = int16_t;
using u16 = uint16_t;
using i32 = int32_t;
using u32 = uint32_t;
using i64 = int64_t;
using u64 = uint64_t;

using f32 = float;
using f64 = double;
// }}}

constexpr i64 INF = 1'010'000'000'000'000'017LL;

constexpr i64 MOD = 998244353LL;

constexpr f64 EPS = 1e-12;

constexpr f64 PI = 3.14159265358979323846;

#define M5 100007
#define M9 1000000000

#define F first
#define S second

// util {{{
#define FOR(i, start, end) for (i64 i = (start), CPP_CAT(i, xxxx_end) = (end); i < CPP_CAT(i, xxxx_end); ++i)
#define REP(i, n) FOR(i, 0, n)

#define all(x) (x).begin(), (x).end()
#define ll long long int
#define VI vector<ll>
#define VVI vector<VI>

#define ISD true
#define debug(x) \
    if (ISD)     \
    cout << #x << ": " << x << endl

template <typename T, typename U, typename Comp = less<>>
bool chmax(T &xmax, const U &x, Comp comp = {})
{
    if (comp(xmax, x))
    {
        xmax = x;
        return true;
    }
    return false;
}

template <typename T, typename U, typename Comp = less<>>
bool chmin(T &xmin, const U &x, Comp comp = {})
{
    if (comp(x, xmin))
    {
        xmin = x;
        return true;
    }
    return false;
}

int main()
{
    int N, M, K;
    cin >> N >> M >> K;
    vector<ll> X(K);
    REP(i, K)
    {
        cin >> X[i];
        X[i]--;
    }
    vector<vector<int>> G(N);
    REP(i, M)
    {
        int u, v;
        cin >> u >> v;
        u--;
        v--;
        G[u].push_back(v);
        G[v].push_back(u);
    }

    vector<vector<ll>> sum(N, vector<ll>(N));
    for (auto x : X)
    {
        vector<vector<int>> dp(1 << N, vector<int>(N, -1));
        dp[1 << x][x] = 0;
        set<pair<int, int>> S;
        S.insert({x, 0});
        REP(bit, (1 << N))
        {
            REP(i, N)
            {
                if (dp[bit][i] == -1)
                {
                    continue;
                }
                for (auto j : G[i])
                {
                    if ((bit >> j) & 1)
                    {
                        continue;
                    }
                    dp[bit | (1 << j)][j] = dp[bit][i] + 1;
                    S.insert({j, dp[bit][i] + 1});
                }
            }
        }
        for (auto s : S)
        {
            sum[s.F][s.S]++;
        }
    }
    REP(i, N)
    {
        REP(j, N)
        {
            if (sum[i][j] == K)
            {
                cout << "Yes" << endl;
                return 0;
            }
            // cout << sum[i][j] << " ";
        }
        //        cout << endl;
    }
    cout << "No" << endl;
}
0