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。


想法##

这剧情我已无力吐槽。。。

我们先考虑原有向无环图的脉络树方案。

由于无环,所以所有结点(除根节点外)随便找一个指向它的父结点就可构成一棵树。

(原因:边数保证是n-1,且无环,那么一定是一棵树)

设第 \(i\) 的点的入度为 \(in[i]\)

这时

\[ans=\prod\limits_{i=2}^n in[i]
\]

在加了一条 \(X \to Y\) 的边后,仍用这种方法计算的话会考虑一些“树中”有环的情况

如果有环的话,树中一定同时存在 \(X \to Y\) 这条边 和一条 \(Y \leadsto X\) 的路径。

我们需要把这些情况减去。

\[设sum=\prod\limits_{i=2}^n in[i] \\
ans=sum-\frac{sum}{in[a_1]in[a_2]…} - \frac{sum}{in[b_1]in[b_2]…} - …
(其中a、b等为 Y \leadsto X 路径)
\]

如果枚举每条 \(Y \leadsto X\) 的路径显然太慢。

但注意到原图是DAG,故我们可以拓扑排序后dp


代码##

注意:

1.Y=1 的情况要特判

2.拓扑排序d[]与dd[]别写错

  1. #include<cstdio>
  2. #include<iostream>
  3. #include<algorithm>
  4. #define P 1000000007
  5. using namespace std;
  6. typedef long long ll;
  7. const int N = 100005;
  8. struct node{
  9. int v;
  10. node *next;
  11. }pool[N*2],*h[N];
  12. int cnt;
  13. void addedge(int u,int v){
  14. node *p=&pool[++cnt];
  15. p->v=v;p->next=h[u];h[u]=p;
  16. }
  17. int in[N];
  18. int Pow_mod(int x,int y){
  19. int ret=1;
  20. while(y){
  21. if(y&1) ret=((ll)ret*x)%P;
  22. x=((ll)x*x)%P;
  23. y>>=1;
  24. }
  25. return ret;
  26. }
  27. int getinv(int x) { return Pow_mod(x,P-2); }
  28. int inv[N];
  29. int ans,sum;
  30. int n,m,X,Y;
  31. int dd[N],d[N],num,f[N];
  32. void dfs(int u){
  33. int v;
  34. dd[u]=1;
  35. for(node *p=h[u];p;p=p->next)
  36. if(!dd[v=p->v]) dfs(v);
  37. dd[u]=n+1-(++num);
  38. d[dd[u]]=u;
  39. }
  40. int main()
  41. {
  42. int u,v;
  43. scanf("%d%d%d%d",&n,&m,&X,&Y);
  44. for(int i=0;i<m;i++){
  45. scanf("%d%d",&u,&v);
  46. addedge(u,v);
  47. in[v]++;
  48. }
  49. dfs(1);
  50. addedge(X,Y); in[Y]++;
  51. sum=1;
  52. for(int i=1;i<=n;i++){
  53. inv[i]=getinv(in[i]);
  54. if(i!=1) sum=((ll)sum*in[i])%P;
  55. }
  56. ans=sum;
  57. if(Y==1) { printf("%d\n",ans); return 0;}
  58. f[Y]=sum;
  59. for(int i=1;i<=n;i++){
  60. u=d[i];
  61. f[u]=((ll)f[u]*inv[u])%P;
  62. for(node *p=h[u];p;p=p->next)
  63. f[p->v]=((ll)f[u]+f[p->v])%P;
  64. }
  65. ans=((ll)ans+(P-f[X]))%P;
  66. printf("%d\n",ans);
  67. return 0;
  68. }

[bzoj4011] [洛谷P3244] [HNOI2015] 落忆枫音的更多相关文章

  1. 洛谷P3244 [HNOI2015]落忆枫音

    #include<cstdio> #include<cstdlib> #include<algorithm> #include<cstring> #in ...

  2. luogu P3244 [HNOI2015]落忆枫音

    传送门 md这题和矩阵树定理没半毛钱关系qwq 首先先不考虑有环,一个\(DAG\)个外向树个数为\(\prod_{i=2}^{n}idg_i(\)就是\(indegree_i)\),因为外向树每个点 ...

  3. P3244 [HNOI2015]落忆枫音

    思路 给出了一个DAG,要求以1为根的外向树的个数 如果没有加边的条件,就非常好做 每个点都只保留一条入边,最后得到的一定就是一个符合条件的树了(因为给了一个DAG啊) 所以答案是\(\prod_{i ...

  4. bzoj4011[HNOI2015]落忆枫音 dp+容斥(?)

    4011: [HNOI2015]落忆枫音 Time Limit: 10 Sec  Memory Limit: 512 MBSubmit: 1125  Solved: 603[Submit][Statu ...

  5. BZOJ 4011: [HNOI2015]落忆枫音( dp )

    DAG上有个环, 先按DAG计数(所有节点入度的乘积), 然后再减去按拓扑序dp求出的不合法方案数(形成环的方案数). ---------------------------------------- ...

  6. [HNOI2015]落忆枫音 解题报告

    [HNOI2015]落忆枫音 设每个点入度是\(d_i\),如果不加边,答案是 \[ \prod_{i=2}^nd_i \] 意思是我们给每个点选一个父亲 然后我们加了一条边,最后如果还这么统计,那么 ...

  7. 4011: [HNOI2015]落忆枫音

    4011: [HNOI2015]落忆枫音 链接 分析: 原来是一个DAG,考虑如何构造树形图,显然可以给每个点找一个父节点,所以树形图的个数就是$\prod\limits_u deg[u]$. 那么加 ...

  8. BZOJ4011: [HNOI2015]落忆枫音

    Description 「恒逸,你相信灵魂的存在吗?」 郭恒逸和姚枫茜漫步在枫音乡的街道上.望着漫天飞舞的红枫,枫茜突然问出 这样一个问题.  「相信吧.不然我们是什么,一团肉吗?要不是有灵魂……我们 ...

  9. BZOJ4011:[HNOI2015]落忆枫音(DP,拓扑排序)

    Description 「恒逸,你相信灵魂的存在吗?」 郭恒逸和姚枫茜漫步在枫音乡的街道上.望着漫天飞舞的红枫,枫茜突然问出这样一个问题.  「相信吧.不然我们是什么,一团肉吗?要不是有灵魂……我们也 ...

随机推荐

  1. tet-2

      一.html和css部分 1.如何理解CSS的盒子模型? 标准盒子模型:宽度=内容的宽度(content)+ border + padding 低版本IE盒子模型:宽度=内容宽度(content+ ...

  2. html根据下拉框选中的值修改背景颜色

    错误的写法 <!doctype html><html><head><meta charset="utf-8"><title&g ...

  3. docker(整理中

    docker镜像默认的下载地址就是docker的官网,而他们的官网在国内没有节点,时不时就被国家防火墙隔绝,会出现DNS解析不到,或者找不到镜像等狗血提示. 解决的方法有三个: 第一,就是不断尝试,因 ...

  4. 解读中兴通信在物联网行业如何践行DDD

    此前,在由 ThoughtWorks 举办的领域驱动设计峰会 DDD-China 2019 上,InfoQ 记者就开发团队为何需要 DDD.目前业界实践 DDD 的挑战等问题对中兴通讯资深软件架构师张 ...

  5. 抽象类(abstract class)和接口(interface)有什么区别?

    抽象类中可以有构造器.抽象方法.具体方法.静态方法.各种成员变量,有抽象方法的类一定要被声明为抽象类,而抽象类不一定要有抽象方法,一个类只能继承一个抽象类. 接口中不能有构造器.只能有public修饰 ...

  6. 快速部署 Spring PetClinic 到函数计算平台

    简介 首先介绍下在本文出现的几个比较重要的概念: 函数计算(Function Compute):函数计算是一个事件驱动的服务,通过函数计算,用户无需管理服务器等运行情况,只需编写代码并上传.函数计算准 ...

  7. 20191024-3 互评Alpha阶段作品——胜利点组

    此作业要求参见 https://edu.cnblogs.com/campus/nenu/2019fall/homework/9860 基于NABCD评论作品,及改进建议 1.根据(不限于)NABCD评 ...

  8. 【题解】284E. Coin Troubles(dp+图论建模)

    [题解]284E. Coin Troubles(dp+图论建模) 题意就是要你跑一个完全背包,但是要求背包的方案中有个数相对大小的限制 考虑一个\(c_i<c_j\)的限制,就是一个\(c_i\ ...

  9. 源码分析 Kafka 消息发送流程(文末附流程图)

    温馨提示:本文基于 Kafka 2.2.1 版本.本文主要是以源码的手段一步一步探究消息发送流程,如果对源码不感兴趣,可以直接跳到文末查看消息发送流程图与消息发送本地缓存存储结构. 从上文 初识 Ka ...

  10. FTP服务器红帽5.4搭建图文教程!!!

    FTP服务器搭建 服务器的环境 红帽5.4 vm15 挂载光盘 mount mount -t iso9660 设备目录 /mnt 表示挂载 软件包安装 FTP服务器安装包命令: rpm -ivh /m ...