結果

問題 No.1023 Cyclic Tour
ユーザー betrue12betrue12
提出日時 2020-04-10 21:57:22
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 204 ms / 2,000 ms
コード長 2,813 bytes
コンパイル時間 2,894 ms
コンパイル使用メモリ 218,612 KB
実行使用メモリ 24,512 KB
最終ジャッジ日時 2023-10-14 00:28:14
合計ジャッジ時間 12,633 ms
ジャッジサーバーID
(参考情報)
judge15 / judge11
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
5,728 KB
testcase_01 AC 3 ms
5,660 KB
testcase_02 AC 3 ms
5,660 KB
testcase_03 AC 3 ms
5,688 KB
testcase_04 AC 68 ms
4,352 KB
testcase_05 AC 68 ms
4,348 KB
testcase_06 AC 76 ms
4,352 KB
testcase_07 AC 72 ms
4,352 KB
testcase_08 AC 81 ms
8,536 KB
testcase_09 AC 92 ms
12,684 KB
testcase_10 AC 92 ms
12,532 KB
testcase_11 AC 103 ms
13,080 KB
testcase_12 AC 99 ms
14,364 KB
testcase_13 AC 95 ms
13,720 KB
testcase_14 AC 97 ms
13,892 KB
testcase_15 AC 107 ms
13,784 KB
testcase_16 AC 194 ms
17,800 KB
testcase_17 AC 199 ms
18,004 KB
testcase_18 AC 204 ms
17,968 KB
testcase_19 AC 196 ms
17,356 KB
testcase_20 AC 144 ms
11,168 KB
testcase_21 AC 141 ms
11,356 KB
testcase_22 AC 159 ms
12,464 KB
testcase_23 AC 170 ms
13,076 KB
testcase_24 AC 186 ms
14,704 KB
testcase_25 AC 145 ms
11,232 KB
testcase_26 AC 147 ms
11,352 KB
testcase_27 AC 141 ms
10,920 KB
testcase_28 AC 181 ms
14,520 KB
testcase_29 AC 184 ms
15,172 KB
testcase_30 AC 185 ms
14,428 KB
testcase_31 AC 173 ms
14,316 KB
testcase_32 AC 189 ms
16,892 KB
testcase_33 AC 185 ms
15,036 KB
testcase_34 AC 132 ms
5,164 KB
testcase_35 AC 137 ms
4,980 KB
testcase_36 AC 151 ms
11,888 KB
testcase_37 AC 170 ms
15,108 KB
testcase_38 AC 182 ms
15,660 KB
testcase_39 AC 170 ms
13,000 KB
testcase_40 AC 177 ms
13,412 KB
testcase_41 AC 172 ms
13,268 KB
testcase_42 AC 141 ms
7,660 KB
testcase_43 AC 137 ms
9,140 KB
testcase_44 AC 74 ms
9,212 KB
testcase_45 AC 132 ms
24,512 KB
testcase_46 AC 144 ms
24,412 KB
testcase_47 AC 76 ms
9,208 KB
testcase_48 AC 151 ms
11,260 KB
testcase_49 AC 149 ms
11,036 KB
testcase_50 AC 146 ms
11,192 KB
testcase_51 AC 140 ms
7,408 KB
testcase_52 AC 145 ms
7,676 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

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

struct UnionFind {
    vector<int> par;
    vector<int> sz;

    UnionFind(int n=0){ if(n>0) initialize(n); }
    void initialize(int n){
        par.resize(n);
        sz.assign(n, 1);
        for(int i=0; i<n; i++){
            par[i] = i;
        }
    }

    int find(int x){
        if(par[x] == x){
            return x;
        }else{
            return par[x] = find(par[x]);
        }
    }

    bool unite(int x, int y){
        x = find(x), y = find(y);
        if(x == y) return false;
        if(sz[x] > sz[y]) swap(x, y);
        par[x] = y;
        sz[y] += sz[x];
        return true;
    }

    bool same(int x, int y){ return find(x) == find(y); }
    int size(int x){ return sz[find(x)]; }
};

struct SCC{
    int N;
    vector<bool> used;
    vector<int> vs;
    vector<int> cmp;

    void dfs(int v, const vector<int> G[]){
        used[v] = true;
        for(auto u : G[v]){
            if(!used[u]) dfs(u, G);
        }
        vs.push_back(v);
    }

    void rdfs(int v, int k, const vector<vector<int>>& rG){
        used[v] = true;
        cmp[v] = k;
        for(auto u : rG[v]){
            if(!used[u]) rdfs(u, k, rG);
        }
    }

    SCC(int N, const vector<int> G[]):N(N){
        vector<vector<int>> rG(N);
        for(int i=0; i<N; i++) for(int j : G[i]) rG[j].push_back(i);
        used.resize(N);
        fill(used.begin(), used.end(), false);
        for(int v=0; v<N; v++){
            if(!used[v]) dfs(v, G);
        }

        fill(used.begin(), used.end(), false);
        cmp.resize(N);
        int k = 0;
        for(int i = vs.size()-1; i>=0; i--){
            if(!used[vs[i]]) rdfs(vs[i], k++, rG);
        }
    }

    int dump_graph(const vector<int> G[], vector<int> edges2[]){
        for(int i=0; i<N; i++){
            for(auto j : G[i]){
                if(cmp[i] != cmp[j]){
                    edges2[cmp[i]].push_back(cmp[j]);
                }
            }
        }
        return *max_element(cmp.begin(), cmp.end()) + 1;
    }
};

void fin(bool ok){
    cout << (ok ? "Yes" : "No") << endl;
    exit(0);
}

int main(){
    int N, M;
    cin >> N >> M;
    vector<pair<int, int>> es;
    bool loop = false;
    UnionFind uf(N);
    for(int i=0; i<M; i++){
        int a, b, c;
        cin >> a >> b >> c;
        a--; b--;
        if(c == 1){
            if(!uf.unite(a, b)) loop = true;
        }else{
            es.emplace_back(a, b);
        }
    }
    if(loop) fin(true);

    vector<int> edges[100000];
    for(auto [a, b] : es){
        if(uf.same(a, b)) fin(true);
        edges[uf.find(a)].push_back(uf.find(b));
    }

    SCC scc(N, edges);
    vector<int> cmpnum(N);
    for(int i=0; i<N; i++) cmpnum[scc.cmp[i]]++;
    fin(*max_element(cmpnum.begin(), cmpnum.end()) > 1);
    return 0;
}
0