首页 > 其他分享 >CF717A Festival Organization 题解

CF717A Festival Organization 题解

时间:2023-02-25 16:46:18浏览次数:70  
标签:frac Festival 题解 sum sqrt times CF717A 那契 underline

传送门

首先考虑求出长度为 \(i\) 的合法串的个数。

很明显可以想到用 dp 解。

设 \(f_{i,0/1}\) 为长度为 \(i\) 最后一位为 \(0/1\) 的合法串个数。

可以很容易想到转移方程:

\(f_{i,0}=f_{i-1,0}\)

\(f_{i,1}=f_{i-1,1}+f_{i-1,0}\)

第一个方程代入第二个方程:

\(f_{i,1}=f_{i-1,1}+f_{i-2,1}\)

答案为 \(f_{i,0}+f{i,1}\)。

即为 \(f_{i-1,1}+f_{i,1}=f_{i+1,1}\)

那么可以省掉一位,转移方程重新改为:

\(f_i=f_{i-1}+f_{i-2}\)

这个也同样是斐波那契的通项式,由于 \(f_1=2\),所以是斐波那契整体往左移动了两位。

我们知道斐波那契数列通项式为:

\(F_i=\frac{1}{\sqrt{5}}(\frac{1+\sqrt{5}}{2})^i-\frac{1}{\sqrt{5}}(\frac{1-\sqrt{5}}{2})^i\)

这样明显是会 T 的,而且还要求 \(\sum_{i=l}^r\binom{f_i}{k}\),所以没法直接用斐波那契通项式求解。

首先拆开 \(\binom{f_i}{k}\)。

\(\binom{f_i}{k}=\frac{f_i^{\underline{k}}}{k!}\)。

\(f_i^{\underline{k}}\) 为下降次幂,代表 \(f_i\times (f_i-1)\times ...\times(f_i-k+1)\)。

下降次幂可以用第一类斯特林数拆开,为:

\(x^{\underline{k}}=\sum_{i=1}^k(-1)^{k-i}\times \left[^k_i\right]\times x^i\)。

\(\left[^x_y\right]\) 代表第一类斯特林数,将 \(x\) 个不同的数划分成 \(y\) 个相同的圆排列。可以递推求解,接下来用 \(s_{x,y}\) 代替第一类斯特林数:

\(s_{x,y}=s_{x-1,y-1}+s_{x-1,y}\times(x-1)\)。

左边的组合意义为 \(x\) 个数有序的选了 \(k\) 个的方案数。

右边即是将 \(k\) 个数划分成 \(i\) 个圆排列,再将有标号的圆排列放入 \(x\) 个有标号的盒子中,允许空,再做容斥。那么最后右边会得到 \(k\) 个大小为 \(1\) 的有标号的圆排列放入 \(x\) 个盒子中。

很明显左右等价,等式成立。

那么原式可以正常转化为:

\(\sum_{i=l}^r\frac{\sum_{j=0}^k(-1)^{k-j}\times s_{k,j}\times f_i^j}{k!}\)

提出 \(\frac{1}{k!}\),原式为:

\(\frac{1}{k!}\sum_{i=l}^r\sum_{j=0}^k(-1)^{k-j}\times s_{k,j}\times f_i^j\)。

设 \(A=\frac{1}{\sqrt{5}},B=-A,C=\frac{1+\sqrt{5}}{2},D=\frac{1-\sqrt{5}}{2}\)。

代入得:

\(\frac{1}{k!}\sum_{i=l}^r\sum_{j=0}^k(-1)^{k-j}\times s_{k,j}\times (AC^i+BD^i)^j\)。

牛顿二项式定理拆开最后一项:

\(\frac{1}{k!}\sum_{i=l}^r\sum_{j=0}^k(-1)^{k-j}\times s_{k,j}\times \sum_{p=0}^j(AC^i)^p(BD^i)^{p-j}\)。

\(A,B\) 与 \(i\) 无关,提出。

\(\frac{1}{k!}\sum_{j=0}^k(-1)^{k-j}\times s_{k,j}\times \sum_{p=0}^jA^pB^{j-p}\sum_{i=l}^r(C^pD^{p-j})^i\)。

前面 \(k^2\) 枚举就可以出来了,后面 \(C^pD^{p-j}\) 也只有 \(k^2\) 种可能。

那现在等价于就是求 \(g(x)=\sum_{n=0}^{r}x^n\),再用前缀和相减。

这玩意就是等比数列。正常求就完事了。

时间复杂度:\(O(k^2)\)。

标签:frac,Festival,题解,sum,sqrt,times,CF717A,那契,underline
From: https://www.cnblogs.com/gmtfff/p/cf717a.html

相关文章

  • ABC267D 题解
    前言题目传送门!更好的阅读体验?两篇题解的代码写得很复杂,我是没有想到。思路很显然对于一个点,它必定会进入一个循环节。如何判断它进入循环节了呢?当一个点被经过两次,......
  • CF1383E 题解
    题意传送门给定一个长度为\(n\)的01串\(a\)。在一次操作中,你可以选择任意一个\(i\in[1,|a|)\),令\(a_i=\max(a_i,a_{i+1})\),然后将\(a_{i+1}\)删除。你可以进行......
  • AtCoder Beginner Contest 287 A-F 题解
    比赛链接A-Majority先这样再那样最后这样,就是这样。点击查看代码#include<cstdio>#include<algorithm>#include<cstring>usingnamespacestd;intn,a;char......
  • AtCoder Beginner Contest 286 A-G 题解
    比赛链接A-RangeSwap根据题意,分段输出。点击查看代码#include<cstdio>#include<algorithm>#include<cstring>usingnamespacestd;constintN=105;intn,......
  • P8720 [蓝桥杯 2020 省 B2] 平面切分 题解
    前言建议本题评黄,因为需要较强的数学能力。如果格式炸了去这里看哦题意给出\(N\)条直线的解析式\(y=kx+b\),求出这些直线把平面分成了几部分。思路看到这道题我们......
  • [六省联考 2017] 组合数问题 题解
    题目描述组合数\(C_n^m\)表示的是从\(n\)个互不相同的物品中选出\(m\)个物品的方案数。举个例子,从\((1,2,3)\)三个物品中选择两个物品可以有\((1,2)\),\((1,......
  • 2.25 校内模拟赛 题解
    好消息:签到题首杀。坏消息:只会签到题。\(\text{contestid:726}\)A.随机\(\text{problemid:2307}\)B.回文路径\(\text{problemid:3772}\)成功首杀。看到回......
  • AtCoder Beginner Contest 282 A-F 题解
    比赛链接A-GeneralizedABC额,对,是的,没错,先这样再那样然后这样就是这样。点击查看代码#include<cstdio>intn;intmain(){ scanf("%d",&n); for(inti=0;......
  • #68. 「NOIP2004」津津的储蓄计划 题解
    #68.「NOIP2004」津津的储蓄计划题解题目传送门题目知识点模拟题目分析非常的“明显”,这是一道模拟题。题意说明有可能在某个月的月初,津津手中的钱加上这个月妈妈......
  • #119. 最大整数 题解
    #119.最大整数题解题目传送门题目知识点字符串+贪心题意说明设有n个正整数(n<=20),将它们连接成一排,组成一个最大的多位整数。(题目简介明了,一看就是出题人懒得写题目背......