zoukankan      html  css  js  c++  java
  • [HNOI2015] 落忆枫音

    题目描述

    「恒逸,你相信灵魂的存在吗?」 郭恒逸和姚枫茜漫步在枫音乡的街道上。望着漫天飞舞的红枫,枫茜突然问出这样一个问题。

    「相信吧。不然我们是什么,一团肉吗?要不是有灵魂......我们也不可能再见到你姐姐吧。」 恒逸给出了一个略微无厘头的回答。枫茜听后笑了笑。 「那你仔细观察过枫叶吗?」 说罢,枫茜伸手,接住了一片飘落的枫叶。

    「其实每一片枫叶都是有灵魂的。你看,枫叶上不是有这么多脉络吗?我听说,枫叶上有一些特殊的位置,就和人的穴位一样。脉络都是连接在这些穴位之间的。枫树的灵魂流过每片枫叶的根部,沿着这些脉络,慢慢漫进穴位,沁入整片枫叶。也是因为这个原因,脉络才都是单向的,灵魂可不能倒着溜回来呢。」 恒逸似懂非懂地点了点头。枫茜接着说了下去。

    「正是因为有了灵魂,每片枫叶才会与众不同。也正是因为有了灵魂,每片枫叶也都神似其源本的枫树,就连脉络也形成了一棵树的样子。但如果仔细看的话,会发现,在脉络树之外,还存在其它的非常细的脉络。虽然这些脉络并不在树上,但他们的方向也同样顺着灵魂流淌的方向,绝不会出现可能使灵魂倒流的回路。」 恒逸好像突然想到了什么。 「那这些脉络岂不是可以取代已有的脉络,出现在脉络树上?」 枫茜闭上了眼睛。

    「是啊,就是这样。脉络树并不是唯一的。只要有一些微小的偏差,脉络树就可能差之万里,哪怕是在这同一片枫叶上。就像我们的故事,结局也不是唯一的。只要改变一个小小的选项,故事流程可能就会被彻底扭转。」

    「真是深奥啊......」 恒逸盯着这片红枫,若有所思地说。枫茜继续说道。

    「还不止如此呢。所有的脉络都不会永恒存在,也不会永恒消失。不管是脉络树上的脉络,还是之外的细小脉络,都是如此。存在的脉络可能断开消失,消失的脉络也可能再次连接。万物皆处在永恒的变化之中,人与人之间的羁绊也是。或许有一天,我们与大家的羁绊也会如同脉络一样,被无情地斩断。或许我们也终将成为”枫音乡的过客“。或许这一切都会是必然,是枫树的灵魂所决定的......」

    枫茜的眼角泛起了几滴晶莹剔透的泪珠。恒逸看着这样的枫茜,将她抱入怀中。

    「别这样想,枫茜。就算脉络断开,也有可能还会有新的脉络树,也还会与枫树的根相连。这样的话,我们的羁绊仍然存在,只是稍微绕了一些远路而已。无论如何,我都不会离开你的。因为你是我穷尽一生所寻找的,我的真恋啊!」

    两人的目光对上了。枫茜幸福地笑了,把头埋进了恒逸的怀抱。从远方山上的枫林中,传来了枫的声音。

    【问题描述】 不妨假设枫叶上有 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 取模得到的结果。

    输入输出格式

    输入格式:

    输入文件的第一行包含四个整数 n、m、x和y,依次代表枫叶上的穴位数、脉络数,以及要添加的脉络是从穴位 x连向穴位y的。 接下来 m行,每行两个整数,由空格隔开,代表一条脉络。第 i 行的两个整数为ui和vi,代表第 i 条脉络是从穴位 ui连向穴位vi的。

    输出格式:

    输出一行,为添加了从穴位 x连向穴位 y的脉络后,枫叶上以穴位 1 为根的脉络树的方案数对 1,000,000,007取模得到的结果。

    输入输出样例

    输入样例#1: 
    4 4 4 3
    1 2
    1 3
    2 4
    3 2
    输出样例#1: 
    3

    说明

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

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

    先不考虑图中的环,让每个点都选它的入点中的一个当爸爸,显然答案是π indegree[i]  其中i>1。

    然后特判一下如果y==1的话直接输出就好了,因为在计算式里这条边对答案已经没有贡献了,并且在合法方案中这条边肯定不能存在。

    然后不合法的方案就是y到x的路径上每一个点选的爸爸都是路径上上一个点(y除外),而且y的父亲是x(这个是选附加边带来的效应)。

    这样的不合法的方案数就是除了这些节点的其他节点的入度的乘积(1除外)

    所以在dag上dp就行了。。

    #include<bits/stdc++.h>
    #define ll long long
    #define maxn 100005
    #define ha 1000000007
    using namespace std;
    int n,m,to[maxn<<1|1],num;
    int ne[maxn<<1|1],hd[maxn];
    int S,T,id[maxn],ans=0;
    int inv[maxn],cnt=1,f[maxn];
    bool v[maxn];
    
    inline void init(){
    	inv[1]=1;
    	for(int i=2;i<n;i++) inv[i]=-inv[ha%i]*(ll)(ha/i)%ha+ha;
    }
    
    inline int add(int x,int y){
    	x+=y;
    	return x>=ha?x-ha:x;
    }
    
    int dp(int x){
    	if(v[x]) return f[x];
    	v[x]=1;
    	
    	for(int i=hd[x];i;i=ne[i]) f[x]=add(f[x],dp(to[i]));
    	f[x]=f[x]*(ll)inv[id[x]]%ha;
    	return f[x];
    }
    
    int main(){
    	scanf("%d%d%d%d",&n,&m,&S,&T);
    	id[T]++,init();
    	int uu,vv;
    	for(int i=1;i<=m;i++){
    		scanf("%d%d",&uu,&vv);
    		to[i]=vv,ne[i]=hd[uu],hd[uu]=i;
    		id[vv]++;
    	}
    	
    	for(int i=2;i<=n;i++) cnt=cnt*(ll)id[i]%ha;
    	ans=cnt;
    	
    	if(S==T||T==1){
    		printf("%d
    ",ans);
    		return 0;
    	}
    	
    	v[S]=1,f[S]=inv[id[S]];
    	dp(T);
    	
        ans=add(ans,ha-cnt*(ll)f[T]%ha);
    	
    	printf("%d
    ",ans);
    	return 0;
    }
    

      

  • 相关阅读:
    STL 清除模板容器 clear.h
    建立ORACLE10G DATA GUARD---&gt;Physical Standby
    WWDC 2014 Session 205/217 Extension 注意事项
    Android 布局管理器
    软件测试的基本方法(五岁以下儿童)单元测试
    HDU 4896 Minimal Spanning Tree(矩阵高速功率)
    泛泰A860(高通公司8064 cpu 1080p) 拂4.4中国民营recovery TWRP2.7.1.2文本(通过刷第三版)
    Android L SDK -- 一些有趣的新功能
    Jquery在线咨询地址
    项目开发录制两个
  • 原文地址:https://www.cnblogs.com/JYYHH/p/8485900.html
Copyright © 2011-2022 走看看