#数论,组合,容斥原理,lucas定理,乘法逆元#洛谷 CF451E Devu and Flowers

本文主要是介绍#数论,组合,容斥原理,lucas定理,乘法逆元#洛谷 CF451E Devu and Flowers,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

题目

n n n种颜色,每种颜色有 a i a_i ai枝花,现挑出 m m m朵,使没有颜色完全相同的方案


分析

可以发现,这道题是求多重集的组合数,根据容斥原理也就是
C k + r − 1 k − 1 − ∑ i = 1 k C k + r − n i − 2 k − 1 + ∑ 1 ≤ i &lt; j ≤ k C k + r − n i − n j − 3 k − 1 − ⋯ + ( − 1 ) k C k + r − ∑ i = 1 k n i − ( k + 1 ) C_{k+r-1}^{k-1}-\sum_{i=1}^kC_{k+r-n_i-2}^{k-1}+\sum_{1\leq i&lt;j\leq k}C^{k-1}_{k+r-n_i-n_j-3}-\cdots+(-1)^kC_{k+r-\sum_{i=1}^kn_i-(k+1)} Ck+r1k1i=1kCk+rni2k1+1i<jkCk+rninj3k1+(1)kCk+ri=1kni(k+1)
关于优化的方面,因为选择的数量特别大,所以说需要用二进制优化,还是比较简单去想的,对于判断越界可以用lucas定理@my blog古代猪文,关于组合数的求法可以用乘法逆元


代码

#include <cstdio>
#define rr register
#define mod 1000000007
long long m,a[20],ans; int n,inv[20];
inline int ksm(int x,int y){//快速幂int ans=1;while (y){if (y&1) ans=(long long)ans*x%mod;x=(long long)x*x%mod; y>>=1;}return ans;
}
inline int c(long long n,int m){if (n<0||m<0||n<m) return 0;//不可能存在答案if (!n||!m) return 1;//特判int ans=1;for (rr int i=0;i<m;++i)ans=(long long)ans*(n-i)%mod*inv[i]%mod;//求组合数return ans;
}
int main(){scanf("%d%lld",&n,&m);for (rr int i=0;i<n;++i) scanf("%lld",&a[i]),inv[i]=ksm(i+1,mod-2);//乘法逆元for (rr int x=0;x<1<<n;++x){if (!x) ans=(ans+c((n+m-1)%mod,n-1))%mod;//不考虑重复的状况else{long long t=n+m; int p=0;for (rr int i=0;i<n;++i)if (x>>i&1) p++,t-=a[i];//记录1的个数t-=p+1;if (p&1) ans=(ans-c(t%mod,n-1))%mod;//求答案else ans=(ans+c(t%mod,n-1))%mod;//可能要加回去(容斥定理)}}printf("%lld",(ans+mod)%mod);//算下来可能会出现负数return 0;
}

这篇关于#数论,组合,容斥原理,lucas定理,乘法逆元#洛谷 CF451E Devu and Flowers的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/698991

相关文章

从原理到实战深入理解Java 断言assert

《从原理到实战深入理解Java断言assert》本文深入解析Java断言机制,涵盖语法、工作原理、启用方式及与异常的区别,推荐用于开发阶段的条件检查与状态验证,并强调生产环境应使用参数验证工具类替代... 目录深入理解 Java 断言(assert):从原理到实战引言:为什么需要断言?一、断言基础1.1 语

MySQL中的表连接原理分析

《MySQL中的表连接原理分析》:本文主要介绍MySQL中的表连接原理分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、背景2、环境3、表连接原理【1】驱动表和被驱动表【2】内连接【3】外连接【4编程】嵌套循环连接【5】join buffer4、总结1、背景

深度解析Spring AOP @Aspect 原理、实战与最佳实践教程

《深度解析SpringAOP@Aspect原理、实战与最佳实践教程》文章系统讲解了SpringAOP核心概念、实现方式及原理,涵盖横切关注点分离、代理机制(JDK/CGLIB)、切入点类型、性能... 目录1. @ASPect 核心概念1.1 AOP 编程范式1.2 @Aspect 关键特性2. 完整代码实

Java Stream的distinct去重原理分析

《JavaStream的distinct去重原理分析》Javastream中的distinct方法用于去除流中的重复元素,它返回一个包含过滤后唯一元素的新流,该方法会根据元素的hashcode和eq... 目录一、distinct 的基础用法与核心特性二、distinct 的底层实现原理1. 顺序流中的去重

Spring @Scheduled注解及工作原理

《Spring@Scheduled注解及工作原理》Spring的@Scheduled注解用于标记定时任务,无需额外库,需配置@EnableScheduling,设置fixedRate、fixedDe... 目录1.@Scheduled注解定义2.配置 @Scheduled2.1 开启定时任务支持2.2 创建

Spring Boot 实现 IP 限流的原理、实践与利弊解析

《SpringBoot实现IP限流的原理、实践与利弊解析》在SpringBoot中实现IP限流是一种简单而有效的方式来保障系统的稳定性和可用性,本文给大家介绍SpringBoot实现IP限... 目录一、引言二、IP 限流原理2.1 令牌桶算法2.2 漏桶算法三、使用场景3.1 防止恶意攻击3.2 控制资源

Python中使用uv创建环境及原理举例详解

《Python中使用uv创建环境及原理举例详解》uv是Astral团队开发的高性能Python工具,整合包管理、虚拟环境、Python版本控制等功能,:本文主要介绍Python中使用uv创建环境及... 目录一、uv工具简介核心特点:二、安装uv1. 通过pip安装2. 通过脚本安装验证安装:配置镜像源(可

Mysql的主从同步/复制的原理分析

《Mysql的主从同步/复制的原理分析》:本文主要介绍Mysql的主从同步/复制的原理分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录为什么要主从同步?mysql主从同步架构有哪些?Mysql主从复制的原理/整体流程级联复制架构为什么好?Mysql主从复制注意

Nacos注册中心和配置中心的底层原理全面解读

《Nacos注册中心和配置中心的底层原理全面解读》:本文主要介绍Nacos注册中心和配置中心的底层原理的全面解读,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录临时实例和永久实例为什么 Nacos 要将服务实例分为临时实例和永久实例?1.x 版本和2.x版本的区别

apache的commons-pool2原理与使用实践记录

《apache的commons-pool2原理与使用实践记录》ApacheCommonsPool2是一个高效的对象池化框架,通过复用昂贵资源(如数据库连接、线程、网络连接)优化系统性能,这篇文章主... 目录一、核心原理与组件二、使用步骤详解(以数据库连接池为例)三、高级配置与优化四、典型应用场景五、注意事