【bzoj4011】【HNOI2015】【落忆枫音】【dp+容斥原理】

2024-02-20 15:08

本文主要是介绍【bzoj4011】【HNOI2015】【落忆枫音】【dp+容斥原理】,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

Description

「恒逸,你相信灵魂的存在吗?」 

郭恒逸和姚枫茜漫步在枫音乡的街道上。望着漫天飞舞的红枫,枫茜突然问出
这样一个问题。 
「相信吧。不然我们是什么,一团肉吗?要不是有灵魂……我们也不可能再见
到你姐姐吧。」 
恒逸给出了一个略微无厘头的回答。枫茜听后笑了笑。 
「那你仔细观察过枫叶吗?」 
说罢,枫茜伸手,接住了一片飘落的枫叶。 
「其实每一片枫叶都是有灵魂的。你看,枫叶上不是有这么多脉络吗?我听说,
枫叶上有一些特殊的位置,就和人的穴位一样。脉络都是连接在这些穴位之间的。
枫树的灵魂流过每片枫叶的根部,沿着这些脉络,慢慢漫进穴位,沁入整片枫叶。
也是因为这个原因,脉络才都是单向的,灵魂可不能倒着溜回来呢。」 
恒逸似懂非懂地点了点头。枫茜接着说了下去。 
「正是因为有了灵魂,每片枫叶才会与众不同。也正是因为有了灵魂,每片枫
叶也都神似其源本的枫树,就连脉络也形成了一棵树的样子。但如果仔细看的话,
会发现,在脉络树之外,还存在其它的非常细的脉络。虽然这些脉络并不在树上,
但他们的方向也同样顺着灵魂流淌的方向,绝不会出现可能使灵魂倒流的回路。」  
恒逸好像突然想到了什么。 
「那这些脉络岂不是可以取代已有的脉络,出现在脉络树上?」 
枫茜闭上了眼睛。 
「是啊,就是这样。脉络树并不是唯一的。只要有一些微小的偏差,脉络树就
可能差之万里,哪怕是在这同一片枫叶上。就像我们的故事,结局也不是唯一的。
只要改变一个小小的选项,故事流程可能就会被彻底扭转。」 
「真是深奥啊……」 
恒逸盯着这片红枫,若有所思地说。枫茜继续说道。 
「还不止如此呢。所有的脉络都不会永恒存在,也不会永恒消失。不管是脉络
树上的脉络,还是之外的细小脉络,都是如此。存在的脉络可能断开消失,消失的
脉络也可能再次连接。万物皆处在永恒的变化之中,人与人之间的羁绊也是。或许
有一天,我们与大家的羁绊也会如同脉络一样,被无情地斩断。或许我们也终将成
为“枫音乡的过客”。或许这一切都会是必然,是枫树的灵魂所决定的……」 
枫茜的眼角泛起了几滴晶莹剔透的泪珠。恒逸看着这样的枫茜,将她抱入怀中。  
「别这样想,枫茜。就算脉络断开,也有可能还会有新的脉络树,也还会与枫
树的根相连。这样的话,我们的羁绊仍然存在,只是稍微绕了一些远路而已。无论
如何,我都不会离开你的。因为你是我穷尽一生所寻找的,我的真恋啊!」 
两人的目光对上了。枫茜幸福地笑了,把头埋进了恒逸的怀抱。从远方山上的
枫林中,传来了枫的声音。 
【问题描述】 
不妨假设枫叶上有 n个穴位,穴位的编号为 1 ~  n。有若干条有向的脉络连接
着这些穴位。穴位和脉络组成一个有向无环图——称之为脉络图(例如图 1),穴
位的编号使得穴位 1 没有从其他穴位连向它的脉络,即穴位 1 只有连出去的脉络;
由上面的故事可知,这个有向无环图存在一个树形子图,它是以穴位 1为根的包含
全部n个穴位的一棵树——称之为脉络树(例如图 2和图 3给出的树都是图1给出
的脉络图的子图);值得注意的是,脉络图中的脉络树方案可能有多种可能性,例
如图2和图 3就是图 1给出的脉络图的两个脉络树方案。 
脉络树的形式化定义为:以穴位 r 为根的脉络树由枫叶上全部 n个穴位以及 n
-  1 条脉络组成,脉络树里没有环,亦不存在从一个穴位连向自身的脉络,且对于
枫叶上的每个穴位 s,都存在一条唯一的包含于脉络树内的脉络路径,使得从穴位
r 出发沿着这条路径可以到达穴位 s。 
现在向脉络图添加一条与已有脉络不同的脉络(注意:连接 2个穴位但方向不
同的脉络是不同的脉络,例如从穴位3到4的脉络与从4到3的脉络是不同的脉络,
因此,图 1 中不能添加从 3 到 4 的脉络,但可添加从 4 到 3 的脉络),这条新脉络
可以是从一个穴位连向自身的(例如,图 1 中可添加从 4 到 4 的脉络)。原脉络图
添加这条新脉络后得到的新脉络图可能会出现脉络构成的环。 
请你求出添加了这一条脉络之后的新脉络图的以穴位 1 为根的脉络树方案数。
由于方案可能有太多太多,请输出方案数对 1,000,000,007 取模得到的结果。 

Input

输入文件的第一行包含四个整数 n、m、x和y,依次代表枫叶上的穴位数、脉

络数,以及要添加的脉络是从穴位 x连向穴位y的。 
接下来 m行,每行两个整数,由空格隔开,代表一条脉络。第 i 行的两个整数
为ui和vi,代表第 i 条脉络是从穴位 ui连向穴位vi的。 

Output

 输出一行,为添加了从穴位 x连向穴位 y的脉络后,枫叶上以穴位 1 为根的脉

络树的方案数对 1,000,000,007取模得到的结果。 

Sample Input

4 4 4 3
1 2
1 3
2 4
3 2

Sample Output

3

HINT

 对于所有测试数据,1 <= n <= 100000,n - 1 <= m <= min(200000, n(n – 1) / 2), 


1 <= x, y, ui, vi <= n。

题解:

          如果不新加一条边,那么为每个点随机选一条入边,得到的就是一种方案.

          所以把所有点的入度乘起来就是不加边的答案.

          现在新加一条边,我们依然考虑这种算法.可以发现这样多算了出现环的方案.

          假设添加的边是s->t,

          那么对于原图中t->s的每一条路径.不在该路径上的点的入度的乘积的和就是成环的方案数.

          因为原图是一个dag所以这个可以dp.

          设f[i]表示t->i的路径的答案.枚举i的后继节点进行转移即可.

          注意在从i转移到j的时候,j由不在路径中变成了在路径中,所以还要乘一个j的入度的逆元.

代码:

#include<iostream>
#include<cstdio>
#include<cstring>
#define N 100010
#define M 200010
#define P 1000000007
using namespace std;
long long f[N],ans(1),inv[N],d[N],in[N];
int n,q[N],m,x,y,a,b,point[N],next[M<<1],cnt;
struct use{int st,en;
}e[M<<1];
int read(){int x(0);char ch=getchar();while (ch<'0'||ch>'9') ch=getchar();while (ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();return x;
}
void add(int x,int y){next[++cnt]=point[x];point[x]=cnt;e[cnt].st=x;e[cnt].en=y;
}
void dp(){int h(0),t(0);f[b]=ans;for (int i=1;i<=n;i++) if (!d[i]) q[++t]=i;while (h<t){int u=q[++h];(f[u]*=inv[in[u]])%=P;for (int i=point[u];i;i=next[i]){(f[e[i].en]+=f[u])%=P;d[e[i].en]--;if (!d[e[i].en]) q[++t]=e[i].en; }}
}
int main(){n=read();m=read();a=read();b=read();for (int i=1;i<=m;i++){x=read();y=read();in[y]++;d[y]++; add(x,y); } in[b]++;inv[1]=1;for (int i=2;i<=n;i++) inv[i]=P-(long long)P/i*inv[P%i]%P;for (int i=2;i<=n;i++) (ans*=in[i])%=P;if (b==1){cout<<ans<<endl;return 0;}dp();cout<<(ans-f[a]+P)%P<<endl;
}


这篇关于【bzoj4011】【HNOI2015】【落忆枫音】【dp+容斥原理】的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

从原理到实战深入理解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是一个高效的对象池化框架,通过复用昂贵资源(如数据库连接、线程、网络连接)优化系统性能,这篇文章主... 目录一、核心原理与组件二、使用步骤详解(以数据库连接池为例)三、高级配置与优化四、典型应用场景五、注意事