結果
問題 | No.1023 Cyclic Tour |
ユーザー | NewGarden |
提出日時 | 2020-04-11 15:38:42 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 263 ms / 2,000 ms |
コード長 | 3,142 bytes |
コンパイル時間 | 3,950 ms |
コンパイル使用メモリ | 182,672 KB |
実行使用メモリ | 31,256 KB |
最終ジャッジ日時 | 2023-10-19 06:53:39 |
合計ジャッジ時間 | 16,644 ms |
ジャッジサーバーID (参考情報) |
judge13 / judge12 |
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
4,348 KB |
testcase_01 | AC | 2 ms
4,348 KB |
testcase_02 | AC | 2 ms
4,348 KB |
testcase_03 | AC | 2 ms
4,348 KB |
testcase_04 | AC | 76 ms
5,180 KB |
testcase_05 | AC | 77 ms
5,180 KB |
testcase_06 | AC | 82 ms
5,444 KB |
testcase_07 | AC | 78 ms
5,180 KB |
testcase_08 | AC | 107 ms
13,364 KB |
testcase_09 | AC | 145 ms
21,844 KB |
testcase_10 | AC | 138 ms
22,040 KB |
testcase_11 | AC | 153 ms
22,976 KB |
testcase_12 | AC | 164 ms
24,904 KB |
testcase_13 | AC | 151 ms
23,676 KB |
testcase_14 | AC | 152 ms
23,316 KB |
testcase_15 | AC | 160 ms
23,848 KB |
testcase_16 | AC | 257 ms
22,852 KB |
testcase_17 | AC | 262 ms
22,700 KB |
testcase_18 | AC | 253 ms
20,524 KB |
testcase_19 | AC | 243 ms
20,880 KB |
testcase_20 | AC | 182 ms
20,984 KB |
testcase_21 | AC | 186 ms
21,500 KB |
testcase_22 | AC | 214 ms
22,888 KB |
testcase_23 | AC | 223 ms
23,184 KB |
testcase_24 | AC | 263 ms
26,080 KB |
testcase_25 | AC | 182 ms
21,280 KB |
testcase_26 | AC | 184 ms
21,048 KB |
testcase_27 | AC | 174 ms
20,244 KB |
testcase_28 | AC | 254 ms
25,324 KB |
testcase_29 | AC | 262 ms
26,144 KB |
testcase_30 | AC | 259 ms
25,736 KB |
testcase_31 | AC | 237 ms
24,532 KB |
testcase_32 | AC | 245 ms
22,920 KB |
testcase_33 | AC | 256 ms
24,848 KB |
testcase_34 | AC | 61 ms
6,236 KB |
testcase_35 | AC | 135 ms
6,500 KB |
testcase_36 | AC | 199 ms
21,696 KB |
testcase_37 | AC | 225 ms
22,972 KB |
testcase_38 | AC | 253 ms
24,320 KB |
testcase_39 | AC | 229 ms
23,248 KB |
testcase_40 | AC | 234 ms
23,724 KB |
testcase_41 | AC | 232 ms
23,408 KB |
testcase_42 | AC | 161 ms
12,556 KB |
testcase_43 | AC | 167 ms
14,156 KB |
testcase_44 | AC | 99 ms
18,636 KB |
testcase_45 | AC | 182 ms
31,256 KB |
testcase_46 | AC | 140 ms
20,840 KB |
testcase_47 | AC | 101 ms
19,064 KB |
testcase_48 | AC | 183 ms
21,852 KB |
testcase_49 | AC | 190 ms
21,852 KB |
testcase_50 | AC | 180 ms
21,816 KB |
testcase_51 | AC | 158 ms
12,028 KB |
testcase_52 | AC | 165 ms
12,472 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; typedef pair<int,int> P; typedef long long ll; typedef long double ld; const int inf=1e9+7; const ll longinf=1LL<<60; #define REP(i,m,n) for(int i=(int)(m) ; i < (int) (n) ; ++i ) #define rep(i,n) REP(i,0,n) #define F first #define S second const int mx=100010; const ll mod=1e9+7; struct UnionFind { vector<int> par,sizes; // par[i]:iの親の番号(ex)par[3]=2 : 3の親が2 UnionFind(int n) : par(n),sizes(n,1) { //最初は全てが根であるとして初期化 for(int i=0; i<n; i++){ par[i]=i; } } int root(int x) { //xが属する木の根を再帰で得る:root(x)={xの木の根} if(par[x]==x){ return x; } return par[x] = root(par[x]); } void unite(int x, int y) { // xとyの木を併合 int rx = root(x); //xの根をrx int ry = root(y); //yの根をry if(rx == ry){ return; } //xとyの根が同じ(=同じ木にある)時はそのまま if(sizes[rx]<sizes[ry]){ swap(rx, ry); } //xの木をおおきくする par[ry] = rx; sizes[rx] += sizes[ry]; //sizes[ry]はもう使わない } bool check(int x, int y) { // x,yが属する木が同じならtrueを返す return root(x) == root(y); } int size(int x){ //xが含まれる木の大きさを返す return sizes[root(x)]; } }; struct SCC{ vector< vector<int> > G,R,T,C; vector<int> vs,used,blg; SCC(){} SCC(int n):G(n),R(n),used(n),blg(n){} void add_edge(int u,int v){ G[u].emplace_back(v); R[v].emplace_back(u); } void dfs(int v){ used[v]=1; for(int u:G[v]) if(!used[u]) dfs(u); vs.emplace_back(v); } void rdfs(int v,int k){ used[v]=1; blg[v]=k; C[k].emplace_back(v); for(int u:R[v]) if(!used[u]) rdfs(u,k); } int build(){ int n=G.size(); for(int v=0;v<n;v++) if(!used[v]) dfs(v); fill(used.begin(),used.end(),0); int k=0; for(int i=n-1;i>=0;i--){ if(!used[vs[i]]){ T.emplace_back(); C.emplace_back(); rdfs(vs[i],k++); } } for(int v=0;v<n;v++) for(int u:G[v]) if(blg[v]!=blg[u]) T[blg[v]].push_back(blg[u]); for(int i=0;i<k;i++){ sort(T[i].begin(),T[i].end()); T[i].erase(unique(T[i].begin(),T[i].end()),T[i].end()); } return k; } int operator[](int k) const{return blg[k];} }; int main(){ int n,m; cin >> n >> m; vector<int> as(m),bs(m),cs(m); UnionFind uf(n); rep(i,m){ cin >> as[i] >> bs[i] >> cs[i]; as[i]--; bs[i]--; if(cs[i]==2) continue; if(uf.check(as[i],bs[i])){cout << "Yes" << endl; return 0;} uf.unite(as[i],bs[i]); } SCC G(n); rep(i,m){ if(cs[i]==1) continue; if(uf.check(as[i],bs[i])){cout << "Yes" << endl; return 0;} int x = uf.root(as[i]); int y = uf.root(bs[i]); G.add_edge(x,y); } int k = G.build(); if(k<n){ cout << "Yes" << endl; } else { cout << "No" << endl; } return 0; }