[agc018f]Two Trees

题目大意：

给每个点附一个权值，

使得两棵树的每个子树的权值和的绝对值=1

题解：

完全想不到算法是什么……

首先需要判断是否有解，随便搞一搞就知道是一个点在两棵树上的度数的奇偶性相同。

保留树边。

建立超级源S，向两个根连边。

如果x在两棵树上的度数是奇数，则连边。

S开始跑欧拉回路，度数为奇数的点，如果是x1->x2,权值为1，否则为-1.

度数偶数的点v=0

证明：
考虑一个子树|出去-进来|=1

Code：

#include<cstdio> 
#define pp printf
#define fo(i, x, y) for(int i = x; i <= y; i ++)
using namespace std;

const int N = 1e6 + 5;

int n, f1[N], f2[N], g1, g2;
int fi[N], to[N], nt[N], tot = 1;
void link(int x, int y) {
	nt[++ tot] = fi[x], to[tot] = y, fi[x] = tot;
	nt[++ tot] = fi[y], to[tot] = x, fi[y] = tot;
}

int son[N], bz[N];

void dg(int x) {
	bz[x] = 1;
	for(int i = fi[x]; i; i = nt[i]) if(!bz[to[i]])
		dg(to[i]), son[x] ++;
	bz[x] = 0;
}

int ans[N], bb[N];

int d[N];
void dfs(int x) {
	for(int i = fi[x]; i; i = fi[x]) {
		fi[x] = nt[fi[x]];
		if(bb[i]) continue;
		bb[i] = bb[i ^ 1] = 1;
		if(x + n == to[i]) ans[x] = -1;
		if(x == to[i] + n) ans[to[i]] = 1;
		dfs(to[i]);
	}
}

int main() {
	scanf("%d", &n);
	fo(i, 1, n) scanf("%d", &f1[i]);
	fo(i, 1, n) scanf("%d", &f2[i]);
	fo(i, 1, n) {
		if(f1[i] != -1) link(f1[i], i); else g1 = i;
		if(f2[i] != -1) link(f2[i] + n, i + n); else g2 = i + n;
	}
	dg(g1); dg(g2);
	int No = 0;
	fo(i, 1, n) if((son[i] ^ son[i + n]) & 1) {
		No = 1; break;
	} else {
		if(!(son[i] & 1)) link(i, i + n);
	}
	if(No) { printf("IMPOSSIBLE\n"); return 0;}
	link(2 * n + 1, g1); link(2 * n + 1, g2);
	dfs(2 * n + 1);
	printf("POSSIBLE\n");
	fo(i, 1, n) printf("%d ", ans[i]);
}