[CF453C]Little Pony and Summer Sun Celebration

题目

传送门 to luogu

思路

显然这是一道构造题。而构造题是超过我能力的。所以我只能讲题解，说不出怎么想到的。

首先我们建出一棵生成树。在树上我们按如下顺序进行：首先让子树中的所有点满足次数限制。最后回到根。如果根的次数限制未满足，往其父节点走，然后回来。

对于整颗树的根，可能次数限制未满足，因为它没有父节点，他是个孤儿。但是，访问序列的最后一个点一定也是它。如果它的次数限制未满足，删去访问序列的末尾即可。

对于多个连通块的情况，自己判断一下就好了。

代码

#include <cstdio>
#include <iostream>
#include <vector>
using namespace std;
inline int readint(){
	int a = 0; char c = getchar(), f = 1;
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}

const int MaxN = 200005;
struct Edge{
	int to, nxt;
	Edge(int T=0,int N=0){
		to = T, nxt = N;
	}
} edge[MaxN];
int n, m, val[MaxN];
int head[MaxN], cntEdge;

void addEdge(int a,int b){
	edge[cntEdge] = Edge(b,head[a]);
	head[a] = cntEdge ++;
	edge[cntEdge] = Edge(a,head[b]);
	head[b] = cntEdge ++;
}

bool vis[MaxN], odd;
vector< int > ans;
void dfs(int x){
	vis[x] = true, ans.push_back(x);
	if(val[x]) odd = true; val[x] ^= 1;
	for(int i=head[x]; ~i; i=edge[i].nxt){
		if(vis[edge[i].to]) continue;
		dfs(edge[i].to);
		ans.push_back(x); // 回家
		val[x] ^= 1;
		if(val[edge[i].to]){
			val[x] ^= 1;
			ans.push_back(edge[i].to);
			ans.push_back(x);
		}
	}
}

int main(){
	n = readint(), m = readint();
	for(int i=1; i<=n; ++i)
		head[i] = -1;
	for(int i=1; i<=m; ++i)
		addEdge(readint(),readint());
	for(int i=1; i<=n; ++i)
		val[i] = readint();
	for(int i=1; i<=n; ++i){
		if(vis[i]) continue;
		dfs(i); if(odd) break;
		ans.clear();
	}
	for(int i=1; i<=n; ++i)
		if(val[i] && !vis[i]){
			puts("-1"); return 0;
		}
	if(!ans.empty() && val[ans.back()])
		ans.pop_back(); // 可调整
	printf("%u\n",ans.size());
	for(auto x : ans) printf("%d ",x);
	return 0;
}