[拓扑排序][tarjan缩点]自行车比赛

本文介绍了一种解决自行车赛中不同路线数量计算问题的方法。通过拓扑排序和Tarjan算法进行强连通分量的压缩,实现了从起点到终点所有可能路径的高效计算。

题目描述

自行车赛在一个很大的地方举行,有N个镇,用1到N编号,镇与镇之间有M条单行道相连,起点设在镇1,终点设在镇2。
问从起点到终点一共有多少种不同的路线。两条路线只要不使用完全相同的道路就被认为是不同的。

Input

第一行两个整数:N和M(1<=N<=10000,1<=M<=100000),表示镇的数量和道路的数量。
接下来M行,每行包含两个不同的整数A和B,表示有一条从镇A到镇B的单行道。
两个镇之间有可能不止一条路连接。

Output

输出不同路线的数量,如果答案超过9位,只需输出最后9位数字。如果有无穷多的路线,输出“inf”。

Sample Input

输入1:
6 7
1 3
1 4
3 2
4 2
5 6
6 5
3 4

输入2:
6 8
1 3
1 4
3 2
4 2
5 6
6 5
3 4
4 3

输入3:
31 60
1 3
1 3
3 4
3 4
4 5
4 5
5 6
5 6
6 7
6 7



28 29
28 29
29 30
29 30
30 31
30 31
31 2
31 2

分析

首先偷偷告诉你:
这题并没有inf的数据。。。虽然会存在强联通分量,但是并没有在1~2的必经之路上的
这种统计的,明显就是用拓扑序列来继承方案数下去
所以我们要打拓扑排序
然后因为拓扑的前提是一个有向无环图,而(有可能)存在强连通分量,所以我们打个tarjan缩点
嗯,没了
还有如果遇到小于九位的是不用补零的

#include <iostream>
#include <cstdio>
#include <queue>
#define rep(i,a,b) for (i=a;i<=b;i++)
#define pot(i,l,p) for (i=l;i;i=p[i])
using namespace std;
int n,m,cnt;
int d[10001];

int list[10001],u[100001],v[100001],next[100001];
int lst[10001],u1[100001],v1[100001],nxt[100001];

int low[10001],dfn[10001],target;
int stk[10001],top;
bool instk[10001];

queue<int> q;
int ind[10001];

bool b[10001];
int f[10001];

bool judge;
void tarjan(int i)
{
    int j;
    dfn[i]=low[i]=++target;
    stk[++top]=i;instk[i]=1;
    pot(j,list[i],next)
    {
        if (!dfn[v[j]])
        {
            tarjan(v[j]);
            low[i]=min(low[v[j]],low[i]);
        }
        else
        if (instk[v[j]])
        low[i]=min(low[i],dfn[v[j]]);
    }
    if (low[i]==dfn[i])
    {
        cnt++;
        int o;
        do
        {
            o=stk[top];
            top--;
            d[o]=cnt;
            instk[o]=0;
        }
        while (i!=o);
    }
}
void topsort()
{
    int i;
    rep(i,1,cnt)
    if (!ind[i]) q.push(i);
    while (!q.empty())
    {
        int k=q.front();
        q.pop();
        pot(i,lst[k],nxt)
        {
            if (!(--ind[v1[i]])) 
            q.push(v1[i]);
            if (f[v1[i]]+f[k]>=1000000000) judge=1;
            f[v1[i]]=(f[v1[i]]+f[k])%1000000000;
        }
    }
}
void init()
{
    int i;
    scanf("%d%d",&n,&m);
    rep(i,1,m)
    {
        scanf("%d%d",&u[i],&v[i]);
        next[i]=list[u[i]];
        list[u[i]]=i;
    }
}
void doit()
{
    int i,j;
    rep(i,1,n)
    if (!dfn[i]) tarjan(i);
    rep(i,1,m)
    if (d[u[i]]!=d[v[i]])
    {
        u1[i]=d[u[i]];v1[i]=d[v[i]];
        ind[v1[i]]++;
        nxt[i]=lst[u1[i]];
        lst[u1[i]]=i;
    }
    f[d[1]]=1;
    topsort();
}
void print()
{
    if (judge)
    {
        printf("%d",(int)(f[d[2]]/100000000)%10);
        printf("%d",(int)(f[d[2]]/10000000)%10);
        printf("%d",(int)(f[d[2]]/1000000)%10);
        printf("%d",(int)(f[d[2]]/100000)%10);
        printf("%d",(int)(f[d[2]]/10000)%10);
        printf("%d",(int)(f[d[2]]/1000)%10);
        printf("%d",(int)(f[d[2]]/100)%10);
        printf("%d",(int)(f[d[2]]/10)%10);
        printf("%d",f[d[2]]%10);
    }
    else
    printf("%d",f[d[2]]);
}
int main()
{
    init();
    doit();
    print();
}
### 原理 Tarjan是针对有向图的操作。强连通分量指里面的两两之间互相可达,当一道题中互相可达的有某种等价联系(一个强连通分量等价于一个的作用)时,就可以进行Tarjan算法通过DFS序和low数组,利用回溯信息判断图的连通性结构。对于有向图求强连通分量需借助栈。后图会变成一个有向无环图(DAG),因为强连通分量被合并成了一个,消除了环的存在 [^2][^3]。 ### 实现 虽然引用未给出具体代码实现,但Tarjan实现的大致步骤如下: 1. 初始化`dfn`数组记录DFS序,`low`数组记录能追溯到的最早的节的DFS序,栈用于辅助寻找强连通分量。 2. 从一个未访过的节开始进行深度优先搜索(DFS)。 3. 在DFS过程中,更新`dfn`和`low`数组。 4. 当一个的`dfn`和`low`相等时,说明找到了一个强连通分量,将栈中元素弹出直到该节,这些元素构成一个强连通分量。 5. 把每个强连通分量一个,重新构建图。 ### 应用 - **提高效率**:可以把一些等价的的操作一起做,避免对等价进行重复操作,加快计算速度 [^2]。 - **处理DAG上的算法**:之后的图必然是一个DAG,可以在上面进行拓扑排序、动态规划(dp)等操作 [^2]。 - **解决特定类型题目**:如在一些图论题目中,是重要的解题步骤,像模板题P3387 【模板】 [^4]。 ```python # 以下是一个简单的伪代码示例来展示Tarjan的大致框架 def tarjan(u): global index dfn[u] = low[u] = index index += 1 stack.append(u) in_stack[u] = True for v in graph[u]: if dfn[v] == 0: tarjan(v) low[u] = min(low[u], low[v]) elif in_stack[v]: low[u] = min(low[u], dfn[v]) if dfn[u] == low[u]: scc = [] while True: v = stack.pop() in_stack[v] = False scc.append(v) if v == u: break # 这里可以进行操作,例如标记每个所属的强连通分量 for node in scc: scc_id[node] = len(scc_list) scc_list.append(scc) # 初始化 n = 10 # 节数量 graph = [[] for _ in range(n)] dfn = [0] * n low = [0] * n stack = [] in_stack = [False] * n index = 1 scc_id = [-1] * n scc_list = [] # 假设已经构建好图graph # 对每个未访的节进行Tarjan算法 for i in range(n): if dfn[i] == 0: tarjan(i) ```
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值