[Usaco2015 Jan]Grass Cownoisseur

题目大意:给一个有向图,然后选一条路径起点终点都为1的路径出来,有一次机会可以沿某条边逆方向走,问最多有多少个点可以被经过?(一个点在路径中无论出现多少正整数次对答案的贡献均为1)

数据范围:$1\le n, m\le 10^5$。


题解

先$tarjan$缩强连通分量,因为每一个$SCC$只要能到一个点就能到整个$SCC$。

接下来我们发现,我们操作的边的两个端点会满足如下性质:

这条有向边的起点可以到$1$号点所在$SCC$。

这条有向边的重点可以被$1$号点所在$SCC$到达。

故此,我们再缩完点之后,先对原图弄一遍拓扑序$DP$,求出$1$号点所在$SCC$到每个点的最长路。

再建反边重新跑拓扑序$DP$,求出每个点到$1$号点所在$SCC$的最长路。

暴力枚举边更新即可。

代码

#include <bits/stdc++.h>

#define N 100010 

using namespace std;

int dep[N], low[N], st[N], top, cnt, blg[N], sz[N], f1[N], f2[N], d1[N], d2[N];

int Number;

bool ins[N];

struct Node {
int x, y;
}e[N]; struct Edge {
int head[N], to[N << 1], nxt[N << 1], tot;
inline void add(int x, int y) {
to[ ++ tot] = y;
nxt[tot] = head[x];
head[x] = tot;
}
}G1,G2,G3; char *p1, *p2, buf[100000]; #define nc() (p1 == p2 && (p2 = (p1 = buf) + fread(buf, 1, 100000, stdin), p1 == p2) ? EOF : *p1 ++ ) int rd() {
int x = 0, f = 1;
char c = nc();
while (c < 48) {
if (c == '-')
f = -1;
c = nc();
}
while (c > 47) {
x = (((x << 2) + x) << 1) + (c ^ 48), c = nc();
}
return x * f;
} void tarjan(int p) {
st[ ++ top] = p;
ins[p] = true;
low[p] = dep[p] = ++cnt;
for (int i = G1.head[p]; i; i = G1.nxt[i]) {
if (!dep[G1.to[i]])
tarjan(G1.to[i]), low[p] = min(low[p], low[G1.to[i]]);
else if (ins[G1.to[i]])
low[p] = min(low[p], dep[G1.to[i]]);
}
if (dep[p] == low[p]) {
int t;
Number ++ ;
do {
t = st[top -- ];
ins[t] = false;
blg[t] = Number;
sz[Number] ++ ;
} while(t != p);
}
} queue<int> q; void dp1() {
while (!q.empty()) {
q.pop();
}
memset(f1, 0xef, sizeof f1);
for (int i = 1; i <= Number; i ++ ) {
if (!d1[i]) {
q.push(i);
}
}
f1[blg[1]] = 0;
while (!q.empty()) {
int x = q.front();
q.pop();
f1[x] += sz[x];
for (int i = G2.head[x]; i; i = G2.nxt[i]) {
f1[G2.to[i]] = max(f1[G2.to[i]], f1[x]);
d1[G2.to[i]] -- ;
if (!d1[G2.to[i]]) {
q.push(G2.to[i]);
}
}
}
} void dp2() {
while (!q.empty()) {
q.pop();
}
for (int i = 1; i <= Number; i ++ ) {
if (!d2[i]) {
q.push(i);
}
}
memset(f2, 0xef, sizeof f2);
f2[blg[1]] = 0;
while (!q.empty()) {
int x = q.front();
q.pop();
f2[x] += sz[x];
for (int i = G3.head[x]; i; i = G3.nxt[i]) {
f2[G3.to[i]] = max(f2[G3.to[i]], f2[x]);
d2[G3.to[i]] -- ;
if (!d2[G3.to[i]]) {
q.push(G3.to[i]);
}
}
}
} int main() {
int n = rd(), m = rd();
if (!n)
puts("1"), exit(0);
for (int i = 1; i <= m; i ++ ) {
e[i].x = rd(), e[i].y = rd();
G1.add(e[i].x, e[i].y);
}
for (int i = 1; i <= n; i ++ ) {
if (!dep[i]) {
tarjan(i);
}
}
// for (int i = 1; i <= n; i ++ ) {
// printf("%d ",blg[i]);
// }
// puts("");
for (int i = 1; i <= m; i ++ ) {
e[i].x = blg[e[i].x];
e[i].y = blg[e[i].y];
if (e[i].x != e[i].y) {
// printf("%d %d\n", e[i].x, e[i].y);
G2.add(e[i].x, e[i].y);
d1[e[i].y] ++ ;
G3.add(e[i].y, e[i].x);
d2[e[i].x] ++ ;
}
}
dp1();
dp2();
// for (int i = 1; i <= Number; i ++ ) {
// printf("%d %d\n", f1[i], f2[i]);
// }
int ans = sz[blg[1]];
for (int i = 1; i <= m; i ++ ) {
if (e[i].x != e[i].y) {
ans = max(ans, f1[e[i].y] + f2[e[i].x] - sz[blg[1]]);
}
}
cout << ans << endl ;
return 0;
}

小结:比较好想的一道题,需要注意的是两边拓扑序$dp$需要清队列。

[bzoj3887][Usaco2015 Jan]Grass Cownoisseur_trajan_拓扑排序_拓扑序dp的更多相关文章

  1. BZOJ3887 [Usaco2015 Jan] Grass Cownoisseur 【tarjan】【DP】*

    BZOJ3887 [Usaco2015 Jan] Grass Cownoisseur Description In an effort to better manage the grazing pat ...

  2. bzoj3887: [Usaco2015 Jan]Grass Cownoisseur

    题意: 给一个有向图,然后选一条路径起点终点都为1的路径出来,有一次机会可以沿某条边逆方向走,问最多有多少个点可以被经过?(一个点在路径中无论出现多少正整数次对答案的贡献均为1) =>有向图我们 ...

  3. BZOJ3887 [Usaco2015 Jan]Grass Cownoisseur[缩点]

    首先看得出缩点的套路.跑出DAG之后,考虑怎么用逆行条件.首先可以不用,这样只能待原地不动.用的话,考虑在DAG上向后走,必须得逆行到1号点缩点后所在点的前面,才能再走回去. 于是统计从1号点缩点所在 ...

  4. BZOJ_3887_[Usaco2015 Jan]Grass Cownoisseur_强连通分量+拓扑排序+DP

    BZOJ_3887_[Usaco2015 Jan]Grass Cownoisseur_强连通分量+拓扑排序+DP Description In an effort to better manage t ...

  5. [补档][Usaco2015 Jan]Grass Cownoisseur

    [Usaco2015 Jan]Grass Cownoisseur 题目 给一个有向图,然后选一条路径起点终点都为1的路径出来,有一次机会可以沿某条边逆方向走,问最多有多少个点可以被经过? (一个点在路 ...

  6. BZOJ 3887/Luogu P3119: [Usaco2015 Jan]Grass Cownoisseur (强连通分量+最长路)

    分层建图,反向边建在两层之间,两层内部分别建正向边,tarjan缩点后,拓扑排序求一次1所在强连通分量和1+n所在强联通分量的最长路(长度定义为路径上的强联通分量内部点数和).然后由于1所在强连通分量 ...

  7. Codeforces 919D Substring ( 拓扑排序 && DAG上的DP )

    题意 : 给出含有 N 个点 M 条边的图(可能不连通或者包含环),每个点都标有一个小写字母编号,然后问你有没有一条路径使得路径上重复字母个数最多的次数是多少次,例如图上有条路径的顶点标号顺序是  a ...

  8. 洛谷—— P3119 [USACO15JAN]草鉴定Grass Cownoisseur || BZOJ——T 3887: [Usaco2015 Jan]Grass Cownoisseur

    http://www.lydsy.com/JudgeOnline/problem.php?id=3887|| https://www.luogu.org/problem/show?pid=3119 D ...

  9. [Usaco2015 Jan]Grass Cownoisseur Tarjan缩点+SPFA

    考试的时候忘了缩点,人为dfs模拟缩点,没想到竟然跑了30分,RB爆发... 边是可以重复走的,所以在同一个强连通分量里,无论从那个点进入从哪个点出,所有的点一定能被一条路走到. 要使用缩点. 然后我 ...

随机推荐

  1. Luogu P5018 对称二叉树 瞎搞树&哈希

    我的天..普及组这么$hard$... 然后好像没有人用我的垃圾做法,,,好像是$O(n)$,但十分的慢,并且极其暴力$qwq$ 具体来说,就是直接$dfs$求出树高,然后想像出把原来的树补成满二叉树 ...

  2. PHP mysqli_fetch_object() 函数

    定义和用法 mysqli_fetch_object() 函数从结果集中取得当前行,并作为对象返回. 注释:该函数返回的字段名是区分大小写的. <?php // 假定数据库用户名:root,密码: ...

  3. PHP mysqli_get_client_stats() 函数

    定义和用法 mysqli_get_client_stats() 函数返回有关客户端每个进程的统计. 语法 mysqli_get_client_stats(); 返回有关客户端每个进程的统计: < ...

  4. 路由器配置——OSPF协议(1)

    一.实验目的:用OSPF协议使全网互通 二.拓扑图 三.具体步骤配置 (1)R1路由器配置 Router>enableRouter#configure terminalEnter configu ...

  5. noi 统计前k大的数

    描述 给定一个数组,统计前k大的数并且把这k个数从大到小输出. 输入 第一行包含一个整数n,表示数组的大小.n < 100000. 第二行包含n个整数,表示数组的元素,整数之间以一个空格分开.每 ...

  6. ros中同时订阅两个topic(2张图像)合并成一个topic(1张图像)

    2019-12-06 15:42:39 先暂时做个资料保存 要同时用两个红外相机,但是没有做硬件上的 时间戳同步,就是笔记本上同时插着两个相机. 两个topic发布各自相机的图像,然后要有个节点同时订 ...

  7. Java学习笔记(持续更新ing)

    1.在读入字符串时:    str = sc.nextLine();     //读入一行                                     str = sc.next();   ...

  8. 数据结构实验之求二叉树后序遍历和层次遍历(SDUT 2137)

    Problem Description 已知一棵二叉树的前序遍历和中序遍历,求二叉树的后序遍历和层序遍历. Input 输入数据有多组,第一行是一个整数t (t<1000),代表有t组测试数据. ...

  9. Pytest学习笔记(一) 环境安装及入门

    简介 pytest是python的一个单元测试框架,类似于unittest,相对unittest来说,pytest使用更简单,功能更强大. 安装 pip3 install -U pytest 查看版本 ...

  10. IntelliJ IDEA 2017.3 创建多Module项目时,右边栏出现多个root模块的问题。如图。

    我新建了一个项目,里面有三个模块(Module),结果建好后,出现了三个root.然后我发现主模块的pom文件,包含这样一段配置 <modules> <module>desig ...