P3349 [ZJOI2016] 小星星
考虑设 \(f_{i, j,s}\) 表示 \(i\) 的编号为 \(j\) 且其子树内编号集合为 \(s\) 的方案数,但是注意到合并儿子答案时候集合的条件过于苛刻,会导致带上一个 \(3^n\) 的系数,考虑容斥掉这个东西。
根据子集容斥经典结论,按照子集大小容斥就是对的了。
以后遇到这种钦定必须无交集的子集合并问题,可以弱化限制容斥去算。
考虑设 \(f_{i, j,s}\) 表示 \(i\) 的编号为 \(j\) 且其子树内编号集合为 \(s\) 的方案数,但是注意到合并儿子答案时候集合的条件过于苛刻,会导致带上一个 \(3^n\) 的系数,考虑容斥掉这个东西。
根据子集容斥经典结论,按照子集大小容斥就是对的了。
以后遇到这种钦定必须无交集的子集合并问题,可以弱化限制容斥去算。