[bzoj2339][HNOI2011]卡农——动态规划+容斥原理

本文探讨了一种基于卡农音乐灵感的数学问题,提出了如何计算特定条件下音乐片段的组合总数,通过递推公式和组合数学的方法,给出了求解包含m个片段的音乐种类数的算法实现。
部署运行你感兴趣的模型镜像

题目大意:

众所周知卡农是一种复调音乐的写作技法,小余在听卡农音乐时灵感大发,发明了一种新的音乐谱写规则。他将声音分成 n 个音阶,并将音乐分成若干个片段。音乐的每个片段都是由 1 到 n 个音阶构成的和声,即从 n 个音阶中挑选若干个音阶同时演奏出来。为了强调与卡农的不同,他规定任意两个片段所包含的音阶集合都不同。同时为了保持音乐的规律性,他还规定在一段音乐中每个音阶被奏响的次数为偶数。现在的问题是:小余想知道包含 m 个片段的音乐一共有多少种。两段音乐 a 和 b 同种当且仅当将 a 的片段重新排列后可以得到 b。例如:假设 a
为{{1,2},{2,3}},b 为{{3,2},{2,1}},那么 a 与 b 就是同种音乐。由于种数很多,你只需要
输出答案模 100000007(质数)的结果。

思路:

很好的一道题!!!
首先我们可以得到一共有\(2^n-1\)种合法的集合(片段)。
为了方便,我们让片段的出现变得有序,最后再将答案处以\(m!\)即可。
由于每一个元素都必须要出现偶数次,所以我们如果选了\(m-1\)个片段,那么最后一个片段就可以直接根据奇偶性确定。
\(2^n-1\)个片段中选择\(m-1\)个的方案为\({2^n-1\choose m-1}\)
考虑记\(f_m\)为m个片段合法的方案数,如果令\(f_m=A_{2^n-1}^{m-1}\),那么我们会发现最后一个片段有可能为空集,同时也有可能是之前出现过的片段,于是我们要将这些不合法的情况给删除。
如果是空集,那么可以保证前\(m-1\)个片段的方案数合法,那么直接减去\(f_{m-1}\)
如果是前面出现过的片段,考虑枚举和它相同的片段的位置是哪一个(总共\(m-1\)个位置),然后剩下来的\(m-2\)个片段的情况也一定是合法的,共有\(f_{m-2}\)种,确定了这\(m-2\)中之后,有\(2^n-1-(m-2)\)个片段可以供这个位置挑选,所以要减去的情况是\((m-1)\times f_{m-2}\times (2^n-1-(m-2))\)
然后就可以直接递推了。
其实直接利用组合数来计算,即不考虑顺序也是可以的,方法类似,有兴趣可以自己推一下(复杂度多带一个快速幂)。

#include<bits/stdc++.h>

#define REP(i,a,b) for(int i=a,i##_end_=b;i<=i##_end_;++i)
#define DREP(i,a,b) for(int i=a,i##_end_=b;i>=i##_end_;--i)
#define MREP(i,x) for(int i=beg[x],v;v=to[i],i;i=las[i])
#define debug(x) cout<<#x<<"="<<x<<endl
#define fi first
#define se second
#define mk make_pair
#define pb push_back
typedef long long ll;

using namespace std;

void File(){
    freopen("bzoj2339.in","r",stdin);
    freopen("bzoj2339.out","w",stdout);
}

template<typename T>void read(T &_){
    T __=0,mul=1; char ch=getchar();
    while(!isdigit(ch)){
        if(ch=='-')mul=-1;
        ch=getchar();
    }
    while(isdigit(ch))__=(__<<1)+(__<<3)+(ch^'0'),ch=getchar();
    _=__*mul;
}

const int maxn=1e6+10;
const ll mod=1e8+7;
int n,m;
ll p2,fac[maxn],f[maxn];

ll qpow(ll x,ll y){
    ll ret=1; x%=mod;
    while(y){
        if(y&1)ret=ret*x%mod;
        x=x*x%mod;
        y>>=1;
    }
    return ret;
}

int main(){
    //File();
    read(n),read(m);

    p2=(qpow(2,n)-1)%mod;

    fac[0]=1;
    REP(i,1,m)fac[i]=fac[i-1]*(p2-i+1)%mod;

    f[0]=1,f[1]=0;
    REP(i,2,m){
        f[i]=fac[i-1];
        f[i]=(f[i]-f[i-1])%mod;
        f[i]=(f[i]-(i-1)*f[i-2]%mod*(p2-i+2)%mod)%mod;
    }

    ll tmp=1;
    REP(i,1,m)tmp=tmp*i%mod;

    f[m]=f[m]*qpow(tmp,mod-2)%mod;

    printf("%lld\n",(f[m]+mod)%mod);

    return 0;
}

转载于:https://www.cnblogs.com/ylsoi/p/10110440.html

您可能感兴趣的与本文相关的镜像

Dify

Dify

AI应用
Agent编排

Dify 是一款开源的大语言模型(LLM)应用开发平台,它结合了 后端即服务(Backend as a Service) 和LLMOps 的理念,让开发者能快速、高效地构建和部署生产级的生成式AI应用。 它提供了包含模型兼容支持、Prompt 编排界面、RAG 引擎、Agent 框架、工作流编排等核心技术栈,并且提供了易用的界面和API,让技术和非技术人员都能参与到AI应用的开发过程中

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值