图论.DP

见题：

看一眼，就知道是个依赖性背包，于是乎就草草的打了树上DP，一交发现才20，仔细检查也没错呀，忍不住点了题解，只喵一眼看到了强联通缩点等的字样，又重新审了一遍题，发现这句话理解有偏差：软件i只有在安装了软件j（包括软件j的直接或间接依赖）。题目并未说i依赖j时，j就不能依赖i了，所以就形成了环了。

代码：

#include<bits/stdc++.h>
#define max(a,b) (((a)>(b))?(a):(b))
#define min(a,b) (((a)<(b))?(a):(b))
using namespace std;
const int MAXN=,maxn=;
vector<int>son[maxn];
int tot,low[maxn],dfn[maxn],link[maxn],stackn[maxn],vis[maxn],top,o;
int n,w[maxn],v[maxn],m,c,ans[maxn],ww[maxn],vv[maxn],ru[maxn],f[maxn][MAXN];
struct bian
{
    int y,next;
};
bian a[];
inline int read()
{
    int x=,ff=;
    char ch=getchar();
    while(!isdigit(ch))
    {
        if(ch=='-') ff=-;
        ch=getchar();
    }
    while(isdigit(ch))
    {
        x=(x<<)+(x<<)+(ch^);
        ch=getchar();
    }
    return x*ff;
}
inline void put(int x)
{
    if(x<) putchar('-'),x=-x;
    if(x>) put(x/);
    putchar(x%+'');
}
inline void add(int x,int y)
{
    a[++tot].y=y;
    a[tot].next=link[x];
    link[x]=tot;
}
inline void tarjan(int x)
{
    dfn[x]=low[x]= ++o;
    vis[stackn[++top]=x]=;
    for(int i=link[x];i;i=a[i].next)
    {
        int y=a[i].y;
        if(!dfn[y])
        {
            tarjan(y);
            low[x]=min(low[x],low[y]);
        }
        else if(vis[y]) low[x]=min(dfn[y],low[x]);
    }
    if(dfn[x]==low[x])
    {
        int k;c++;
        do{
            vis[k=stackn[top--]]=;
            ans[k]=c;
        }while(k!=x);
    }
}
inline void dfs(int x)
{
    for(int i=ww[x];i<=m;i++)f[x][i]=vv[x];
    for(int i=;i<son[x].size();i++)
    {
        int y=son[x][i];
        dfs(y);
        for(int t=m;t>=ww[x];t--)
        {
            for(int k=;k<=t-ww[x];k++) f[x][t]=max(f[x][t],f[x][t-k]+f[y][k]);
        }
    }
}
int main()
{
    freopen("1.in","r",stdin);
    n=read();m=read();
    for(int i=;i<=n;i++) w[i]=read();
    for(int i=;i<=n;i++) v[i]=read();
    for(int i=;i<=n;i++)
    {
        int x=read();
        if(x) add(x,i);
    }
    for(int i=;i<=n;i++) if(!dfn[i]) tarjan(i);
    for(int i=;i<=n;i++) ww[ans[i]]+=w[i],vv[ans[i]]+=v[i];
    for(int i=;i<=n;i++)
    {
        for(int j=link[i];j;j=a[j].next)
        {
            if(ans[i]==ans[a[j].y]) continue;
            son[ans[i]].push_back(ans[a[j].y]);ru[ans[a[j].y]]++;
        }
    }
    for(int i=;i<=c;i++) if(!ru[i]) son[].push_back(i);
    dfs();
    put(f[][m]);
    return ;
}

以后看题还需仔细了...