Day14
加快进度,不然感觉要刷不完了
因为有冷冻期,所以这个时候两个状态已经无法表示出题目意思,这个时候需要三个状态。
状
态
表
示
=
{
第
i
天
手
上
有
货
f
[
i
,
0
]
第
i
天
手
上
无
货
第
1
天
f
[
i
,
1
]
第
i
天
手
上
无
货
第
≥
2
天
f
[
i
,
2
]
状态表示 = \begin{cases} 第i天手上有货 & f[i, 0]\\\\ 第i天手上无货第1天 &f[i, 1]\\ \\第i天手上无货第≥2天 &f[i, 2] \end{cases}
状态表示=⎩⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎧第i天手上有货第i天手上无货第1天第i天手上无货第≥2天f[i,0]f[i,1]f[i,2]
接下来我们分析状态转移,第
i
i
i 天手上有货的状态可以从第
i
−
1
i - 1
i−1 天手上有货和第
i
−
1
i - 1
i−1 天手上无货第
≥
2
≥2
≥2 天转移过来,第
i
i
i 天手上无货的第
1
1
1 天可以从第
i
−
1
i - 1
i−1 天手上有货转移过来,第
i
i
i 天手上无货第
≥
2
≥2
≥2 天可以从第
i
−
1
i - 1
i−1 天手上无货第
1
1
1 天和第
i
−
1
i - 1
i−1 天手上无货第
≥
2
≥2
≥2 天转移过来。考虑状态机的入口就是在第一天且没有冷冻期,那就是 $f[0, 2] $ ,所以初始化的时候将 $f[0, 0] $ 和
f
[
0
,
1
]
f[0, 1]
f[0,1] 都置为负无穷,将
f
[
0
,
2
]
f[0, 2]
f[0,2] 置为
0
0
0 即可。
状
态
转
移
=
{
f
[
i
,
0
]
=
m
a
x
(
f
[
i
−
1
,
0
]
,
f
[
i
−
1
,
2
]
)
f
[
i
,
1
]
=
f
[
i
−
1
,
0
]
+
w
f
[
i
,
2
]
=
m
a
x
(
f
[
i
−
1
,
1
]
,
f
[
i
−
1
,
2
]
)
状态转移 = \begin{cases} f[i,0] = max(f[i - 1, 0], f[i - 1, 2]) \\\\ f[i, 1] = f[i - 1, 0] + w \\\\ f[i, 2] = max(f[i - 1, 1], f[i - 1, 2]) \end{cases}
状态转移=⎩⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎧f[i,0]=max(f[i−1,0],f[i−1,2])f[i,1]=f[i−1,0]+wf[i,2]=max(f[i−1,1],f[i−1,2])
#include<bits/stdc++.h>
using namespace std;
const int N = 100010;
int f[N][3];
int main(void)
{
ios::sync_with_stdio(false);
cin.tie(0);
int n;
cin >> n;
f[0][1] = f[0][0] = -0x3f3f3f3f; // 初始化
f[0][2] = 0;
for (int i = 1; i <= n; i++) {
int w;
cin >> w;
f[i][0] = max(f[i - 1][2] - w, f[i - 1][0]); // 状态转移
f[i][1] = f[i - 1][0] + w;
f[i][2] = max(f[i - 1][1], f[i - 1][2]);
}
cout << max(f[n][1], f[n][2]) << endl ;
return 0;
}
状态压缩模型
状态表示: f [ i , j , s ] f[i, j, s] f[i,j,s] 放完第 i i i 行用了 j j j 个国王且第 i i i 行的状态是 s s s
思路:我们采取一行一行的放,只要看第 i i i 行对应第 i − 1 i - 1 i−1 行的状态是否合法即可,对于每一行,我们用二进制来枚举,1表示国王,0表示空位,显然,如果这个数字的二进制有相邻的1,那么这个状态是不合法的,我们可以先预处理出来所有二进制中没有相邻1的数字,这些就是一行中的合法状态。接下来考虑相邻两行的合法性,首先同一列中不能有相邻的1,那么转换成数学运算就是两层的状态做按位与运算结果为0,考虑某一位1相邻两列不能有1就是判断两行进行按位或运算后的状态是否合法即可。
#include<bits/stdc++.h>
#define x first
#define y second
using namespace std;
typedef long long LL;
typedef pair<int, int> PII;
const int N = 12, M = 1 << 10, K = 110;
int n, m;
vector<int> state; // state 存的是所有合法状态
int cnt[M]; // id存的是合法状态的下标,cnt存的是状态1的个数
vector<int> head[M]; // head存的是head[i]的所有下一行合法状态
LL f[N][K][M];
bool check(int state) // 判断这个数字是否是个合法状态
{
for (int i = 0; i < n; i++) {
if ((state >> i & 1) && (state >> i + 1 & 1))
return false;
}
return true;
}
int count(int state) // 返回一个数字中有多少个1
{
int res = 0;
for (int i = 0; i < n; i++) res += state >> i & 1;
return res;
}
int main(void)
{
ios::sync_with_stdio(false);
cin.tie(0);
cin >> n >> m;
for (int i = 0; i < 1 << n; i++) { // 先预处理出所有合法状态
if (check(i)) {
state.push_back(i);
cnt[i] = count(i);
}
}
for (int i = 0; i < state.size(); i++) { // 两两枚举枚举合法状态
for (int j = 0; j < state.size(); j++) {
int a = state[i], b = state[j];
if ((a & b) == 0 && check(a | b)) { // 判断两行关系是否合法
head[i].push_back(j);
}
}
}
f[0][0][0] = 1;
for (int i = 1; i <= n + 1; i++) // 枚举所有行
for (int j = 0; j <= m; j++) // 枚举所有列
for (int a = 0; a < state.size(); a++) // 枚举前一行的所有合法状态
for (int b : head[a]) { // 枚举当前行的合法状态
int c = cnt[state[a]];
if (j >= c)
f[i][j][a] += f[i - 1][j - c][b]; // 状态转移
}
cout << f[n + 1][m][0] << endl ;
return 0;
}