DP - 状态机模型/背包 - 大盗阿福
阿福是一名经验丰富的大盗。趁着月黑风高,阿福打算今晚洗劫一条街上的店铺。
这条街上一共有 N 家店铺,每家店中都有一些现金。
阿福事先调查得知,只有当他同时洗劫了两家相邻的店铺时,街上的报警系统才会启动,然后警察就会蜂拥而至。
作为一向谨慎作案的大盗,阿福不愿意冒着被警察追捕的风险行窃。
他想知道,在不惊动警察的情况下,他今晚最多可以得到多少现金?
输入格式
输入的第一行是一个整数 T,表示一共有 T 组数据。
接下来的每组数据,第一行是一个整数 N ,表示一共有 N 家店铺。
第二行是 N 个被空格分开的正整数,表示每一家店铺中的现金数量。
每家店铺中的现金数量均不超过1000。
输出格式
对于每组数据,输出一行。
该行包含一个整数,表示阿福在不惊动警察的情况下可以得到的现金数量。
数据范围
1≤T≤50,
1≤N≤105
输入样例:
2
3
1 8 2
4
10 7 6 14
输出样例:
8
24
样例解释
对于第一组样例,阿福选择第2家店铺行窃,获得的现金数量为8。
对于第二组样例,阿福选择第1和4家店铺行窃,获得的现金数量为10+14=24。
分析:
一、线性DP角度:
最 简 单 直 观 的 想 法 , 我 们 可 以 考 虑 是 否 抢 劫 第 i 家 商 店 , 转 化 为 一 个 简 单 的 线 性 D P 问 题 。 最简单直观的想法,我们可以考虑是否抢劫第i家商店,转化为一个简单的线性DP问题。 最简单直观的想法,我们可以考虑是否抢劫第i家商店,转化为一个简单的线性DP问题。
状 态 表 示 , f [ i ] : 从 前 i 家 商 店 中 选 择 的 最 大 收 益 。 状态表示,f[i]:从前i家商店中选择的最大收益。 状态表示,f[i]:从前i家商店中选择的最大收益。
状 态 计 算 : ① 、 包 含 第 i 家 商 店 , 则 不 能 包 含 第 i − 1 家 商 店 , f [ i ] = f [ i − 2 ] + w [ i ] 。 ② 、 不 包 含 第 i 家 商 店 , 则 f [ i ] = f [ i − 1 ] 。 状态计算:\\①、包含第i家商店,则不能包含第i-1家商店,f[i]=f[i-2]+w[i]。\\②、不包含第i家商店,则f[i]=f[i-1]。 状态计算:①、包含第i家商店,则不能包含第i−1家商店,f[i]=f[i−2]+w[i]。②、不包含第i家商店,则f[i]=f[i−1]。
两 种 情 况 取 一 个 较 大 值 即 可 。 两种情况取一个较大值即可。 两种情况取一个较大值即可。
初 始 化 f [ 1 ] = w [ 1 ] 。 初始化f[1]=w[1]。 初始化f[1]=w[1]。
代码:
#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=1e5+10;
int T,f[N],w[N],n;
int main()
{
cin>>T;
while(T--)
{
memset(f,0,sizeof f);
cin>>n;
for(int i=1;i<=n;i++) scanf("%d",&w[i]);
f[1]=w[1];
for(int i=2;i<=n;i++)
f[i]=max(f[i-1],f[i-2]+w[i]);
cout<<f[n]<<endl;
}
return 0;
}
二、状态机角度
状 态 机 模 型 即 将 每 个 状 态 再 细 分 成 几 个 过 程 , 使 得 D P 的 过 程 容 易 理 解 。 状态机模型即将每个状态再细分成几个过程,使得DP的过程容易理解。 状态机模型即将每个状态再细分成几个过程,使得DP的过程容易理解。
本 题 可 从 状 态 机 角 度 分 析 , 但 似 乎 没 有 线 性 D P 来 得 简 洁 。 本题可从状态机角度分析,但似乎没有线性DP来得简洁。 本题可从状态机角度分析,但似乎没有线性DP来得简洁。
我 们 将 每 个 状 态 再 分 为 2 个 状 态 ( 过 程 ) , ① 、 0 : 表 示 不 包 含 第 i 家 商 店 。 ② 、 1 : 表 示 包 含 第 i 家 商 店 。 我们将每个状态再分为2个状态(过程),\\①、0:表示不包含第i家商店。\\②、1:表示包含第i家商店。 我们将每个状态再分为2个状态(过程),①、0:表示不包含第i家商店。②、1:表示包含第i家商店。
f
[
i
,
j
]
:
表
示
考
虑
前
i
家
商
店
,
且
第
i
家
商
店
的
状
态
是
j
,
两
种
状
态
的
转
移
关
系
如
下
图
:
f[i,j]:表示考虑前i家商店,且第i家商店的状态是j,两种状态的转移关系如下图:
f[i,j]:表示考虑前i家商店,且第i家商店的状态是j,两种状态的转移关系如下图:
对
状
态
0
,
表
示
不
考
虑
第
i
家
商
店
,
可
能
由
两
种
状
态
转
移
而
来
:
①
、
不
考
虑
第
i
−
1
家
商
店
,
f
[
i
,
0
]
=
f
[
i
−
1
,
0
]
②
、
考
虑
第
i
−
1
家
商
店
,
f
[
i
,
0
]
=
f
[
i
−
1
,
1
]
。
对状态0,表示不考虑第i家商店,可能由两种状态转移而来:\\①、不考虑第i-1家商店,f[i,0]=f[i-1,0]\\②、考虑第i-1家商店,f[i,0]=f[i-1,1]。
对状态0,表示不考虑第i家商店,可能由两种状态转移而来:①、不考虑第i−1家商店,f[i,0]=f[i−1,0]②、考虑第i−1家商店,f[i,0]=f[i−1,1]。
对 状 态 1 , 表 示 考 虑 第 i 家 商 店 , 只 可 能 由 一 种 状 态 转 移 而 来 : 不 考 虑 第 i − 1 家 , f [ i , 1 ] = f [ i − 1 , 0 ] + w [ i ] 。 对状态1,表示考虑第i家商店,只可能由一种状态转移而来:\\不考虑第i-1家,f[i,1]=f[i-1,0]+w[i]。 对状态1,表示考虑第i家商店,只可能由一种状态转移而来:不考虑第i−1家,f[i,1]=f[i−1,0]+w[i]。
最 后 取 两 种 状 态 的 较 大 值 为 答 案 。 最后取两种状态的较大值为答案。 最后取两种状态的较大值为答案。
注 意 初 始 化 边 界 , f [ 0 , 1 ] = − ∞ , 这 个 状 态 是 不 合 法 的 。 注意初始化边界,f[0,1]=-∞,这个状态是不合法的。 注意初始化边界,f[0,1]=−∞,这个状态是不合法的。
代码:
#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=1e5+10;
int T,f[N][2],w[N],n;
int main()
{
cin>>T;
while(T--)
{
memset(f,0,sizeof f);
cin>>n;
for(int i=1;i<=n;i++) scanf("%d",&w[i]);
f[0][1]=-1e9;
for(int i=1;i<=n;i++)
{
f[i][0]=max(f[i-1][0],f[i-1][1]);
f[i][1]=f[i-1][0]+w[i];
}
cout<<max(f[n][0],f[n][1])<<endl;
}
return 0;
}