結果

問題 No.1400 すごろくで世界旅行
ユーザー norikamenorikame
提出日時 2021-02-26 08:55:32
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 128 ms / 3,153 ms
コード長 3,757 bytes
コンパイル時間 2,191 ms
コンパイル使用メモリ 210,432 KB
実行使用メモリ 27,264 KB
最終ジャッジ日時 2024-04-09 22:15:42
合計ジャッジ時間 4,562 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 1 ms
6,940 KB
testcase_03 AC 3 ms
6,940 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 7 ms
6,940 KB
testcase_07 AC 4 ms
6,940 KB
testcase_08 AC 3 ms
6,940 KB
testcase_09 AC 2 ms
6,940 KB
testcase_10 AC 5 ms
6,940 KB
testcase_11 AC 2 ms
6,944 KB
testcase_12 AC 52 ms
6,944 KB
testcase_13 AC 128 ms
27,264 KB
testcase_14 AC 78 ms
11,392 KB
testcase_15 AC 76 ms
11,648 KB
testcase_16 AC 74 ms
11,264 KB
testcase_17 AC 99 ms
27,008 KB
testcase_18 AC 100 ms
19,584 KB
testcase_19 AC 2 ms
6,944 KB
testcase_20 AC 2 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

using ll = long long;
using ull = unsigned long long;
#define v(t) vector<t>
#define p(t) pair<t, t>
#define p2(t, s) pair<t, s>
#define vp(t) v(p(t))

#define rep(i, n) for (int i=0,i##_len=((int)(n)); i<i##_len; ++i)
#define rep2(i, a, n) for (int i=((int)(a)),i##_len=((int)(n)); i<=i##_len; ++i)
#define repr(i, n) for (int i=((int)(n)-1); i>=0; --i)
#define rep2r(i, a, n) for (int i=((int)(n)),i##_len=((int)(a)); i>=i##_len; --i)

#define repi(itr, c) for (__typeof((c).begin()) itr=(c).begin(); itr!=(c).end(); ++itr)
#define repir(itr, c) for (__typeof((c).rbegin()) itr=(c).rbegin(); itr!=(c).rend(); ++itr)

#define sz(x) ((int)(x).size())
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()

#define SORT(v, n) sort(v, v+n);
#define VSORT(v) sort(v.begin(), v.end());
#define RSORT(x) sort(rall(x));
#define pb push_back
#define eb emplace_back

#define INF (1e9)
#define LINF (1e18)
#define PI (acos(-1))
#define EPS (1e-7)
#define DEPS (1e-10)

// 本番終了後、改めて考察

struct UnionFind {
    vector<int> par;
    UnionFind(int n=0): par(n,-1) {}
    int find(int x) {
        if (par[x] < 0) return x;
        return par[x] = find(par[x]);
    }
    bool unite(int x, int y) {
        x = find(x); y = find(y);
        if (x == y) return false;
        if (par[x] > par[y]) swap(x,y);
        par[x] += par[y];
        par[y] = x;
        return true;
    }
    bool same(int x, int y) { return find(x) == find(y);}
    int size(int x) { return -par[find(x)];}
};

bool dfs1(v(v(int))& g, v(int)& visited, int v1, int p1=-1, int d=0) {
    if (visited[v1] != -1) return (visited[v1]%2 != d%2);
    visited[v1] = d;
    bool res = false;
    rep(i, sz(g[v1])) {
        int nv = g[v1][i];
        if (nv == p1) continue;
        res |= dfs1(g, visited, nv, v1, d+1);
    }
    return res;
}

int main(){
    int vi;
    ll d;
    cin >> vi >> d;
    v(string) e(vi);
    rep(i, vi) cin >> e[i];
    v(v(int)) g(vi);
    rep(i, vi) for (int j=i; j<vi; ++j) if (e[i][j] == '1') {
        g[i].pb(j);
        g[j].pb(i);
    }
    if (d >= 2*vi) {
        UnionFind uf(vi);
        rep(i, vi) for (int j=i; j<vi; ++j) if (e[i][j] == '1') uf.unite(i, j);
        if (uf.size(0) < vi) cout << "No" << endl;
        else {
            v(int) visited(vi, -1);
            if (dfs1(g, visited, 0)) cout << "Yes" << endl;
            else cout << "No" << endl;
        }
    }
    else if (d > 1) {
        bool ans = true;
        rep(i, vi) {
            v(v(int)) dist(2, v(int)(vi, (int)(INF)));
            queue<int> que;
            que.push(i);
            dist[0][i] = 0;
            while (!que.empty()) {
                int pi = que.front(); que.pop();
                int d0 = dist[0][pi], d1 = dist[1][pi], nd1 = min((int)(INF), d0+1), nd0 = min((int)(INF), d1+1);
                rep(i2, sz(g[pi])) {
                    int nvi = g[pi][i2];
                    if (dist[0][nvi]<=nd0 && dist[1][nvi]<=nd1) continue;
                    que.push(nvi);
                    if (dist[0][nvi] > nd0) dist[0][nvi] = nd0;
                    if (dist[1][nvi] > nd1) dist[1][nvi] = nd1;
                }
            }
            rep(i2, vi) if (dist[(int)(d%2LL)][i2]==(int)(INF) || dist[(int)(d%2LL)][i2]>d) ans = false;
            if (!ans) break;
        }
        if (ans) cout << "Yes" << endl;
        else cout << "No" << endl;
    }
    else {
        bool ans = true;
        rep(i, vi) if (e[i] != string(vi, '1')) ans = false;
        if (ans) cout << "Yes" << endl;
        else cout << "No" << endl;
    }
    return 0;
}
0