当前位置: 首页 > news >正文

AtCoder ABC423F - Loud Cicada 题解 容斥原理

题目大意:

\([1, Y]\) 范围内有多少个数是:\(A_1, A_2, \ldots, A_N\) 中恰好 \(K\) 个数的倍数。

解题思路:

容斥原理

思路完全来自 StelaYuri大佬的博客。

示例程序:

#include <bits/stdc++.h>
using namespace std;void write(__int128 a) {if (a / 10)write(a / 10);cout << (int) (a % 10);
}
__int128 gcd(__int128 a, __int128 b) {if (!b) return a;return gcd(b, a%b);
}
__int128 lcm(__int128 a, __int128 b) {return a / gcd(a, b) * b;
}int n, m;
long long Y, a[22];__int128 C[22][22];void init() {for (int i = 0; i <= 20; i++) {C[i][0] = C[i][i] = 1;for (int j = 1; j < i; j++)C[i][j] = C[i-1][j-1] + C[i-1][j];}
}int main() {init();cin >> n >> m >> Y;for (int i = 0; i < n; i++)cin >> a[i];__int128 ans = 0;for (int s = 1; s < (1<<n); s++) {int k = __builtin_popcount(s);if (k < m)continue;__int128 D = 1;for (int i = 0; i < n; i++) {if ((s >> i) & 1) {D = lcm(D, a[i]);if (D > Y)break;}}if (D > Y) continue;__int128 tmp = C[k][m] * (Y / D);if ((k - m) % 2)ans -= tmp;elseans += tmp;}write(ans);return 0;
}
http://www.zskr.cn/news/8251.html

相关文章:

  • 1756:八皇后
  • 矩阵置零-leetcode
  • 重新开始配置hadoop等
  • 实用指南:kafka 原理详解
  • 网络编程-HTTP - 详解
  • 网络流初步浅谈:EK与Dinic
  • Spring框架事件驱动架构核心注解之@EventListener - 指南
  • FreeRTOS SMP 资料收集
  • 2025.9.19——卷9-10选择
  • ctfshow web 入门 php特性
  • 详细介绍:Git如何无痕上传当前项目最新状态从当前远程到另一个远程
  • 【qt】全局事件总线
  • 深入解析:React Device Detect 完全指南:构建响应式跨设备应用的最佳实践
  • ctfshow web89
  • ctfshow web90
  • web360
  • hbase的安装应用
  • ctfshow web357
  • 深入解析:Java全栈开发面试实录:从基础到微服务的实战解析
  • 谁会不爱低温静音 性能还更强的!酷睿Ultra 5 230F vs 锐龙5 9600X生产力、功耗、温度全方位对比
  • WPF viewmodel retrieve matched view /window
  • ctfshow web353
  • fxztgxj5.dll fxzrs4qj.dll fxztgxa5.dll fxzrs3qj.dll fxzpmc1.dll fxzrs2qj.dll fxzmpxa5.dll - 实践
  • 测试新手必学:10个让Bug无处遁形的黑盒测试技巧
  • 数据分类分级如何高效低成本落地?|高效智能的数据分类分级产品推荐(2025)
  • 文化课暂时计划
  • private void Form1_Load和 private void Form1_Activated 方法区别
  • BGP反射路由器
  • 完整教程:苹果WWDC25开发秘技揭秘:SwiftData3如何重新定义数据持久化
  • H5 页面与 Web 页面的制作方法 - 实践