結果

問題 No.1023 Cyclic Tour
ユーザー suta28407928suta28407928
提出日時 2020-04-12 00:03:37
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 402 ms / 2,000 ms
コード長 3,218 bytes
コンパイル時間 1,472 ms
コンパイル使用メモリ 118,008 KB
実行使用メモリ 30,640 KB
最終ジャッジ日時 2023-10-19 21:40:18
合計ジャッジ時間 16,140 ms
ジャッジサーバーID
(参考情報)
judge11 / judge15
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
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 107 ms
11,380 KB
testcase_05 AC 108 ms
11,384 KB
testcase_06 AC 122 ms
12,060 KB
testcase_07 AC 113 ms
11,704 KB
testcase_08 AC 173 ms
20,376 KB
testcase_09 AC 171 ms
19,996 KB
testcase_10 AC 167 ms
19,780 KB
testcase_11 AC 185 ms
20,952 KB
testcase_12 AC 191 ms
21,732 KB
testcase_13 AC 177 ms
20,536 KB
testcase_14 AC 187 ms
20,508 KB
testcase_15 AC 197 ms
21,068 KB
testcase_16 AC 392 ms
29,788 KB
testcase_17 AC 396 ms
30,072 KB
testcase_18 AC 402 ms
29,900 KB
testcase_19 AC 380 ms
29,144 KB
testcase_20 AC 247 ms
23,192 KB
testcase_21 AC 257 ms
24,408 KB
testcase_22 AC 318 ms
27,096 KB
testcase_23 AC 340 ms
28,864 KB
testcase_24 AC 395 ms
30,640 KB
testcase_25 AC 258 ms
24,512 KB
testcase_26 AC 232 ms
21,112 KB
testcase_27 AC 200 ms
18,812 KB
testcase_28 AC 379 ms
29,728 KB
testcase_29 AC 387 ms
29,636 KB
testcase_30 AC 387 ms
30,388 KB
testcase_31 AC 341 ms
28,832 KB
testcase_32 AC 361 ms
28,916 KB
testcase_33 AC 376 ms
30,124 KB
testcase_34 AC 175 ms
12,520 KB
testcase_35 AC 182 ms
12,944 KB
testcase_36 AC 292 ms
26,156 KB
testcase_37 AC 320 ms
28,340 KB
testcase_38 AC 368 ms
28,404 KB
testcase_39 AC 322 ms
27,844 KB
testcase_40 AC 330 ms
28,084 KB
testcase_41 AC 331 ms
28,176 KB
testcase_42 AC 226 ms
20,608 KB
testcase_43 AC 362 ms
28,868 KB
testcase_44 AC 123 ms
16,912 KB
testcase_45 AC 198 ms
22,780 KB
testcase_46 AC 186 ms
22,780 KB
testcase_47 AC 118 ms
16,572 KB
testcase_48 AC 191 ms
20,772 KB
testcase_49 AC 187 ms
20,768 KB
testcase_50 AC 180 ms
20,756 KB
testcase_51 AC 180 ms
20,776 KB
testcase_52 AC 187 ms
20,744 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <iostream>
#include <string>
#include <cstdlib>
#include <cmath>
#include <vector>
#include <map>
#include <set>
#include <algorithm>
#include <queue>
#include <stack>
#include <functional>
#include <bitset>
#include <assert.h>
using namespace std;
typedef long long ll;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<char> vc;
typedef vector<string> vs;
typedef vector<bool> vb;
typedef vector<double> vd;
typedef pair<ll,ll> P;
typedef vector<P> vpl;
typedef tuple<ll,ll,ll> tapu;
#define rep(i,n) for(ll i=0; i<(n); i++)
#define REP(i,a,b) for(int i=(a); i<(b); i++)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
const int inf = 1<<30;
const ll linf = 1LL<<62;
const int MAX = 510000;
ll dy[8] = {0,1,0,-1,1,-1,1,-1};
ll dx[8] = {1,0,-1,0,1,-1,-1,1};
const double pi = acos(-1);
const double eps = 1e-7;
template<typename T1,typename T2> inline bool chmin(T1 &a,T2 b){
	if(a>b){
		a = b; return true;
	}
	else return false;
}
template<typename T1,typename T2> inline bool chmax(T1 &a,T2 b){
	if(a<b){
		a = b; return true;
	}
	else return false;
}
template<typename T1,typename T2> inline void print2(T1 a, T2 b){cout << a << " " << b << endl;}
template<typename T1,typename T2,typename T3> inline void print3(T1 a, T2 b, T3 c){
	cout << a << " " << b << " " << c << endl;
}
const int mod = 1e9 + 7;
//const int mod = 998244353;

struct UnionFind{
	vl p;
	vl rank;
	vl cnt;

	UnionFind(ll n){
		rank.resize(n,0);
		p.resize(n,0);
		cnt.resize(n,0);
		rep(i,n){
			p[i] = i;
			rank[i] = 0;
			cnt[i] = 1;
		}
	}

	ll find(ll x){
		if(x != p[x]) p[x] = find(p[x]);
		return p[x];
	}

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

	void unite(ll x, ll y){
		x = find(x);
		y = find(y);
		if(x == y) return;
		if(rank[x] > rank[y]){
			p[y] = x;
			cnt[x] += cnt[y];
		}else{
			p[x] = y;
			cnt[y] += cnt[x];
			if(rank[x] == rank[y]) rank[y]++;
		}
	}

	ll size(ll x){
		return cnt[find(x)];
	}
};

int main(){
	ll n,m; cin >> n >> m;
	vvl G(n);
	vector<vpl> edges(2);
	rep(i,m){
		ll a,b,c; cin >> a >> b >> c; a--; b--; c--;
		edges[c].emplace_back(a,b);
		if(!c){
			G[a].push_back(b);
			G[b].push_back(a);
		}
	}
	vl visit(n,false);
	rep(i,n){
		if(G[i].empty() || visit[i]) continue;
		visit[i] = true;
		queue<P> q;
		q.emplace(i,-1);
		while(!q.empty()){
			P p = q.front(); q.pop();
			ll u = p.first;
			ll par = p.second;
			for(auto v : G[u]){
				if(v == par) continue;
				if(visit[v]){
					puts("Yes");
					return 0;
				}
				visit[v] = true;
				q.emplace(v,u);
			}
		}
	}
	vvl g(n);
	vl indeg(n,0);
	UnionFind uf(n);
	map<P,ll> mp;
	for(auto i : edges[0]) uf.unite(i.first,i.second);
	for(auto i : edges[1]){
		ll a = uf.find(i.first);
		ll b = uf.find(i.second);
		if(mp[P(a,b)] > 0) continue;
		g[a].push_back(b);
		indeg[b]++;
	}
	rep(i,n) visit[i] = false;
	rep(i,n){
		if(g[i].empty() || visit[i] || indeg[i]) continue;
		visit[i] = true;
		queue<ll> q;
		q.push(i);
		while(!q.empty()){
			ll u = q.front(); q.pop();
			for(auto v : g[u]){
				indeg[v]--;
				if(!indeg[v] && !visit[v]){
					visit[v] = true;
					q.push(v);
				}
			}
		}
	}
	rep(i,n){
		if(indeg[i]){
			puts("Yes");
			return 0;
		}
	}
	puts("No");
}
0