本文同步发表于https://www.zybuluo.com/Gary-Ying/note/1235385

题目描述

给定一个n个点m条边有向图,每个点有一个权值,求一条路径,使路径经过的点权值之和最大。你只需要求出这个权值和。

允许多次经过一条边或者一个点,但是,重复经过的点,权值只计算一次。

输入输出格式

输入格式:

第一行,n,m

第二行,n个整数,依次代表点权

第三至m+2行,每行两个整数u,v,表示u->v有一条有向边

输出格式:

共一行,最大的点权之和。

样例输入

2 2
1 1
1 2
2 1

样例输出

2

数据范围

\(n<=10^4\),\(m<=10^5\),\(点权<=1000\)

题解

算法

正如题目名称所说,这道题需要使用缩点的技巧,那么这是为什么呢?

我们可以把一个强连通分量近似看作一个环,由于这道题中边权只能取1次,每个点和每条边可以经过多次,所以一个强连通分量中的点一定可以全部取到。并且强连通分量中各点的出边可以看做是同一点的出边。于是我们可以高兴地说:

这道题中一个强连通分量相当于一个点,我们可以缩点了!

缩点以后图就变成了DAG(有向无环图),对于有向无环图,注定是要与拓扑排序为伴的。DP转移方程如下:(dp[v]表示走到v点的最大路径长度,a[v]表示v这个强连通分量中所有点的点权之和)

\[dp[v]=max\{dp[u]+a[v]\}
\]

转移的条件是存在边(u,v)。用拓扑排序转移DP即可(避免后效性,保证处理v的转移时u的转移已经处理)。

易错点(其实就是我错的)

1、第37行:if (vis[v])low[u] = min(low[u], dfn[v]);

2、

for (int i = 1; i <= n; ++i)
if (!dfn[i])tarjan(i);

3、 第84行:addedge1(color[i],color[v]);

Code

#include<iostream>
#include<cstdio>
using namespace std; const int maxn = 10007;
const int maxm = 100007;
int n, m;
int c[maxn], a[maxn];
int edgenum, head[maxn], Next[maxm], vet[maxm];
int edgenum1, head1[maxn], Next1[maxm], vet1[maxm];
int dfn[maxn], low[maxn], stamp;
int stack[maxn], top, color[maxn], num;
int init[maxn];
bool vis[maxn]; void addedge(int u, int v){
++edgenum;
vet[edgenum] = v;
Next[edgenum] = head[u];
head[u] = edgenum;
}
void addedge1(int u, int v){
++edgenum1;
vet1[edgenum1] = v;
Next1[edgenum1] = head1[u];
head1[u] = edgenum1;
++init[v];
}
void tarjan(int u){
dfn[u] = low[u] = ++stamp;
stack[++top] = u; vis[u] = true;
for (int e = head[u]; e; e = Next[e]){
int v = vet[e];
if (!dfn[v]){
tarjan(v);
low[u] = min(low[u], low[v]);
}else if (vis[v])low[u] = min(low[u], dfn[v]);
}
if (dfn[u] == low[u]){
color[u] = ++num; vis[u] = false;
while (stack[top] != u) vis[stack[top]] = false, color[stack[top--]] = num;
--top;
}
} void tp(){
int head = 0, tail = -1, que[maxn], dp[maxn];
for (int i = 1; i <= num; ++i) {
if (init[i] == 0){
que[++tail] = i;
}
dp[i] = a[i];
}
while (head <= tail){
int u = que[head]; ++head;
for (int e = head1[u]; e; e = Next1[e]){
int v = vet1[e];
--init[v];
if (init[v] == 0) que[++tail] = v;
dp[v] = max(dp[v], dp[u] + a[v]);
}
}
int ans = 0;
for (int i = 1; i <= num; ++i)
if (dp[i] > ans) ans = dp[i];
printf("%d\n", ans);
} int main(){
scanf("%d%d", &n, &m);
for (int i = 1; i <= n; ++i)
scanf("%d", &c[i]);
for (int i = 1; i <= m; ++i){
int u, v;
scanf("%d%d", &u, &v);
addedge(u,v);
}
for (int i = 1; i <= n; ++i)
if (!dfn[i])tarjan(i);
for (int i = 1; i <= n; ++i){
for (int e = head[i]; e; e = Next[e]){
int v = vet[e];
if (color[i]!=color[v]){
addedge1(color[i],color[v]);
}
}
a[color[i]] += c[i];
}
tp();
return 0;
}

【Luogu3381】【模板】缩点的更多相关文章

  1. Tarjan+topsort(DP)【P3387】 [模板]缩点

    Description 给定一个n个点m条边有向图,每个点有一个权值,求一条路径,使路径经过的点权值之和最大.你只需要求出这个权值和. 允许多次经过一条边或者一个点,但是,重复经过的点,权值只计算一次 ...

  2. Tarjan的缩点&&割点概述

    What is Tarjan? Tarjan,是一种用来解决图的联通性的一种有效途径,它的一般俗称叫做:缩点.我们首先来设想一下: 如果我们有一个图,其中A,B,C构成一个环,那么我们在某种条件下,如 ...

  3. Cogs 1298.通讯问题

    1298.通讯问题 ★ 输入文件:jdltt.in 输出文件:jdltt.out 简单对比 时间限制:1 s 内存限制:128 MB [题目描述] 一个篮球队有n个篮球队员,每个队员都有联系方式(如电 ...

  4. Ural 1382 2SAT

    ural1382 直接套用 2SAT模板 缩点 拓扑排序... #include<iostream> #include<cstdio> #include<cstdlib& ...

  5. 图论算法-Tarjan模板 【缩点;割顶;双连通分量】

    图论算法-Tarjan模板 [缩点:割顶:双连通分量] 为小伙伴们总结的Tarjan三大算法 Tarjan缩点(求强连通分量) int n; int low[100010],dfn[100010]; ...

  6. Tarjan总结(缩点+割点(边)+双联通+LCA+相关模板)

    Tarjan求强连通分量 先来一波定义 强连通:有向图中A点可以到达B点,B点可以到达A点,则称为强连通 强连通分量:有向图的一个子图中,任意两个点可以相互到达,则称当前子图为图的强连通分量 强连通图 ...

  7. tarjan 缩点(模板)

    描述: 给定一个n个点m条边有向图,每个点有一个权值,求一条路径,使路径经过的点权值之和最大.你只需要求出这个权值和. 注:允许多次经过一条边或者一个点,但是,重复经过的点,权值只计算一次. 思路: ...

  8. 洛谷P3387 【模板】缩点 题解

    背景 今天\(loj\)挂了,于是就有了闲情雅致来刷\(luogu\) 题面 洛谷P3387 [模板]缩点传送门 题意 给定一个\(n\)个点\(m\)条边有向图,每个点有一个权值,求一条路径,使路径 ...

  9. 洛谷——P3387 【模板】缩点

    P3387 [模板]缩点 题目背景 缩点+DP 题目描述 给定一个n个点m条边有向图,每个点有一个权值,求一条路径,使路径经过的点权值之和最大.你只需要求出这个权值和. 允许多次经过一条边或者一个点, ...

随机推荐

  1. 012-Python-paramiko和IO多路复用

    1.IO 多路复用 1.监听多个socket变化 2.socket服务端 IO多路复用+socket 来实现web服务器: a.服务端优先运行 b.浏览器:http://.......com 浏览器连 ...

  2. django-会话 cookie 中缺少HttpOnly 属性-安全加强

    如果django程序扫描到会话 cookie 中缺少 HttpOnly 属性问题,需要如何进行安全加强? https://docs.djangoproject.com/en/2.2/ref/setti ...

  3. Hadoop Shell命令(基于linux操作系统上传下载文件到hdfs文件系统基本命令学习)

    Apache-->hadoop的官网文档命令学习:http://hadoop.apache.org/docs/r1.0.4/cn/hdfs_shell.html FS Shell 调用文件系统( ...

  4. Top 查看某些或者某个进程(top -p pid)

    https://blog.csdn.net/zhangfn2011/article/details/7488746?utm_source=blogxgwz5

  5. Vue2.0 探索之路——生命周期和钩子函数的一些理解

    前言 在使用vue一个多礼拜后,感觉现在还停留在初级阶段,虽然知道怎么和后端做数据交互,但是对于mounted这个挂载还不是很清楚的.放大之,对vue的生命周期不甚了解.只知道简单的使用,而不知道为什 ...

  6. ssh-keygen -t rsa 生成密钥对后如何校验

    ssh-keygen -t rsa 生成密钥对后如何校验一下呢ssh-keygen -y -f id_rsa > id_rsa.pub.tobecompared 然后对比一下id_rsa.pub ...

  7. 开源堡垒机Gateone 安装过程记录及报错处理

    1.下载git源码或者zip包都可以,下载到我们制定部署目录. git地址:https://github.com/liftoff/GateOne.git 2.检查tornado 版本,安装tornad ...

  8. HTML5漫谈(7)——如何保护HTML5应用代码

    独家供稿:移动Labs HTML5应用采用的仍然是Javascript(JS).HTML.CSS 等Web语言,因而其代码保护就是这些Web代码的保护,而HTML5应用主要功能一般采用JS实现,因此J ...

  9. python的paramiko模块

        paramiko是用python语言写的一个模块,遵循SSH2协议,支持以加密和认证的方式,进行远程服务器的连接.paramiko支持Linux, Solaris, BSD, MacOS X, ...

  10. net core体系-web应用程序-4asp.net core2.0 项目实战(1)-5项目数据库操作封装操作-EF框架

    EF框架有三种基本的方式:DB First(数据库优先),Model First(模型优先),Code First(代码优先). Entity Framework4.1之前EF支持“Database  ...