博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
[HNOI2015]落忆枫音
阅读量:5146 次
发布时间:2019-06-13

本文共 1368 字,大约阅读时间需要 4 分钟。

对于一个\(\rm DAG\)答案非常显然,就是除去\(1\)以外所有节点入度的乘积

矩阵树定理显然是可以证明的,但是一个更为直观的理解方法就是对于每一个点从能到达它的点中找一个父亲

加上这条边之后,我们还是先求出所有节点入度的乘积,显然这样算出来的并不全是外向树,还有一些奇怪的环状物

考虑减掉这些环状物的影响

我们从图里搜出一个\(k\)个节点的环,我们强行使得这个环作为那个环状物,之后对于不在环里的点,其还是从能到达它的点里选一个作为父亲,于是带有这个环的情况就是

\[\frac{\prod_{i=1}^nr_i}{\prod_{i=1}^kr_{a_i}}\]

直接记搜搜出所有环算贡献即可

代码

#include
#define re registerinline int read() { char c=getchar();int x=0;while(c<'0'||c>'9') c=getchar(); while(c>='0'&&c<='9') x=(x<<3)+(x<<1)+c-48,c=getchar();return x;}const int maxn=1e5+5;const int mod=1e9+7;struct E{int v,nxt;}e[maxn<<1];int n,num,m,rx,ans,ry,vis[maxn],dp[maxn],head[maxn],r[maxn];inline void add(int x,int y) { e[++num].v=y;e[num].nxt=head[x];head[x]=num;}inline int ksm(int a,int b) { int S=1; for(;b;b>>=1,a=1ll*a*a%mod) if(b&1) S=1ll*S*a%mod; return S;}int dfs(int x) { if(vis[x]) return dp[x]; vis[x]=1; if(x==rx) return dp[x]=ksm(r[x],mod-2); for(re int i=head[x];i;i=e[i].nxt) dp[x]=(dp[x]+dfs(e[i].v))%mod; return dp[x]=1ll*dp[x]*ksm(r[x],mod-2)%mod;}int main() { n=read();m=read(),rx=read(),ry=read(); for(re int x,y,i=1;i<=m;i++) x=read(),y=read(),add(x,y),r[y]++; r[ry]++;int ans=1; for(re int i=2;i<=n;i++) ans=1ll*ans*r[i]%mod; printf("%d\n",ry!=1?(ans-1ll*ans*dfs(ry)%mod+mod)%mod:ans); return 0;}

转载于:https://www.cnblogs.com/asuldb/p/11488234.html

你可能感兴趣的文章
HashPump用法
查看>>
cuda基础
查看>>
Vue安装准备工作
查看>>
oracle 创建暂时表
查看>>
201421410014蒋佳奇
查看>>
Xcode5和ObjC新特性
查看>>
LibSVM for Python 使用
查看>>
Centos 7.0 安装Mono 3.4 和 Jexus 5.6
查看>>
CSS属性值currentColor
查看>>
java可重入锁reentrantlock
查看>>
浅谈卷积神经网络及matlab实现
查看>>
解决ajax请求cors跨域问题
查看>>
《收获,不止Oracle》pdf
查看>>
LinkedList<E>源码分析
查看>>
Real-Time Rendering 笔记
查看>>
如何理解HTML结构的语义化
查看>>
Activity之间的跳转:
查看>>
实验四2
查看>>
Android现学现用第十一天
查看>>
多路复用
查看>>