BZOJ 2155 R集合(不是Xor) (卡特兰数，Python)

最新推荐文章于 2022-01-07 22:19:50 发布

Freopen

最新推荐文章于 2022-01-07 22:19:50 发布

阅读量183

点赞数 1

分类专栏：组合计数

本文链接：https://blog.csdn.net/qq_35950004/article/details/102627559

版权

组合计数专栏收录该内容

31 篇文章 0 订阅

订阅专栏

设 $s u m (S)$ 表示集合 $S$ 中所有元素的和。如果对于 $S$ 的任意两个不相交子集 $A$ 和 $B$ ，如果他们满足：
$(1) . s u m (A)$ 不等于 $s u m (B)$
$(2) . i f ∣ A ∣ > ∣ B ∣ t h e n s u m (A) > s u m (B)$ 则称 $S$ 是 $R$ 集合。现在我们假设有一个大小为 $N$ ，元素互不相等的集合，已经满足了条件 $(2)$ ，并且知道所有元素之间的大小关系。问最坏情况下最少需要几次比较才能确定它是不是 $R$ 集合。
$N < = 1 e 4$
样例：4
输出：1
样例解释 : 设这个4 元集的元素是 $a_1 < a_2 < a_3 < a_4$ ，那么我们只需要比较 $sum(a_1,a_4)$ 和 $sum(a_2,a_3)$ 。

建议先看懂样例解释之后再看题解：
因为 $(2)$ 条件已经满足，那么我们需要的就是对于大小相等且大于一的(不相交)集合对一一判定是否相等。
其中有一些是不需要判定就可以得出的，比如样例中的 $(1, 2) 与 (3, 4) ， (1, 3) 与 (2, 4)$
找这种不需判定的方案的规律，发现应该是两个集合 $A, B$ 都从小到大排序，对于任意 $x$ ， $A$ 中的 $< = x$ 的数的数量，都 $< = ， B$ 中的 $< = x$ 的数的数量。
马上想到卡特兰数。
因为对称性，不妨设 $A\cup B$ 中最小的元素在 $A$ 中。
那么不需判定的方案数就是 $\binom{2|A|-1}{|A|} - \binom{2|A|-1}{|A|+1}$ ，总方案是 $\binom{2|A|-1}{|A|}$ （不懂的可以去膜卡特兰数的证明）
所以答案就是 $\sum_{i=2}^{\frac n2} \binom{2|A|-1}{|A|+1} \binom{n}{2|A|}$

$\rm{AC \ Code:}$

fac = [0]*1005
 
def comb(a,b):
    return fac[a]//fac[b]//fac[a-b]
 
n = int(input())
fac[0] = 1
for i in range(1,n+1):
    fac[i] = fac[i-1] * i
result = 0
for i in range(2,n//2+1):
    result += comb(n,2*i) * comb(2*i-1,i+1)
print(result)