题面

传送门

思路

首先有一个结论(应该是有比较大的利用价值的):

有向无环图的生成外向树树个数等于所有入度非0的点的入度乘积

然后这道题里面,唯一不合拍的因素就是这里有一条可能成环的边

我们可以把这条边先加入原来的DAG里面,然后用上面的结论算出总生成树个数,再减去不合法的,得到答案

那么有哪些方案是不合法的呢?

显然,我们加入一条边形成了环的话,我们前面的计算会算上选择包含新加入的边的某个环的方案,而这个方案是不合法的

假设新加入的边是s->t,那么我们只要找到所有包含t->s的生成树,然后减掉,就得到了答案

具体而言,这里的操作方法,是在原来的DAG上面dp

$dp[t]$初始化为原来的答案,然后往$s$做拓扑序上的$dp$

转移方程是$dp[v]=\sum \frac{dp[u]}{in[u]}$,其中$in[u]$表示原图中的入度

显然只有能够在$t->s$路径上的点的$dp$值才有意义,而这里除掉度数表示的就是这里仅能选一条边

最后用原来答案减掉$dp[s]$即可

Code

```cpp

include

include

include

include

include

include

define ll long long

define MOD 1000000007

using namespace std;
inline int read(){
    int re=0,flag=1;char ch=getchar();
    while(ch>'9'||ch<'0'){
        if(ch=='-') flag=-1;
        ch=getchar();
    }
    while(ch>='0'&&ch<='9') re=(re<<1)+(re<<3)+ch-'0',ch=getchar();
    return reflag;
}
int n,m,op,ed,first[100010],cnte;ll in[100010],inv[200010],re[100010];
struct edge{
    int to,next;
}a[200010];
inline void add(int u,int v){
    a[++cnte]=(edge){v,first[u]};first[u]=cnte;
}
ll ans=1,dp[100010];
int q[100010],head,tail;
void topo(){
    int i,u,v;head=tail=0;
    dp[ed]=ans;in[ed]--;
    for(i=1;i<=n;i++){
        if(!in[i]) q[tail++]=i;
        re[i]=in[i];
    }
    in[ed]++;
    while(head<tail){
        u=q[head++];dp[u]=dp[u]
inv[in[u]]%MOD;
        for(i=first[u];~i;i=a[i].next){
            v=a[i].to;re[v]--;
            dp[v]=(dp[v]+dp[u])%MOD;
            if(!re[v]) q[tail++]=v;
        }
    }
}
int main(){
    memset(first,-1,sizeof(first));
    n=read();m=read();op=read();ed=read();in[ed]++;
    int i,t1,t2;
    inv[1]=1;
    for(i=2;i<=m;i++) inv[i]=(MOD-MOD/i)inv[MOD%i]%MOD;
    for(i=1;i<=m;i++){
        t1=read();t2=read();
        add(t1,t2);in[t2]++;
    }
    for(i=2;i<=n;i++) ans=ans
in[i]%MOD;
    if(ed==1){
        printf("%lld\n",ans);return 0;
    }
    topo();
    printf("%lld\n",(ans-dp[op]+MOD)%MOD);
}

[HNOI2015][bzoj4011] 落叶枫音 [拓扑DP]的更多相关文章

  1. 【BZOJ4011】【HNOI2015】落忆枫音(动态规划)

    [BZOJ4011][HNOI2015]落忆枫音(动态规划) 题面 BZOJ 洛谷 Description 「恒逸,你相信灵魂的存在吗?」 郭恒逸和姚枫茜漫步在枫音乡的街道上.望着漫天飞舞的红枫,枫茜 ...

  2. codeforces 721C (拓扑+dp)

    题意就是某个人去游览,起点是1点,终点是n点,他总的游览时间不能超过t,第一行给你3个数字,点的个数n,边的个数m,时间t,然后底下m行数据,每行代表一条边,边的起点,终点和权值(走过去花的时间),然 ...

  3. 【BZOJ4010】【HNOI2015】菜肴制作(拓扑排序)

    [BZOJ4010][HNOI2015]菜肴制作(拓扑排序) 题面 Description 知名美食家小 A被邀请至ATM 大酒店,为其品评菜肴. ATM 酒店为小 A 准备了 N 道菜肴,酒店按照为 ...

  4. 洛谷.5284.[十二省联考2019]字符串问题(后缀自动机 拓扑 DP)

    LOJ BZOJ 洛谷 对这题无话可说,确实比较...裸... 像dls说的拿拓扑和parent树一套就能出出来了... 另外表示BZOJ Rank1 tql... 暴力的话,由每个\(A_i\)向它 ...

  5. luogu2149 Elaxia的路线 (dijkstra+拓扑dp)

    先标记上一个人所有最短路上的边(同时也要标记反向边) 然后拿着另一个人最短路上的边(会构成一个DAG)去做拓扑dp,记从原点到某个点的最大的某个路径的被标记的边的个数 #include<bits ...

  6. UVA 11324.The Largest Clique tarjan缩点+拓扑dp

    题目链接:https://vjudge.net/problem/UVA-11324 题意:求一个有向图中结点数最大的结点集,使得该结点集中任意两个结点u和v满足:要目u可以到达v,要么v可以到达u(相 ...

  7. Codeforces Round #374 (Div. 2) A , B , C 水,水,拓扑dp

    A. One-dimensional Japanese Crossword time limit per test 1 second memory limit per test 256 megabyt ...

  8. bzoj4011 [HNOI2015]落忆枫音 拓扑排序+DP

    题目传送门 https://lydsy.com/JudgeOnline/problem.php?id=4011 题解 首先考虑如果没有那么一条被新加进来的奇怪的边的做法. 我们只需要给每一个点挑一个父 ...

  9. [BZOJ4011][HNOI2015] 落忆枫音(学习笔记) - 拓扑+DP

    其实就是贴一下防止自己忘了,毕竟看了题解才做出来 Orz PoPoQQQ 原文链接 Description 背景太长了 给定一个DAG,和一对点(x, y), 在DAG中由x到y连一条有向边,求生成树 ...

随机推荐

  1. MySQL中使用group_concat()函数数据被截取(有默认长度限制),谨慎!

    最近在工作中遇到一个问题: 我们系统的一些逻辑处理是用存储过程实现的,但是有一天客服反馈说订单下单失败,查了下单牵扯到的产品基础资源,没有问题. 下单的存储过程中有这样两句代码: ; ; ; 执行存储 ...

  2. sqlite的sql常用语句(笔记)

    1.复制一张表并重命名 比如已经创建好一个表 表名为"28165" 复制这个表. CREATE TABLE [33150] AS SELECT * FROM [28165] 2.根 ...

  3. ethereum(以太坊)(十一)--字节数组(二)

    pragma solidity ^0.4.0; contract test { uint [5] T =[1,2,3,4,5] ;//固定长度的数组:可修改数组内值大小,不支持push,不可更改长度 ...

  4. asp.net高并发网站解决方案【未完成版本】

    场景:假设现在是一个电商网站,今天要举办活动,有10个商品低价销售,但是会来抢购的人会特别多,最后只有十个人可以成功的买到商品   明确2个问题 1.访问量:抢票时间断用户访问量 2.并发:1秒内请求 ...

  5. 简单的for循环实现九九乘法表

    PHP for 循环 语法 for (init counter; test counter; increment counter) { code to be executed; } 参数: init ...

  6. Android 6.0 动态申请 音频+拍照+相册 权限

    1.音频的权限(包括录音和播放) 1.1.首先要在清单中加上两个权限 <uses-permission android:name="android.permission.WRITE_E ...

  7. div+css实现双飞翼布局

    本例通过div+css实现HTML金典布局双飞翼布局,该布局结构为上中下结构,上:header头:下:footer尾:中:内容,将内容分为了三个结构,左中右 下图是效果图 我们来看下代码 <!D ...

  8. 3195: [Jxoi2012]奇怪的道路

    3195: [Jxoi2012]奇怪的道路 链接 思路: 因为一个点只会和它前后k个点连边,所以,记录下每个点的前k个点和它自己(共k+1个点)的状态,1表示奇数,0表示偶数. dp[i][j][s] ...

  9. sql中给逗号分隔的查询结果替换单引号

    技术交流群:233513714 第一种方法: SELECT * FROM pay_inf_config a WHERE a.id IN ( SELECT REPLACE ( concat('''', ...

  10. 运行SparkStreaming程序时出现 Exception in thread "main" java.lang.NoSuchMethodError: scala.Predef$.ArrowA异常

    Exception in thread "main" java.lang.NoSuchMethodError: scala.Predef$.ArrowA 这个问题是版本不统一导致的 ...