专栏文章

题解:CF1874F Jellyfish and OEIS

CF1874F题解参与者 1已保存评论 0

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
0 条
当前快照
1 份
快照标识符
@minp8z4h
此快照首次捕获于
2025/12/02 06:07
3 个月前
此快照最后确认于
2025/12/02 06:07
3 个月前
查看原文
平凡的花
也会有梦想 惆怅
也会有无奈和原谅
多希望会有某个人
为她的凋谢流泪和悲伤
牛牛牛!
考虑容斥,设你选出了钦定违法区间集合为 SS,容斥系数为 (1)S(-1)^{|S|}
假设集合里存在两个区间 [l1,r1][l_1,r_1][l2,r2][l_2,r_2] 满足 l1<l2r1<r2l_1<l_2\leq r_1<r_2,那么显然 [l1,l21],[l2,r1],[r1+1,r2][l_1,l_2-1],[l_2,r_1],[r_1+1,r_2] 都违法,所以区间 [l2,r1][l_2,r_1] 选或不选,方案数一样,容斥系数抵消。所以只需要考虑 S|S| 中区间包含或不交的情况。
于是可以 dp 了:设 fl,rf_{l,r} 表示区间 [l,r][l,r] 违法,区间内方案的答案(不考虑 [l,r]S[l,r]\in S),再设 gl,r,xg_{l,r,x} 表示区间 [l,r][l,r] 内钦定了若干不交区间 S\in S,没被区间限制的位置有 xx 个,的答案。转移有:
gl,r,x=gl,r1,x1i=lrfi,r×gl,i1,x×[rmi],g_{l,r,x}=g_{l,r-1,x-1}-\sum_{i=l}^{r} f_{i,r}\times g_{l,i-1,x}\times [r\leq m_i],
fl,r=x=0nx!×gl,r,x.f_{l,r}=\sum_{x=0}^{n}x!\times g_{l,r,x}.
由于在转移 fl,rf_{l,r}gl,r,xg_{l,r,x} 不考虑只选 [l,r][l,r] 的情况,所以在算出 fl,rf_{l,r} 后还要 gl,r,0fl,rg_{l,r,0}\gets -f_{l,r}
时间复杂度 O(n4)O(n^4)

评论

0 条评论,欢迎与作者交流。

正在加载评论...