\[\large(\sum\limits_{i=1}^n |s_i|)-(\sum\limits_{i=1}^{n-1} |s_{p_i}\bigcap s_{p_{i+1}}|)=|\bigcup\limits_{i=1}^n s_i| \]
观察题目中式子,不难想到如果对二进制拆位,那么相当于要求对于每个二进制位,包含这一位的集合必须排列在一段区间内,因为左式中每一位至少出现一次,而右式限制了至多出现一次,要让这一位只出现一次就只能排列在区间内
那么现在我们得到了 \(m\) 个区间,容易发现对于两个相交的区间,它们的顺序就会固定下来,或者倒过来,有两种方案,而完全包含的区间的限制就是挖掉一些段,剩下的任意排列,再对挖掉的段选位置放
如果这时直接用 \(PQ\ Tree\) 来做就可以得到一个 \(O(nm)\) 的做法,但是比较复杂,这里不赘述
考虑用并查集合并区间,然后对于包含关系建出一棵树
对于相交的区间,我们可以任意排列的部分实际上是下图所示分裂出来的三个区域
在相交区间合并的过程中维护这些分裂出来的段就可以得到所有能任意排列的区间,定义 \(cnt\) 为最后 \(size>1\) 的连通块数,最后分裂出来了 \(x_1,x_2,\dots,x_k\) 段,包含区间的树形结构上的答案是 \(val\),则最后的答案就是:
\[\large2^{cnt}\times val\times \prod\limits_{i=1}^kx_i! \]\(cnt\) 可以用并查集统计,\(val\) 是 trivial 的组合问题,关键在于求后面的 \(\prod\)
\(PQ\ Tree\) 强行完成了这个分裂的过程,但是我们并不需要用数据结构,观察到对于每一个位,加入它对应的区间实际上进行了对所有集合是否包含这个位的区分,那么最终分裂下来的这些段,就一定会是一个个相同的集合
所以用一个 \(map\) 就可以轻松地解决这个问题
具体实现还是有一些细节
标签:R4,cnt,排列,Phoenix,limits,官解,分裂,val,区间 From: https://www.cnblogs.com/pidan123/p/17650122.html