結果

問題 No.1023 Cyclic Tour
ユーザー betrue12betrue12
提出日時 2020-04-10 21:57:22
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 210 ms / 2,000 ms
コード長 2,813 bytes
コンパイル時間 2,640 ms
コンパイル使用メモリ 219,804 KB
実行使用メモリ 24,420 KB
最終ジャッジ日時 2024-09-15 20:17:26
合計ジャッジ時間 12,582 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge6
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 4 ms
5,632 KB
testcase_01 AC 3 ms
5,632 KB
testcase_02 AC 4 ms
5,632 KB
testcase_03 AC 4 ms
5,632 KB
testcase_04 AC 74 ms
5,376 KB
testcase_05 AC 74 ms
5,376 KB
testcase_06 AC 83 ms
5,376 KB
testcase_07 AC 79 ms
5,376 KB
testcase_08 AC 84 ms
8,624 KB
testcase_09 AC 100 ms
12,696 KB
testcase_10 AC 99 ms
12,708 KB
testcase_11 AC 110 ms
12,996 KB
testcase_12 AC 111 ms
14,420 KB
testcase_13 AC 102 ms
13,984 KB
testcase_14 AC 111 ms
13,852 KB
testcase_15 AC 114 ms
14,000 KB
testcase_16 AC 205 ms
17,892 KB
testcase_17 AC 207 ms
18,012 KB
testcase_18 AC 210 ms
17,944 KB
testcase_19 AC 209 ms
17,680 KB
testcase_20 AC 158 ms
11,332 KB
testcase_21 AC 158 ms
11,488 KB
testcase_22 AC 170 ms
12,628 KB
testcase_23 AC 183 ms
13,004 KB
testcase_24 AC 204 ms
14,820 KB
testcase_25 AC 158 ms
11,336 KB
testcase_26 AC 157 ms
11,436 KB
testcase_27 AC 152 ms
11,036 KB
testcase_28 AC 201 ms
14,528 KB
testcase_29 AC 196 ms
15,260 KB
testcase_30 AC 195 ms
14,560 KB
testcase_31 AC 182 ms
14,304 KB
testcase_32 AC 189 ms
16,984 KB
testcase_33 AC 197 ms
15,012 KB
testcase_34 AC 143 ms
5,376 KB
testcase_35 AC 149 ms
5,376 KB
testcase_36 AC 167 ms
11,976 KB
testcase_37 AC 178 ms
15,140 KB
testcase_38 AC 190 ms
15,648 KB
testcase_39 AC 182 ms
13,244 KB
testcase_40 AC 185 ms
13,372 KB
testcase_41 AC 182 ms
13,364 KB
testcase_42 AC 153 ms
7,624 KB
testcase_43 AC 147 ms
9,016 KB
testcase_44 AC 81 ms
9,360 KB
testcase_45 AC 133 ms
24,416 KB
testcase_46 AC 146 ms
24,420 KB
testcase_47 AC 82 ms
9,656 KB
testcase_48 AC 161 ms
11,368 KB
testcase_49 AC 164 ms
11,236 KB
testcase_50 AC 158 ms
11,488 KB
testcase_51 AC 151 ms
7,644 KB
testcase_52 AC 158 ms
7,648 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