結果

問題 No.768 Tapris and Noel play the game on Treeone
ユーザー kenta255kenta255
提出日時 2020-01-17 14:48:38
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 321 ms / 2,000 ms
コード長 2,963 bytes
コンパイル時間 2,957 ms
コンパイル使用メモリ 232,312 KB
実行使用メモリ 39,560 KB
最終ジャッジ日時 2024-06-25 15:51:12
合計ジャッジ時間 8,598 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 3 ms
5,376 KB
testcase_04 AC 4 ms
5,376 KB
testcase_05 AC 3 ms
5,376 KB
testcase_06 AC 3 ms
5,376 KB
testcase_07 AC 129 ms
24,448 KB
testcase_08 AC 63 ms
14,464 KB
testcase_09 AC 74 ms
16,640 KB
testcase_10 AC 55 ms
13,312 KB
testcase_11 AC 217 ms
36,424 KB
testcase_12 AC 219 ms
36,884 KB
testcase_13 AC 207 ms
35,744 KB
testcase_14 AC 203 ms
35,816 KB
testcase_15 AC 222 ms
37,744 KB
testcase_16 AC 226 ms
37,836 KB
testcase_17 AC 231 ms
38,616 KB
testcase_18 AC 321 ms
39,560 KB
testcase_19 AC 282 ms
39,272 KB
testcase_20 AC 242 ms
37,840 KB
testcase_21 AC 225 ms
36,084 KB
20evil_special_uni1.txt AC 243 ms
38,568 KB
20evil_special_uni2.txt AC 227 ms
36,520 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define FOR(I,A,B) for(ll I = ll(A); I < ll(B); ++I)

template <typename T>
class Seg_Tree{
public: // 0-index
	vector<T> dat;
	T initial,M;
	int n;
	T unite(T a,T b){//
		return a|b;
	}
	//Seg_Tree(int n0_=1,T initial_=1,T M_=1){
	//	initsize(n0_,initial_,M_);
	//}
	void initsize(int n0,T initial_,T M_){
		M = M_;
		initial = initial_;
		int k=1;
		while(1){
			if(n0<=k){
				n=k;
				dat.resize(2*n-1);
				for(int i=0;i<2*n-1;i++)dat[i]=initial;
				break;
			}
			k*=2;
		}
	}

	//i banme wo x nisuru
	void update(int i,T x){
		i += n-1;
		dat[i] = x;
		while(i>0){
			i = (i-1) / 2;
			dat[i] = unite(dat[i*2+1],dat[i*2+2]);
		}
	}

	//[a,b)
	T query0(int a,int b,int k,int l,int r){
		if(r<=a || b<=l)return initial;
		if(a<=l && r<=b)return dat[k];
		else{
			T vl = query0(a,b,k*2+1,l,(l+r)/2);
			T vr = query0(a,b,k*2+2,(l+r)/2,r);
			return unite(vl,vr);
		}
	}

	//return [a,b)
	T query(int a,int b){
		return query0(a,b,0,0,n);
	}

	T get_except(int ind){
		T vl = query(0,ind);
		T vr = query(ind+1,n);
		return unite(vl,vr);
	}

	T get_all(){
		return query(0,n);
	}
};

vector<int> leaf(const vector<int> &u,const vector<int> &v){
	int N = u.size() + 1;
	vector<int> G(N,0),res;
	for(int i=0;i<N-1;i++){
		G[u[i]]++;
		G[v[i]]++;
	}
	for(int i=0;i<N;i++){
		if(G[i] == 1){
			res.push_back(i);
		}
	}
	return res;
}

vector< pair<int,int> > leaf_to_root(const vector<int> &u,const vector<int> &v,const int root){
	// return <parent,child>
	int yet = 1000000000;
	vector<int> d(u.size()+1,yet);
	vector< pair<int,int> > res;
	queue<int> Q;
	Q.push(root);
	d[root] = 0;
	vector< vector<int> > G(u.size()+1);
	for(int i=0;i<u.size();i++){
		G[u[i]].push_back(v[i]);
		G[v[i]].push_back(u[i]);
	}
	while( Q.size() ){
		int now = Q.front();
		Q.pop();
		for(auto nex:G[now]){
			if(d[nex]!=yet)continue;
			d[nex] = d[now] + 1;
			Q.push(nex);
			res.push_back( make_pair(now,nex) );
		}
	}
	reverse(res.begin(), res.end());
	return res;
}


int main(){


	int N;
	cin >> N;
	vector<int> x(N-1),y(N-1);
	FOR(i,0,N-1) cin >> x[i] >> y[i];
	FOR(i,0,N-1) x[i]--,y[i]--;

	vector< vector<int> > G(N);
	for(int i=0;i<N-1;i++){
		G[x[i]].push_back(y[i]);
		G[y[i]].push_back(x[i]);
	}
	vector< map<int,int> > ma(N);
	for(int i=0;i<N;i++){
		for(int j=0;j<G[i].size();j++){
			ma[ i ][ G[i][j] ] = j;
		}
	}

	vector< Seg_Tree<bool> > dp(N);
	for(int i=0;i<N;i++){
		dp[i].initsize(G[i].size(),false,true);
	}

	auto route = leaf_to_root(x,y,0);
	for(auto a:route){
		int p = a.first;
		int c = a.second;
		dp[p].update(ma[p][c],not dp[c].get_all());
	}

	reverse(route.begin(),route.end());
	for(auto a:route){
		int c = a.second;
		int p = a.first;
		dp[c].update(ma[c][p],not dp[p].get_except(ma[p][c]));
	}

	vector<int> ans;
	for(int i=0;i<N;i++){
		auto x = dp[i].get_all();
		if(not x)ans.push_back(i+1);
	}
	cout << ans.size() << endl;
	for(auto a:ans){
		cout << a << '\n';
	}
}
0