Link:

BZOJ 2427 传送门

Solution:

只看样例的话会以为是裸的树形$dp$……

但实际上题目并没有说明恰好仅有一个物品没有依赖项

因此原图可能由是由多棵树与多个图组成的

先跑一遍$tarjan$求出每个图中的$SCC$,缩点将原图转化为森林

再设置一个根,将森林转换成一棵树$dp$即可:$dp[i][j]=max\{ dp[i][k]+dp[son[i]][j-k]\}$

为了保证依赖条件满足,每棵子树的根都必须要选择,因此返回前还要再刷一遍:$dp[i][j]=dp[i][j-w_i]+v_i$

Tip:$dp$时要注意$k$也要逆序枚举,因为$w_i$可能为0

Code:

#include <bits/stdc++.h>

using namespace std;
const int MAXN=;
struct edge{int nxt,to;}e[MAXN<<];
stack<int> st;
int f[MAXN],head[MAXN],in[MAXN],S;
int instack[MAXN],vis[MAXN],col[MAXN],dfn[MAXN],low[MAXN];
int n,m,x,dp[MAXN][MAXN],w[MAXN],v[MAXN],sw[MAXN],sv[MAXN],tot,cnt,idx; void add_edge(int from,int to)
{e[++tot].nxt=head[from];e[tot].to=to;head[from]=tot;} void tarjan(int x)
{
dfn[x]=low[x]=++idx;
instack[x]=vis[x]=true;st.push(x);
for(int i=head[x];i;i=e[i].nxt)
{
if(!vis[e[i].to])
tarjan(e[i].to),low[x]=min(low[x],low[e[i].to]);
else if(instack[e[i].to])
low[x]=min(low[x],low[e[i].to]);
}
if(dfn[x]==low[x])
{
int t=-;cnt++;
while(t!=x)
{
t=st.top();st.pop();
instack[t]=false;col[t]=cnt;
sw[cnt]+=w[t];sv[cnt]+=v[t];
}
}
} void dfs(int x,int anc)
{
for(int i=head[x];i;i=e[i].nxt)
{
if(e[i].to==anc) continue;
dfs(e[i].to,x);
for(int j=m-sw[x];j>=;j--)
for(int k=j;k>=;k--)//k也要保持逆序
dp[x][j]=max(dp[x][j],dp[x][k]+dp[e[i].to][j-k]);
}
for(int j=m;j>=;j--)
if(j>=sw[x]) dp[x][j]=dp[x][j-sw[x]]+sv[x];
else dp[x][j]=;
} int main()
{
scanf("%d%d",&n,&m);
for(int i=;i<=n;i++) scanf("%d",&w[i]);
for(int i=;i<=n;i++) scanf("%d",&v[i]);
for(int i=;i<=n;i++)
{
scanf("%d",&f[i]);
if(f[i]) add_edge(f[i],i);
} for(int i=;i<=n;i++)//原图不一定连通
if(!vis[i]) tarjan(i); tot=;S=cnt+;
memset(head,,sizeof(head));
for(int i=;i<=n;i++)
if(f[i]&&col[i]!=col[f[i]])
add_edge(col[f[i]],col[i]),in[col[i]]++;
for(int i=;i<=cnt;i++)//建立根
if(!in[i]) add_edge(S,i); dfs(S,);
printf("%d",dp[S][m]); return ;
}

[BZOJ 2427] 软件安装的更多相关文章

  1. bzoj 2427 软件安装 - Tarjan - 树形动态规划

    题目描述 现在我们的手头有N个软件,对于一个软件i,它要占用Wi的磁盘空间,它的价值为Vi.我们希望从中选择一些软件安装到一台磁盘容量为M计算机上,使得这些软件的价值尽可能大(即Vi的和最大). 但是 ...

  2. BZOJ 2427 软件安装(强连通分量+树形背包)

    题意:现在我们的手头有N个软件,对于一个软件i,它要占用Wi的磁盘空间,它的价值为Vi.我们希望从中选择一些软件安装到一台磁盘容量为M计算机上,使得这些软件的价值尽可能大(即Vi的和最大).但是现在有 ...

  3. bzoj 2427: [HAOI2010]软件安装

    Description 现在我们的手头有N个软件,对于一个软件i,它要占用Wi的磁盘空间,它的价值为Vi.我们希望从中选择一些软件安装到一台磁盘容量为M计算机上,使得这些软件的价值尽可能大(即Vi的和 ...

  4. BZOJ 2427 [HAOI2010]软件安装 | 这道树形背包裸题严谨地证明了我的菜

    传送门 BZOJ 2427 题解 Tarjan把环缩成点,然后跑树形背包即可. 我用的树形背包是DFS序上搞的那种. 要注意dp数组初始化成-INF! 要注意dp顺推的时候也不要忘记看数组是否越界! ...

  5. bzoj 2427 [HAOI2010]软件安装 Tarjan缩点+树形dp

    [HAOI2010]软件安装 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 2029  Solved: 811[Submit][Status][Dis ...

  6. BZOJ 2427: [HAOI2010]软件安装 tarjan + 树形背包

    Description 现在我们的手头有N个软件,对于一个软件i,它要占用Wi的磁盘空间,它的价值为Vi.我们希望从中选择一些软件安装到一台磁盘容量为M计算机上,使得这些软件的价值尽可能大(即Vi的和 ...

  7. 【BZOJ-2427】软件安装 Tarjan + 树形01背包

    2427: [HAOI2010]软件安装 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 960  Solved: 380[Submit][Status ...

  8. 【BZOJ2427】[HAOI2010]软件安装(动态规划,Tarjan)

    [BZOJ2427][HAOI2010]软件安装(动态规划,Tarjan) 题面 BZOJ 洛谷 题解 看到这类题目就应该要意识到依赖关系显然是可以成环的. 注意到这样一个性质,依赖关系最多只有一个, ...

  9. [BZOJ2427][HAOI2010]软件安装(Tarjan+DP)

    2427: [HAOI2010]软件安装 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 1987  Solved: 791[Submit][Statu ...

随机推荐

  1. 【Luogu】P3930 SAC E#1 - 一道大水题 Knight

    [题目]洛谷10月月赛R1 提高组 [题意]给定n*n棋盘和<=16个棋子,给几个棋子种类和攻击范围,现我方只有一马,求能否吃王. [算法]状压+BFS [题解]16种棋子中,马不能吃马,直接处 ...

  2. mybatis 插入语句name no find

    1.可参考连接:https://www.cnblogs.com/thomas12112406/p/6217211.html 2.dao层的配置 void addUser(@Param("un ...

  3. 21、python操作redis的模块?

    什么是redis? redis是一个key-value存储系统.和Memcached类似,它支持存储的value类型相对更多,包括string(字符串).list(链表).set(集合).zset(s ...

  4. bzoj 2440 容斥原理

    首先根据样例或者自己打表大概可以知道,对于询问k,答案不会超过k<<1,那么我们就可以二分答案,求当前二分的值内有多少个数不是完全平方数的倍数,这样就可以了,对于每个二分到的值x,其中完全 ...

  5. HTTPS加密通信原理及数字证书系统

    https加密通信原理: 公钥私钥成对,公钥公之于众,私钥只有自己知道. 用公钥加密的信息只能由与之相对应的私钥解密. 甲给乙发送数据时,甲先用乙的公钥加密这段数据,再用自己的私钥对这段数据的特征数据 ...

  6. Python脚本 - 常用单位转换

    测试系统为:Centos 6.7 Python版本为: 3.6.4 脚本功能:常用单位的转换,这里用内存来模拟 import pstuil def bytes2human(n): symbols = ...

  7. python基础===装饰器@property 的扩展

    以下来自Python 3.6.0 Document: class property(fget=None, fset=None, fdel=None, doc=None) Return a proper ...

  8. hardseed

    hardseed https://github.com/yangyangwithgnu/hardseed

  9. ==和equals()方法的区别

    ==和equals()方法的区别 这是一道经典的面试题,但是很多人对其一直很困惑,最近刚好复习了他们两者的区别,现总结如下: 一.==:两端可以存放不同的数据     1.放基本数据类型:根据基本数据 ...

  10. vue 开始开发

    1,引入vue.js文件 2,在body里用标签 编辑一个入口 <div id="app">{{msg}}</div> <-- 用双大括号 取数据显示 ...