最新要闻
- 因为读书值得
- 每日动态!六合一套装:八喜冰淇淋3.8元/杯抄底(商超8元)
- 巴黎治鼠患官宣失败:市民将与600万只老鼠共存
- 世界微速讯:全系降价3万后 蔚来ET5旅行版今日首发上市:这颜值30万你买吗?
- 每日热门:618最值得入手智能门锁非它莫属:华为智能门锁系列该怎么选?
- 业内第一!小鹏首宣开放北京城市智能辅助驾驶:不靠高精地图|天天热点
- 《长安三万里》曝角色海报 7月8日梦回诗意大唐 要闻
- 微头条丨月的暗面——戴冰选集_对于月的暗面——戴冰选集简单介绍
- 当前快报:大导演冯小刚多年的白癜风“消失”了引围观 这病真能治好?医生释疑
- 天天热资讯!高速错过出口 丰田亚洲龙缓行被大货车追尾致5死 官方:两司机均分心驾驶
- 全球聚焦:李想:理想MPV不会是埃尔法“私生子” 开上街比法拉利还瞩目
- 女子穿联名汉服进入迪士尼被拦 官方回应:网友吵翻 说好的穿衣自由呢
- 视讯!对象说冷怎么回
- 陕西已累计收获小麦1213.63万亩占应收面积的八成以上
- 环球快资讯:女孩抓蛙一身泥巴被妈妈逮到 毫无畏惧:网友感慨这才是童年
- 热点评!《王者荣耀》诸葛亮新皮肤上线:最强大的仙尊 能御剑飞行
手机
iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?
警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案
- iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?
- 警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案
- 男子被关545天申国赔:获赔18万多 驳回精神抚慰金
- 3天内26名本土感染者,辽宁确诊人数已超安徽
- 广西柳州一男子因纠纷杀害三人后自首
- 洱海坠机4名机组人员被批准为烈士 数千干部群众悼念
家电
『题解』BZOJ2839 集合计数|天天热点评
西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内西内呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃呃啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊!!!!
烦死了
烦死了
烦死了
烦死了
题面
一个有 \(n\) 个元素的集合有 \(2^n\) 个不同子集(包含空集), 现在要在这 \(2^n\) 个集合中取出若干集合(至少一个), 使得它们的交集的元素个数为 \(k\) , 求取法的方案数, 答案模 \(1000000007\) .
(资料图片仅供参考)
这不就一眼丁真容斥原理么
容斥原理是什么, 不就是一个的减去两个的加上三个的减去四个的加上五个的... 以此类推一直到边界么.
类似地, 对于这个题来说, 我们设交集的元素个数 \(\ge k\) 的方案数为 \(g_k\) , 答案显然就是:
\[\sum_{i=k}^{n}(-1)^{i-k} \times g_i\]但是, 这是错误的.当然也只有这个式子是错误的.不是, 并不是错误的, 而是不完整的,\(g_i\) 具体是什么我们还不清楚, 所以我们要赋予 \(g_i\) 一个含义.
这里 \(i\) 和 \(k\) 有点混了, 但是它们都是一个东西, 都是 \(g_{某个字母}\) 代表的含义.
为什么呢? 因为虽然是交集元素个数 \(\ge k\) , 但是我们不知道具体是哪 \(k\) 个. 所以 \(g_k\) 中一定有因子 \(\mathrm{C}_n^k\) , 就是在这 \(n\) 个数中任意选出 \(k\) 个数来作为交集中一定存在的 \(k\) 个元素.但是这还没完, 我们还剩下 \(n-k\) 个数, 我们可以让这 \(n-k\) 个数构成 \(2^{n-k}\) 个集合(包括空集), 把交集中一定存在的 \(k\) 个元素加到这 \(2^{n-k}\) 个集合的每一个里(这 \(2^{n-k}\) 个集合里有一个空集, 加到空集里没有用, 根据题意, 显然不可以两个相同的集合取交), 变成新的 \(2^{n-k}\) 个集合.那么这 \(2^{n-k}\) 个集合, 无论选多少集合取交集, 交集中一定有之前选出来的 \(k\) 个数. 但是这个交集也有可能有这 \(k\) 个数以外的数, 所以是交集的元素个数 \(\ge k\) 的方案数. 所以我们把这 \(2^{n-k}\) 个集合看作 \(2^{n-k}\) 个元素, 并让这 \(2^{n-k}\) 个元素组成新的集合, 显然可以组成 \(2^{2^{n-k}}\) 个新的集合(显然新的集合的含义就是每一种取交集的情况). 但是前文已说过不能存在空集 并上 一定存在那 \(k\) 个数的交集 得到的新的集合, 所以可以组成 \(2^{2^{n-k}}-1\) 个集合.
因为我们刚才论证的结果是在交集中 \(k\) 个数确定的情况下论证的, 所以交集的元素个数 \(\ge k\) 的方案数\(g_k = \mathrm{C}_n^k \times (2^{2^{n-k}} - 1)\) .
然而这个题才刚刚开始
有一个东西叫做二项式反演, 在这里不作主要介绍.这个题用到的二项式反演的基本形式就是:
\[g_k = \sum_{i = k}^{n} \times \mathrm{C}_i^k \times f_i \Leftrightarrow f_k = \sum_{i = k}^{n} \times (-1)^{i - k} \times \mathrm{C}_i^k \times g_i \]其中 \(g_k\) 和上文含义一样, \(f_k\) 含义为交集元素个数恰好为 \(k\) 的情况.证明这里就省略了. 思路很无脑, 就是把右面的式子带入到左面, 再用一个组合数的性质 \(\mathrm{C}_n^r \times \mathrm{C}_r^k = \mathrm{C}_n^k \times \mathrm{C}_{n-k}^{r-k}\) 就可以证明. 啊不对, 还得用一次二项式定理.
根据题意, 我们要求的答案便是 \(f_k\) . 我们将 \(g_i\) 代换, 因为 \(g_i = \mathrm{C}_n^i \times (2^{2^{n-i}} - 1)\) , 所以最后的结果是:
\[f_k = (\sum_{i = k}^{n} \times (-1)^{i - k} \times \mathrm{C}_i^k \times \mathrm{C}_n^i \times (2^{2^{n-i}} - 1)) \% (1\mathrm{e}9+7)\]利用上面说的组合数的那个性质, 也可以写成:
\[f_k = (\sum_{i = k}^{n} \times (-1)^{i - k} \times \mathrm{C}_n^k \times \mathrm{C}_{n-k}^{i-k} \times (2^{2^{n-i}} - 1)) \% (1\mathrm{e}9+7)\]把 $\mathrm{C}_n^k $ 提出来:
\[f_k = \mathrm{C}_n^k \times (\sum_{i = k}^{n} \times (-1)^{i - k} \times \mathrm{C}_{n-k}^{i-k} \times (2^{2^{n-i}} - 1)) \% (1\mathrm{e}9+7)\]因为在计算的时候要枚举 \(i\) , 这么写可以省去其中一项的 \(i\) , 避免冗余计算.
到这里, 式子就推完了.
如何计算
枚举每一个 \(i\) , 算出每一个 \(i\) 下的结果, 累加并取模即可.
对于 \((-1)^{i - k}\) , 维护 \(i-k\) 的奇偶性即可.
对于组合数, 因为 \(n \leq 1\mathrm{e}6\) , 所以直接对阶乘以及\(\%1\mathrm{e}9 + 7\) 意义下的逆元打表求解即可.
对于 \(2^{2^{n-i}} - 1\) , 需要用到欧拉定理 \(a^{\varphi(p)} \equiv 1 (\mod p), \gcd(a, p) = 1\) .因为我们最后对 \(1\mathrm{e}9 + 7\) 取模(显然 \(1\mathrm{e}9 + 7\) 是个素数), 所以 \((2^{2^{n-i}} - 1) \% (1\mathrm{e}9 + 7) = (2^{2^{n-i}} \% (1\mathrm{e}9 + 7) - 1) \% (1\mathrm{e}9 + 7)\) .将欧拉定理变形为 \(a^{\varphi(p)} \% p = 1 \% p = 1, p \neq 1\) , 类似地, 对于 \(2^{2^{n-i}} \% (1\mathrm{e}9 + 7)\) 可变形为 \(2^{2^{n-i} \% \varphi(1\mathrm{e}9 + 7)} \% (1\mathrm{e}9 + 7)\) , 其中 \(\varphi(1\mathrm{e}9 + 7) = 1\mathrm{e}9 + 6\) .对于 \(2^{n-i}\) , 我们可以打表计算 \(2^{某个整数}\) .
如果不能保证转义都正确, 建议都开 \(long\ long\) .
完结撒代码
#include #define LL long longusing namespace std;const LL maxn(1e6 + 5), MOD(1e9 + 7);LL n, k, f[maxn], g[maxn], Pow2[maxn], ans, flag;LL QuickPow(LL a, LL b, LL p) { LL res(1); for (; b; b >>= 1) { if (b & 1) res = res * a % p; a = a * a % p; } return res;}void Init(LL p) { f[0] = g[0] = Pow2[0] = 1; for (int i = 1; i <= n; ++i) { f[i] = f[i - 1] * i % p; g[i] = QuickPow(f[i], p - 2, p) % p; Pow2[i] = (Pow2[i - 1] << 1) % (p - 1); }}LL getC(LL n, LL m, LL p) { if (n < m) return 0; if (n == m || m == 0) return 1; return f[n] * g[m] % p * g[n - m] % p;}int main() { cin >> n >> k; Init(MOD); for (int i = k; i <= n; ++i) { if ((i - k) & 1) ans = ans - getC(n - k, i - k, MOD) % MOD * (QuickPow(2, Pow2[n - i], MOD) - 1) % MOD; else ans = ans + getC(n - k, i - k, MOD) % MOD * (QuickPow(2, Pow2[n - i], MOD) - 1) % MOD; ans = (ans % MOD + MOD) % MOD; } ans = ans * getC(n, k, MOD) % MOD; cout << ans << "\n";}
如有错误, 疑问或不同见解, 欢迎评论区留言.
关键词:
『题解』BZOJ2839 集合计数|天天热点评
热推荐:00-串口和SSH方式登录
戴德梁行亚洲REITs报告:C-REITs市场快速扩容 ESG将成为高质量发展新动力
因为读书值得
每日动态!六合一套装:八喜冰淇淋3.8元/杯抄底(商超8元)
巴黎治鼠患官宣失败:市民将与600万只老鼠共存
世界微速讯:全系降价3万后 蔚来ET5旅行版今日首发上市:这颜值30万你买吗?
每日热门:618最值得入手智能门锁非它莫属:华为智能门锁系列该怎么选?
业内第一!小鹏首宣开放北京城市智能辅助驾驶:不靠高精地图|天天热点
《长安三万里》曝角色海报 7月8日梦回诗意大唐 要闻
顶奢好文:3W字,穿透Spring事务原理、源码,至少读10遍|焦点速读
c++ mutex 每日消息
微头条丨月的暗面——戴冰选集_对于月的暗面——戴冰选集简单介绍
当前快报:大导演冯小刚多年的白癜风“消失”了引围观 这病真能治好?医生释疑
天天热资讯!高速错过出口 丰田亚洲龙缓行被大货车追尾致5死 官方:两司机均分心驾驶
全球聚焦:李想:理想MPV不会是埃尔法“私生子” 开上街比法拉利还瞩目
女子穿联名汉服进入迪士尼被拦 官方回应:网友吵翻 说好的穿衣自由呢
视讯!对象说冷怎么回
北斗GPS卫星授时服务器(NTP授时)应用于地铁自控系统
最新SMS-Activate短信验证码接收教程-观天下
陕西已累计收获小麦1213.63万亩占应收面积的八成以上
环球快资讯:女孩抓蛙一身泥巴被妈妈逮到 毫无畏惧:网友感慨这才是童年
热点评!《王者荣耀》诸葛亮新皮肤上线:最强大的仙尊 能御剑飞行
不花钱给电脑降温?有两种方法可行-全球聚焦
外卖起送价太高、凑单满减浪费?两部门发文
中国移动5G重大突破:无需安装APP 远程操控智能终端
这项重要工程动工,惠及众多荔湾街坊!|早安,荔湾-环球最资讯
ESP32物联网项目开发1-ESP32简介
美联储如市场预期“跳过”加息 2年期与10年期美债利差走阔 讯息
每日消息!雷军科普:金属背壳的手机曾经非常流行 为什么现在却很少有人用了?
曝驱逐舰07七月预售:搭载云辇-C 车长超比亚迪汉
苹果最强影像旗舰!iPhone 15 Pro Max相机曝光|环球即时
每隔俩烽火台设一个许愿栏又有何不可?
读发布!设计与部署稳定的分布式系统(第2版)笔记03_让系统稳定运行 每日精选
观热点:考古女生寄200斤洛阳铲装备吓坏父母 专业的标配
天天微动态丨用iPhone和用安卓的人 为什么谁也不服谁
快讯:药康生物(688046):6月14日北向资金增持1.11万股
焦点速讯:重新整理 .net core 实践篇——— 测试控制器[四十九]
云南一地多次发生巨响震动!官方回应:初判为浅源性地震-环球快资讯
天天观速讯丨英伟达太强 AMD最强显卡尚无客户采购:软件干不过CUDA
小米14设计定了:标准版小直屏 Pro版极窄微曲屏-环球热头条
快看点丨给全世界每个人发钱 OpenAI创始人这么飘了?
比尔·盖茨抵达北京:就健康和环境问题向中国取经|当前简讯
(上接第一版)
无敌时间_关于无敌时间介绍
创业板注册制IPO申请“开闸”满三年:千企竞逐上市梦 创业板加速构建创新资本中心
中央美术学院教授黄永玉去世 为具有重大影响力的艺术家
张柏芝发文呼吁大家关注糖尿病年轻化 减轻职场人群“高甜负担”
多地提前进入“烧烤模式” 新疆东部和南疆盆地有35℃以上高温
重金买下哈利波特老宅的屋主感到后悔 朝圣粉丝令其苦不堪言
歌手苏醒晒出自己和“球王”梅西的合影 兴奋之情溢于言表
腾讯音乐与原神达成深度战略合作 经典之声再度重逢
2023年“惠购湖北”家电消费券即将发放 总计投入财政资金3亿元
Set 接口及其常用方法
对标英伟达A100 国产GPU沐曦MXC500成功点亮:仅用时5个小时|世界消息
奶奶带孙子时邻居反馈“不像他爸” 去做亲子鉴定后崩溃:真不是
微软创始人比尔盖茨抵达北京!2019年以来首次访问
小米米家首款自发电动感单车采用南芯芯片:支持20W有线/无线快充
环球看热讯:买下《哈利波特》电影中房子的屋主后悔了 每天都有粉丝来打卡
澳琴企业首次亮相第九届上交会_热资讯
百度文心一格×京东618:打造电商行业首个AI线下广告,节省80%制作成本|焦点快看
环球视讯!人人有份!湖北将发放3亿元消费券:最大面额500元 京东可用
世界热点评!作别“战国七雄” 中国快递业变天了:进入三足鼎立
阿里巴巴集团公关部将独立成公关公司?知情人士:假的-环球关注
微控制器实时操作系统实践5选择IDE 全球短讯
文心一言 VS 讯飞星火 VS chatgpt (41)-- 算法导论5.4 5题
【环球播资讯】破“3”!30年期国债收益率创2006年以来新低
有关交朋友的成语典故_与朋友有关的成语典故
男子花120万买二手奥迪R8 开了三年发现竟是全损泡水车
精选!商汤元萝卜AI下棋机器人围棋版发布:棋艺达职业九段
150元只能划半小时!杭州西湖划船刺客运营方被罚12万|环球讯息
开发者怒赞macOS 14真香!喊话微软:这三大功能值得Windows 12借鉴
索泰预热全新PGF系列旗舰显卡:或为RTX 4090 环球头条
天天视点!加个电池就是新能源?被欧洲拒绝的混动,才是埋藏最深的骗局!
当前动态:中兴Axon 50 Ultra开启预约:卫星通信疑似取消
当前关注:18岁小伙骑共享单车5000公里到新疆:送给自己的成人礼
捡漏超大额券:森马男女款网红飞织鞋69元 透气百搭
留给BBA的时间不多了!理想L6谍照首次曝光 将于明年正式交付_环球短讯
“熊猫血”男子献血证塞满了抽屉 21年献出3.5个人的全部血量:行为让人敬佩
焦点速读:2023重庆璧山小学报名入口
当 GraphQL 遇上图数据库,便有了更方便查询数据的方式 当前短讯
6月14日北向资金最新动向(附十大成交股)_全球今头条
iQOO Neo8 Pro顶配版明天首销:1TB UFS 4.0规格 3699价位独此一款
《神鬼寓言4》女主角外观遭玩家吐槽:这是在比丑!-全球快资讯
国产新能源深蓝SL03路口起火烧毁 厂商:系发动机护板卷入麦秆自燃引起
【全球快播报】Win11企业版默认启用SMB签名导致Bug:微软发布解决方案
每日看点!用上宁德时代麒麟电池!新款哪吒S曝光:能跑1075km
[SDOI2008] 递归数列
【全球播资讯】ssh免密登录、服务器安全
烷基计数
风口上的AIGC,技术岗动不动年薪百万,甚至重金难求? 天天新消息
MegEngine 使用小技巧:如何做 MegCC 的模型性能评测
焦点速看:认知型通用大模型“360智脑”升级4.0,国内首发“文生视频”多模态功能
4连板联明股份:股价短期内涨幅明显高于上证指数及行业板块指数,但公司基本面未发生重大变化
多种矿物质元素 依能天然苏打水15瓶到手34.91元
世界快资讯:天气炎热 亚洲象开启“避暑模式”!网友:真羡慕了
超越《塞尔达传说:王国之泪》:《暗黑破坏神4》登顶英国周销量榜-新资讯
国产AI天花板!讯飞星火iOS内测版上线:已覆盖PC、手机等主流系统 短讯
微资讯!地表67℃!火焰山进入炙烤模式:景区为游客增配防暑药品
FTL没有映射,跟发工资没有钱有什么区别 要闻