結果

問題 No.1023 Cyclic Tour
ユーザー tarattata1tarattata1
提出日時 2020-03-07 09:31:38
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 172 ms / 2,000 ms
コード長 3,153 bytes
コンパイル時間 1,008 ms
コンパイル使用メモリ 94,936 KB
実行使用メモリ 20,352 KB
最終ジャッジ日時 2024-10-15 19:53:36
合計ジャッジ時間 7,840 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 49
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <stdio.h>
#include <string>
#include <cstring>
#include <stdlib.h>
#include <math.h>
#include <algorithm>
#include <vector>
#include <set>
#include <map>
#include <queue>
#include <stack>
#include <list>
#include <iterator>
#include <assert.h>
#pragma warning(disable:4996) 

typedef long long ll;
#define MIN(a, b) ((a)>(b)? (b): (a))
#define MAX(a, b) ((a)<(b)? (b): (a))
#define LINF 9223300000000000000
#define INF 2140000000
const long long MOD = 1000000007;
//const long long MOD = 998244353;

using namespace std;

class UF
{
private:
    int         num;
    vector<int> par;
    vector<int> siz;
public:
    //vector<int> val;
public:
    UF(int n): num(n) {
        par.resize(n);
        siz.resize(n);
        //val.resize(n);
        int i;
        for(i=0; i<n; i++) {
            par[i]=i; siz[i]=1;
            //val[i]=0;
        }
    }
	
    int find(int x) {
        if(x==par[x]) return x;
        return par[x] = find(par[x]);
    }

    void unite(int x, int y) {
        x=find(x);
        y=find(y);
        if(x==y) return;
        if(siz[x]<siz[y]) {
            par[x]=y;
            siz[y]=siz[x]+siz[y];
            //val[y]=val[x]+val[y];
        }
        else {
            par[y]=x;
            siz[x]=siz[x]+siz[y];
            //val[x]=val[x]+val[y];
        }
    }

    bool same(int x, int y) {
        return find(x)==find(y);
    }

    int size(int x) {
        return siz[find(x)];
    }

    int ngroup() {
    //int ngroup( int& ans ) {
        int count=0;
        int i;
        for(i=0; i<num; i++) {
            if(par[i]==i) {
                count++;
                //ans += (val[i]? siz[i]: siz[i]-1);
            }
        }
        return count;
    }
};

vector<vector<int> > g;   // to
vector<int> vis;
vector<int> fin;

bool dfs(int curr)
{
    assert(vis[curr]==0);
    vis[curr]=1;
    int siz=(int)g[curr].size();
    int i;
    for(i=0; i<siz; i++) {
        int next=g[curr][i];
        if(vis[next] && fin[next]==0) {
            return true;
        }
        if(vis[next]) {
            continue;
        }
        if(dfs(next)) {
            return true;
        }
    }
    fin[curr]=1;
    return false;
}

void solve()
{
    int n,m;
    scanf("%d%d", &n, &m);
    g.resize(n);
    vis.resize(n); fin.resize(n);
    int i;
    vector<int> a(m),b(m),c(m);
    for(i=0; i<m; i++) {
        scanf("%d%d%d", &a[i], &b[i], &c[i]); a[i]--; b[i]--;
    }
    UF uf(n);
    for(i=0; i<m; i++) {
        if(c[i]==1) {
            if (uf.same(a[i], b[i])) {
                 printf("Yes\n"); return;
            }
            uf.unite(a[i],b[i]);
        }
    }
    set<pair<int,int> > s;
    for(i=0; i<m; i++) {        
        if(c[i]==2) {
            int tmp0=uf.find(a[i]), tmp1=uf.find(b[i]);
            if(s.insert(make_pair(tmp0,tmp1)).second) {
                g[tmp0].push_back(tmp1);
            }
        }
    }

    for(i=0; i<n; i++) {
        if(vis[i]) continue;
        bool ret=dfs(i);
        if(ret){
            printf("Yes\n");
            return;
        }
    }
    printf("No\n");
    return;
}


int main(int argc, char* argv[])
{
	solve();
	return 0;
}
0