結果

問題 No.1023 Cyclic Tour
ユーザー moririn2528_c
提出日時 2020-04-10 22:58:36
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 172 ms / 2,000 ms
コード長 2,732 bytes
コンパイル時間 1,237 ms
コンパイル使用メモリ 108,716 KB
実行使用メモリ 11,128 KB
最終ジャッジ日時 2024-09-15 23:29:12
合計ジャッジ時間 9,877 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 49
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<vector>
#include<cmath>
#include<algorithm>
#include<map>
#include<queue>
#include<deque>
#include<iomanip>
#include<tuple>
#include<cassert>
using namespace std;
typedef long long int LL;
typedef pair<int,int> P;
typedef pair<LL,int> LP;
const int INF=1<<30;
const LL MAX=1e9+7;

void array_show(int *array,int array_n,char middle=' '){
	for(int i=0;i<array_n;i++)printf("%d%c",array[i],(i!=array_n-1?middle:'\n'));
}
void array_show(LL *array,int array_n,char middle=' '){
	for(int i=0;i<array_n;i++)printf("%lld%c",array[i],(i!=array_n-1?middle:'\n'));
}
void array_show(vector<int> &vec_s,int vec_n=-1,char middle=' '){
	if(vec_n==-1)vec_n=vec_s.size();
	for(int i=0;i<vec_n;i++)printf("%d%c",vec_s[i],(i!=vec_n-1?middle:'\n'));
}
void array_show(vector<LL> &vec_s,int vec_n=-1,char middle=' '){
	if(vec_n==-1)vec_n=vec_s.size();
	for(int i=0;i<vec_n;i++)printf("%lld%c",vec_s[i],(i!=vec_n-1?middle:'\n'));
}

class union_find_tree{
private:
	static constexpr int uft_N=100005;
	int uft_n;
	queue<int> uft_q1;
	vector<int> uft_parent;
	vector<int> uft_num;
public:
	void init(){
		uft_parent.assign(uft_n,-1);
		uft_num.assign(uft_n,0);
	}
	union_find_tree(int uft_num){
		assert(uft_num>=0);
		uft_n=uft_num;
		init();
	}
	union_find_tree(){
		uft_n=uft_N;
		init();
	}

	int check_parent(int uft_x){
		assert(uft_x>=0 && uft_x<uft_n);
		if(uft_parent[uft_x]!=-1){
			uft_q1.push(uft_x);
			return check_parent(uft_parent[uft_x]);
		}
		int uft_a;
		while(!uft_q1.empty()){
			uft_a=uft_q1.front(),uft_q1.pop();
			uft_parent[uft_a]=uft_x;
		}
		return uft_x;
	}

	bool connect(int uft_x,int uft_y){
		assert(uft_x>=0 && uft_x<uft_n);
		assert(uft_y>=0 && uft_y<uft_n);
		uft_x=check_parent(uft_x),uft_y=check_parent(uft_y);
		if(uft_x==uft_y)return true;
		if(uft_num[uft_x]>uft_num[uft_y])swap(uft_x,uft_y);
		uft_parent[uft_x]=uft_y;
		uft_num[uft_y]+=uft_num[uft_x];
		return false;
	}
};

vector<int> path[110000];
int outnum[110000];
queue<int> q1;
vector<P> v1;

bool solve(){
	int n,m;
	int i,j,k;
	int a,b,c;
	cin>>n>>m;
	union_find_tree uf(n);
	for(i=0;i<m;i++){
		cin>>a>>b>>c;
		a--,b--;
		if(c==2){
			v1.push_back(make_pair(a,b));
			continue;
		}
		if(uf.connect(a,b))return true;
	}
	for(auto node:v1){
		a=node.first,b=node.second;
		a=uf.check_parent(a),b=uf.check_parent(b);
		path[a].push_back(b);
		outnum[b]++;
	}
	int cnt=0;
	for(i=0;i<n;i++){
		if(outnum[i]==0)q1.push(i);
	}
	while(!q1.empty()){
		a=q1.front(),q1.pop(),cnt++;
		for(auto to:path[a]){
			outnum[to]--;
			if(outnum[to]==0)q1.push(to);
		}
	}
	if(cnt!=n)return true;
	else return false;
}
int main(){
	if(solve())cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
}
0