結果

問題 No.1023 Cyclic Tour
ユーザー beetbeet
提出日時 2020-04-10 21:40:12
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 138 ms / 2,000 ms
コード長 2,474 bytes
コンパイル時間 2,684 ms
コンパイル使用メモリ 217,896 KB
実行使用メモリ 31,040 KB
最終ジャッジ日時 2024-09-15 19:37:51
合計ジャッジ時間 11,595 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 3 ms
5,376 KB
testcase_02 AC 3 ms
5,376 KB
testcase_03 AC 3 ms
5,376 KB
testcase_04 AC 45 ms
5,376 KB
testcase_05 AC 30 ms
5,376 KB
testcase_06 AC 32 ms
5,504 KB
testcase_07 AC 30 ms
5,504 KB
testcase_08 AC 45 ms
13,440 KB
testcase_09 AC 82 ms
21,836 KB
testcase_10 AC 77 ms
22,016 KB
testcase_11 AC 86 ms
22,952 KB
testcase_12 AC 104 ms
24,604 KB
testcase_13 AC 100 ms
23,520 KB
testcase_14 AC 95 ms
23,140 KB
testcase_15 AC 89 ms
23,684 KB
testcase_16 AC 132 ms
22,756 KB
testcase_17 AC 133 ms
22,612 KB
testcase_18 AC 125 ms
20,452 KB
testcase_19 AC 129 ms
20,520 KB
testcase_20 AC 82 ms
20,860 KB
testcase_21 AC 83 ms
21,496 KB
testcase_22 AC 103 ms
22,748 KB
testcase_23 AC 108 ms
23,172 KB
testcase_24 AC 130 ms
25,904 KB
testcase_25 AC 82 ms
21,148 KB
testcase_26 AC 83 ms
20,800 KB
testcase_27 AC 77 ms
20,132 KB
testcase_28 AC 138 ms
25,156 KB
testcase_29 AC 136 ms
25,968 KB
testcase_30 AC 126 ms
25,556 KB
testcase_31 AC 113 ms
24,444 KB
testcase_32 AC 117 ms
22,776 KB
testcase_33 AC 126 ms
24,576 KB
testcase_34 AC 48 ms
6,400 KB
testcase_35 AC 52 ms
6,400 KB
testcase_36 AC 91 ms
21,696 KB
testcase_37 AC 115 ms
22,736 KB
testcase_38 AC 123 ms
24,188 KB
testcase_39 AC 112 ms
23,104 KB
testcase_40 AC 110 ms
23,448 KB
testcase_41 AC 113 ms
23,392 KB
testcase_42 AC 59 ms
12,416 KB
testcase_43 AC 68 ms
14,208 KB
testcase_44 AC 48 ms
18,524 KB
testcase_45 AC 110 ms
31,040 KB
testcase_46 AC 74 ms
20,784 KB
testcase_47 AC 48 ms
18,812 KB
testcase_48 AC 80 ms
21,836 KB
testcase_49 AC 81 ms
21,708 KB
testcase_50 AC 78 ms
21,672 KB
testcase_51 AC 56 ms
12,160 KB
testcase_52 AC 58 ms
12,544 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;}
template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;}
using Int = long long;
const char newl = '\n';


struct UnionFind{
  int num;
  vector<int> rs,ps;
  UnionFind(){}
  UnionFind(int n):num(n),rs(n,1),ps(n,0){iota(ps.begin(),ps.end(),0);}
  int find(int x){
    return (x==ps[x]?x:ps[x]=find(ps[x]));
  }
  bool same(int x,int y){
    return find(x)==find(y);
  }
  void unite(int x,int y){
    x=find(x);y=find(y);
    if(x==y) return;
    if(rs[x]<rs[y]) swap(x,y);
    rs[x]+=rs[y];
    ps[y]=x;
    num--;
  }
  int size(int x){
    return rs[find(x)];
  }
  int count() const{
    return num;
  }
};


template<typename T> void drop(const T &x){cout<<x<<endl;exit(0);}




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];}
};

//INSERT ABOVE HERE
signed main(){
  cin.tie(0);
  ios::sync_with_stdio(0);

  int n,m;
  cin>>n>>m;

  vector<int> as(m),bs(m),cs(m);
  for(int i=0;i<m;i++) cin>>as[i]>>bs[i]>>cs[i],as[i]--,bs[i]--;

  UnionFind uf(n);
  for(int i=0;i<m;i++){
    if(cs[i]==2) continue;
    if(uf.same(as[i],bs[i])) drop("Yes");
    uf.unite(as[i],bs[i]);
  }

  SCC G(n);
  for(int i=0;i<m;i++){
    if(cs[i]==1) continue;
    if(uf.same(as[i],bs[i])) drop("Yes");
    int x=uf.find(as[i]);
    int y=uf.find(bs[i]);
    G.add_edge(x,y);
  }

  int k=G.build();
  cout<<(k<n?"Yes":"No")<<newl;
  return 0;
}
0