結果

問題 No.2948 move move rotti
ユーザー anago-pie
提出日時 2024-11-03 23:31:18
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 3,839 bytes
コンパイル時間 3,445 ms
コンパイル使用メモリ 264,644 KB
実行使用メモリ 13,640 KB
最終ジャッジ日時 2024-11-03 23:31:29
合計ジャッジ時間 9,758 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other TLE * 1 -- * 27
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for(int i=0; i<n; i++)
#define debug 0
#define YES cout << "Yes" << endl;
#define NO cout << "No" << endl;
using ll = long long;
using ld = long double;
const int mod = 998244353;
const int MOD = 1000000007;
const double pi = atan2(0, -1);
const int inf = 1 << 31 - 1;
const ll INF = 1LL << 63 - 1;
#include <time.h>
#include <chrono>
//vectorの中身を空白区切りで出力
template<typename T>
void printv(vector<T> v) {
    for (int i = 0; i < v.size(); i++) {
        cout << v[i];
        if (i < v.size() - 1) {
            cout << " ";
        }
    }
    cout << endl;
}
//vectorの中身を改行区切りで出力
template<typename T>
void print1(vector<T> v) {
    for (auto x : v) {
        cout << x << endl;
    }
}
//二次元配列を出力
template<typename T>
void printvv(vector<vector<T>> vv) {
    for (vector<T> v : vv) {
        printv(v);
    }
}
//vectorを降順にソート
template<typename T>
void rsort(vector<T>& v) {
    sort(v.begin(), v.end());
    reverse(v.begin(), v.end());
}
//昇順priority_queueを召喚
template<typename T>
struct rpriority_queue {
    priority_queue<T, vector<T>, greater<T>> pq;
    void push(T x) {
        pq.push(x);
    }
    void pop() {
        pq.pop();
    }
    T top() {
        return pq.top();
    }
    size_t size() {
        return pq.size();
    }
    bool empty() {
        return pq.empty();
    }
};
//mod mod下で逆元を算出する
//高速a^n計算(mod ver.)
ll power(ll a, ll n) {
    if (n == 0) {
        return 1;
    }
    else if (n % 2 == 0) {
        ll x = power(a, n / 2);
        x *= x;
        x %= mod;
        return x;
    }
    else {
        ll x = power(a, n - 1);
        x *= a;
        x %= mod;
        return x;
    }
}
//フェルマーの小定理を利用
ll modinv(ll p) {
    return power(p, mod - 2) % mod;
}
//Mexを求める
struct Mex {
    map<int, int> mp;
    set<int> s;
    Mex(int Max) {
        for (int i = 0; i <= Max; i++) {
            s.insert(i);
        }
    }
    int _mex = 0;
    void Input(int x) {
        mp[x]++;
        s.erase(x);
        if (_mex == x) {
            _mex = *begin(s);
        }
    }
    void Remove(int x) {
        if (mp[x] == 0) {
            cout << "Mex ERROR!: NO VALUE WILL BE REMOVED" << endl;
        }
        mp[x]--;
        if (mp[x] == 0) {
            s.insert(x);
            if (*begin(s) == x) {
                _mex = x;
            }
        }
    }
    int mex() {
        return _mex;
    }
};
//Union-Find
struct UnionFind {
    vector<int> par;
    UnionFind(int N) : par(N) {
        for (int i = 0; i < N; i++) {
            par[i] = -1;
        }
    }
    //root(x):xの根を求める関数
    int root(int x) {
        if (par[x] == -1) {
            return x;
        }
        else {
            return par[x] = root(par[x]);
        }
    }
    //isSame(x,y):xとyが同じグループならtrueを返す関数
    bool isSame(int x, int y) {
        if (root(x) == root(y)) {
            return true;
        }
        else {
            return false;
        }
    }
    //Union(x,y):xとyの根をつなげる関数
    void Union(int x, int y) {
        int X = root(x);
        int Y = root(y);
        if (X == Y) {
            return;
        }
        if (X < Y) {
            swap(X, Y);
        }
        par[X] = Y;
    }
};
//最大公約数(ユークリッドの互除法）
ll gcd(ll a, ll b) {
    if (b > a) {
        swap(a, b);
    }
    while (a % b != 0) {
        ll t = a;
        a = b;
        b = t % b;
    }
    return b;
}
//最小公倍数（gcdを定義しておく）
ll lcm(ll a, ll b) {
    ll g = gcd(a, b);
    ll x = (a / g) * b;
    return x;
}
int N, M, K;
vector<vector<int>> path(15);
vector<bool> check(15, false);
vector<vector<set<int>>> vis(15, vector<set<int>>(15));
void dfs(int x, int k, int i) {
    vis[x][k].insert(i);
    check[x] = true;
    for (int y : path[x]) {
        if (!check[y]) {
            dfs(y, k + 1, i);
        }
    }
    check[x] = false;
}
int main() {
    cin >> N >> M >> K;
    vector<int> start(K);
    rep(i, K) {
        cin >> start[i];
        start[i]--;
    }
    rep(i, M) {
        int u, v;
        cin >> u >> v;
        u--; v--;
        path[u].push_back(v);
        path[v].push_back(u);
    }
    rep(i, K) {
        dfs(start[i], 0, i);
    }
    bool ok = false;
    rep(i, N) {
        rep(j, N) {
            if (vis[i][j].size() == K) {
                ok = true;
            }
        }
    }
    cout << (ok ? "Yes" : "No") << endl;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0