[luogu3387]缩点+DAGdp板子

题目：

我是超链接

题解：

哇都说了是板子。。
一开始还在想DAG如果有什么乱七八糟的环啊要不要用类似拓扑的方法。。
后来一想——–都缩点了怎么会有环？
可以用DAGdp记忆化

代码：

#include <cstdio>
#include <iostream>
#include <cstring>
#define N 10005
#define M 100005
#define INF 1e9
using namespace std;
int tot,nxt[M],point[N],v[M],low[N],Dfn[N],nn,cnt,a[N],c[N],x[M],y[M];
int tot1,nxt1[M],point1[N],v1[M],f[N],out[N],stack[N],num,belong[N],ans;
bool vis[N];
void addline(int x,int y){++tot; nxt[tot]=point[x]; point[x]=tot; v[tot]=y;}
void addline1(int x,int y){++tot1; nxt1[tot1]=point1[x]; point1[x]=tot1; v1[tot1]=y;} 
void tarjan(int x)
{
    Dfn[x]=low[x]=++nn; vis[x]=1; stack[++cnt]=x;
    for (int i=point[x];i;i=nxt[i]) 
      if (!Dfn[v[i]])
      {
          tarjan(v[i]);
          low[x]=min(low[x],low[v[i]]);
      }
      else if (vis[v[i]]) low[x]=min(low[x],Dfn[v[i]]);

    if (low[x]==Dfn[x])
    {
        num++;
        while (stack[cnt]!=x)
        {
            c[num]+=a[stack[cnt]];
            belong[stack[cnt]]=num;
            vis[stack[cnt]]=0;
            cnt--;
        }
        c[num]+=a[stack[cnt]];
        belong[stack[cnt]]=num;
        vis[stack[cnt]]=0;
        cnt--;
    }
}
void dp(int x,int fa)
{
    if (vis[x]) return;
    f[x]=c[x];vis[x]=1;int maxx=0;
    for (int i=point1[x];i;i=nxt1[i])
      if (v1[i]!=fa)
      {
          dp(v1[i],x);
          maxx=max(maxx,f[v1[i]]);
      }
    f[x]+=maxx;
}
int main()
{
    int n,m,i;
    scanf("%d%d",&n,&m);
    for (i=1;i<=n;i++) scanf("%d",&a[i]);
    for (i=1;i<=m;i++)
    {
        scanf("%d%d",&x[i],&y[i]);
        addline(x[i],y[i]);
    }
    for (i=1;i<=n;i++)
      if (!Dfn[i]) tarjan(i);

    for (i=1;i<=m;i++)
      if (belong[x[i]]!=belong[y[i]])
        addline1(belong[x[i]],belong[y[i]]);
    ans=-INF;
    memset(vis,0,sizeof(vis));
    for (i=1;i<=num;i++)
      if (!vis[i]) dp(i,0),ans=max(ans,f[i]);
    printf("%d",ans);
}