算法-容斥原理

2024-08-28 21:36
文章标签 算法 原理 容斥

本文主要是介绍算法-容斥原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

 

 venn图:

如何求三个圆圈的面积之和?

\left |A\bigcup_{}^{} B\bigcup C \right | = \left | A \right | + \left | B \right |+\left | C\right | - \left | A\bigcap B \right |- \left | A\bigcap C \right | - \left | B\bigcap C\right |+\left | A\bigcap B\bigcap C \right |

此时,||不代表绝对值,代表集合的个数 

解题思路:

实际上,我们不需要知道每个集合中的元素具体是什么,只需要知道每个集合的大小

例如 |S1|=10\, /\, 2=5,表示10以内能够被2整除的数有5个,每个集合的大小可以根据n\, /\, p来确定。

那么pi\bigcap pj的集合大小怎么算呢,其实就是n\, /\, (pi\, * \, pj)

最后就是如何用代码表示每个集合状态(选或者没有选)?

在这里使用二进制,以 m = 4为例,需要四个二进制位来表示4个集合选中与不选的状态

1101这里表示选中集合S1,S2,S4,故这个集合中元素的个数为 n\, /\, (p1\**p2\**p4)

观察公式不难得出选中集合的个数决定了是正或负,奇数为正,偶数为负

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const int N = 20;
int n,m;
int p[N];
int main() {ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);cin >> n >> m;for(int i = 0; i < m; i++) cin >> p[i];int res = 0;//把i看成m位的二进制// 举所有可能的子集for(int i = 1; i < 1 << m; i++){int t = 1;//乘积作为分母,求该集合元素的个数int s = 0; //选中集合的个数for(int j = 0; j < m; j++){//第j个集合为1,表示选中if(i >> j & 1){if((ll) t * p[j] > n){t = -1;break;}s++;t *= p[j];}}if(t == -1) continue;// 跳过if(s & 1) res += n / t;else res -= n / t;}cout << res <<'\n';return 0;
}

1. 外层循环的作用

外层循环 for(int i = 1; i < 1 << m; i++) 的目的是枚举所有可能的子集。在代码中,m 表示输入的 p 数组中的元素个数,也就是子集的元素个数。

1 << m2^m,代表有 m 个元素的集合所能产生的所有子集的数量。例如,如果 m = 3,那么 1 << m 的值就是 2^3 = 8,也就是 {000, 001, 010, 011, 100, 101, 110, 111},这8种情况分别代表不同的子集。

2.外层循环的过程

一个长度为 m 的数组 p,我们要枚举所有 p 的子集。可以把 m 个元素的数组 p 的每一个子集看作一个长度为 m 的二进制数。这个二进制数中的每一位(0 或 1)表示对应位置的元素是否在子集中:

  • 如果第 j 位是 1,表示 p[j] 这个元素在子集中。
  • 如果第 j 位是 0,表示 p[j] 这个元素不在子集中。

举个例子

假设 p = [2, 3, 5],也就是 m = 3

对于每一个子集,我们可以用一个 3 位的二进制数来表示:

  • i = 0 (000): 空集 {}
  • i = 1 (001): 子集 {5}
  • i = 2 (010): 子集 {3}
  • i = 3 (011): 子集 {3, 5}
  • i = 4 (100): 子集 {2}
  • i = 5 (101): 子集 {2, 5}
  • i = 6 (110): 子集 {2, 3}
  • i = 7 (111): 子集 {2, 3, 5}

在二进制中,第 i 位为 1 表示选中了数组 p 中的第 i 个元素。

3.演示代码过程

输入和初始化

输入的 n = 10m = 2,集合 p = {2, 3}。程序初始化 res = 0

枚举子集

代码中的外层循环 for(int i = 1; i < 1 << m; i++) 会枚举所有的非空子集:

  • i = 1 对应二进制 01,表示子集 {2}
  • i = 2 对应二进制 10,表示子集 {3}
  • i = 3 对应二进制 11,表示子集 {2, 3}
子集计算过程
  1. 子集 {2} (i = 1, 二进制 01)
    • s = 1(因为选中了1个元素)
    • t = 2(当前子集的乘积为2)
    • 计算 10 / 2 = 5110 中能被 2 整除的数有 5 个)。
    • 因为 s 是奇数,所以 res += 5,当前 res = 5
  2. 子集 {3} (i = 2, 二进制 10)
    • s = 1(因为选中了1个元素)
    • t = 3(当前子集的乘积为3)
    • 计算 10 / 3 = 3110 中能被 3 整除的数有 3 个)。
    • 因为 s 是奇数,所以 res += 3,当前 res = 8
  3. 子集 {2, 3} (i = 3, 二进制 11)
    • s = 2(因为选中了2个元素)
    • t = 623 的乘积为6)
    • 计算 10 / 6 = 1110 中能被 6 整除的数有 1 个)。
    • 因为 s 是偶数,所以 res -= 1,当前 res = 7
最终结果

最终,程序输出 res = 7。这意味着在 110 之间,有 7 个数能被 23 整除。

这些数分别是:2, 3, 4, 6, 8, 9, 10

这篇关于算法-容斥原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

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

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

Java中的雪花算法Snowflake解析与实践技巧

《Java中的雪花算法Snowflake解析与实践技巧》本文解析了雪花算法的原理、Java实现及生产实践,涵盖ID结构、位运算技巧、时钟回拨处理、WorkerId分配等关键点,并探讨了百度UidGen... 目录一、雪花算法核心原理1.1 算法起源1.2 ID结构详解1.3 核心特性二、Java实现解析2.

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版本的区别