【CF1053E】Euler tour（构造）

传送门

---

由于这道题被不知道哪个傻逼搬题人拿来给隔壁Noip组的做了，然后我被抓去口胡题解，结果标程没有丝毫可读性。。。于是我在orz yyb的题解之后 来水一篇题解。

题解：

首先判断无解。

不可能的欧拉序只有以下几种情况：

两个子树有非包含交，相同节点出现位置的奇偶性改变，首位不同。

以及最后一种，只能在构造过程中判定的，离根太远无法返回。

首先注意到一旦出现两个相同的数字，则中间是一些子树，考虑递归处理这些并把这个区间缩起来。

那么在处理当前子树的时候区间内剩下的所有位置两两不同，也就成不了子树，看一下空位够不够两两匹配，然后先尽量把空位填好，然后对于所有$0xy$，直接把另一侧赋值为$y$，同理$xy0$把另一侧赋值为$x$即可。

这时候如果还有空位，可以认为是根的不同子树回到根的时候，填上根即可。

---

代码（实际上就是抄了一遍yyb的。。。）：

#include<bits/stdc++.h>
#define ll long long
#define re register
#define cs const

namespace IO{
	inline char gc(){
		static cs int Rlen=1<<22|1;
		static char buf[Rlen],*p1,*p2;
		return (p1==p2)&&(p2=(p1=buf)+fread(buf,1,Rlen,stdin),p1==p2)?EOF:*p1++;
	}
	
	template<typename T>
	inline T get(){
		char c;T num;
		while(!isdigit(c=gc()));num=c^48;
		while(isdigit(c=gc()))num=(num+(num<<2)<<1)+(c^48);
		return num;
	}
	inline int gi(){return get<int>();}
}
using namespace IO;

using std::cerr;
using std::cout;

inline void fail(){puts("no");exit(0);}

cs int N=1e6+7;

int n,m;

int a[N],pre[N],suf[N],vis[N],nxt[N];

inline void del(int l,int r){
	suf[pre[l]]=suf[r];
	pre[suf[r]]=pre[l];
}

int now=1;
inline int get(){
	while(vis[now])++now;
	if(now>n)fail();
	vis[now]=-1;
	return now;
}

void solve(int l,int r){
	if((r-l)&1)fail();
	for(int re i=l;i<=r;i=suf[i]){
		while(nxt[i]){
			if(nxt[i]>r)fail();
			solve(suf[i],pre[nxt[i]]);
			del(suf[i],nxt[i]);
			nxt[i]=nxt[nxt[i]];
		}
	}
	int sum=0,ct=0,rt=a[pre[l]];
	for(int re i=l;i<=r;i=suf[i])++sum,ct+=!!a[i];
	sum=(sum+1)/2;if(ct>sum)fail();
	for(int re i=suf[l];i<=r;i=suf[i])
	if(!a[i]&&ct<sum)a[i]=get(),++ct;
	if(sum==1&&ct==0)a[l]=get();
	for(int re i=l;suf[i]<=r;i=suf[i]){
		while(i>l&&suf[i]<=r&&!a[pre[i]]&&a[i]&&a[suf[i]])
		a[pre[i]]=a[suf[i]],del(i,suf[i]),i=pre[pre[i]];
		while(i>=l&&suf[suf[i]]<=r&&a[i]&&a[suf[i]]&&!a[suf[suf[i]]])
		a[suf[suf[i]]]=a[i],del(suf[i],suf[suf[i]]),i=pre[i];
	}
	for(int re i=l;i<=r;i=suf[i])if(!a[i])a[i]=rt;
}

signed main(){
#ifdef zxyoi
	freopen("euler_tour.in","r",stdin);
#endif
	n=gi(),m=n*2-1;
	for(int re i=1;i<=m;++i)a[i]=gi();
	if(a[1]&&a[m]&&a[1]!=a[m])fail();
	a[1]=a[m]=a[1]|a[m];
	for(int re i=0;i<=m;++i)pre[i]=i-1,suf[i]=i+1;
	for(int re i=m;i;--i)if(a[i])nxt[i]=vis[a[i]],vis[a[i]]=i;
	solve(1,m);puts("yes");
	for(int re i=1;i<=m;++i)cout<<a[i]<<" ";
	return 0;
}