結果

問題 No.1023 Cyclic Tour
ユーザー suta28407928suta28407928
提出日時 2020-04-12 00:03:37
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 301 ms / 2,000 ms
コード長 3,218 bytes
コンパイル時間 1,354 ms
コンパイル使用メモリ 117,896 KB
実行使用メモリ 31,432 KB
最終ジャッジ日時 2024-09-19 17:40:56
合計ジャッジ時間 14,010 ms
ジャッジサーバーID
(参考情報)
judge3 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 1 ms
6,944 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 91 ms
11,220 KB
testcase_05 AC 90 ms
11,232 KB
testcase_06 AC 101 ms
12,148 KB
testcase_07 AC 95 ms
11,540 KB
testcase_08 AC 132 ms
20,428 KB
testcase_09 AC 128 ms
19,924 KB
testcase_10 AC 124 ms
19,716 KB
testcase_11 AC 136 ms
20,860 KB
testcase_12 AC 141 ms
21,572 KB
testcase_13 AC 133 ms
20,536 KB
testcase_14 AC 136 ms
20,252 KB
testcase_15 AC 147 ms
20,928 KB
testcase_16 AC 269 ms
29,964 KB
testcase_17 AC 286 ms
29,944 KB
testcase_18 AC 289 ms
29,768 KB
testcase_19 AC 276 ms
28,960 KB
testcase_20 AC 207 ms
22,968 KB
testcase_21 AC 220 ms
24,160 KB
testcase_22 AC 248 ms
26,920 KB
testcase_23 AC 274 ms
27,968 KB
testcase_24 AC 285 ms
31,432 KB
testcase_25 AC 211 ms
24,380 KB
testcase_26 AC 199 ms
20,956 KB
testcase_27 AC 173 ms
18,532 KB
testcase_28 AC 278 ms
30,384 KB
testcase_29 AC 296 ms
29,408 KB
testcase_30 AC 301 ms
30,420 KB
testcase_31 AC 258 ms
28,816 KB
testcase_32 AC 263 ms
28,536 KB
testcase_33 AC 290 ms
30,160 KB
testcase_34 AC 157 ms
12,008 KB
testcase_35 AC 158 ms
12,904 KB
testcase_36 AC 221 ms
25,984 KB
testcase_37 AC 246 ms
28,168 KB
testcase_38 AC 271 ms
28,236 KB
testcase_39 AC 245 ms
27,332 KB
testcase_40 AC 250 ms
28,760 KB
testcase_41 AC 253 ms
28,356 KB
testcase_42 AC 201 ms
20,468 KB
testcase_43 AC 268 ms
29,516 KB
testcase_44 AC 97 ms
16,848 KB
testcase_45 AC 138 ms
22,772 KB
testcase_46 AC 138 ms
22,776 KB
testcase_47 AC 101 ms
16,508 KB
testcase_48 AC 167 ms
20,620 KB
testcase_49 AC 172 ms
20,732 KB
testcase_50 AC 164 ms
20,608 KB
testcase_51 AC 167 ms
20,632 KB
testcase_52 AC 170 ms
20,736 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