bzoj 2427: [HAOI2010]软件安装tarjan+树形dp

Posted 2020-12-26 lokiii

一眼最大权闭合子图，然后开始构图，画了画之后发现我其实是个智障网络流满足不了m，于是发现正确的打开方式应该是一眼树上dp
然后仔细看了看性质，发现把依赖关系建成图之后是个奇环森林，这个显然不能直接dp
发现这个环要选的话只能选整个环，所以tarjan缩一下点，然后再跑树上背包就行了

#include<iostream>
#include<cstdio>
#include<vector>
#include<cstring>
using namespace std;
const int N=105,M=505;
int n,m,we[N],va[N],h[N],cnt,dfn[N],low[N],tot,bl[N],col,s[N],top,nw[N],nv[N],d[N],f[N][M];
bool v[N];
vector<pair<int,int> >b;
struct qwe
{
    int ne,no,to;
}e[N<<1];
int read()
{
    int r=0,f=1;
    char p=getchar();
    while(p>‘9‘||p<‘0‘)
    {
        if(p==‘-‘)
            f=-1;
        p=getchar();
    }
    while(p>=‘0‘&&p<=‘9‘)
    {
        r=r*10+p-48;
        p=getchar();
    }
    return r*f;
}
void add(int u,int v)
{
    cnt++;
    e[cnt].ne=h[u];
    e[cnt].no=u;
    e[cnt].to=v;
    h[u]=cnt;
}
void tarjan(int u)
{
    dfn[u]=low[u]=++tot;
    v[s[++top]=u]=1;
    for(int i=h[u];i;i=e[i].ne)
    {
        if(!dfn[e[i].to])
        {
            tarjan(e[i].to);
            low[u]=min(low[u],low[e[i].to]);
        }
        else if(v[e[i].to])
            low[u]=min(low[u],dfn[e[i].to]);
    }
    if(low[u]==dfn[u])
    {
        col++;
        while(s[top]!=u)
        {
            bl[s[top]]=col;
            v[s[top--]]=0;
        }
        bl[s[top]]=col;
        v[s[top--]]=0;
    }
}
void dp(int u)
{
    for(int i=nw[u];i<=m;i++)
        f[u][i]=nv[u];
    for(int i=h[u];i;i=e[i].ne)
    {
        dp(e[i].to);
        for(int j=m-nw[u];j>=0;j--)
            for(int k=0;k<=j;k++)
                f[u][j+nw[u]]=max(f[u][j+nw[u]],f[u][j+nw[u]-k]+f[e[i].to][k]);
    }
}
int main()
{
    n=read(),m=read();
    for(int i=1;i<=n;i++)
        we[i]=read();
    for(int i=1;i<=n;i++)
        va[i]=read();
    for(int i=1;i<=n;i++)
    {
        int x=read();
        if(x)
            add(x,i);
    }
    for(int i=1;i<=n;i++)
        if(!dfn[i])
            tarjan(i);
    for(int i=1;i<=n;i++)
        nw[bl[i]]+=we[i],nv[bl[i]]+=va[i];
    for(int i=1;i<=cnt;i++)
        if(bl[e[i].no]!=bl[e[i].to])
            b.push_back(make_pair(bl[e[i].no],bl[e[i].to]));
    memset(h,0,sizeof(h));
    cnt=0;
    for(int i=0;i<b.size();i++)
        add(b[i].first,b[i].second),d[b[i].second]++;
    for(int i=1;i<=col;i++)
        if(!d[i])
            add(col+1,i);
    dp(col+1);
    printf("%d
",f[col+1][m]);
    return 0;
}