寒假：Day14

Day14

加快进度，不然感觉要刷不完了

1058. 股票买卖 V - AcWing题库

因为有冷冻期，所以这个时候两个状态已经无法表示出题目意思，这个时候需要三个状态。
$$状态表示=\{\begin{array}{ll}第i天手上有货& f[i,0]\\ & \\ 第i天手上无货第1天& f[i,1]\\ & \\ 第i天手上无货第\ge 2天& f[i,2]\end{array}$$
接下来我们分析状态转移，第 $i$ 天手上有货的状态可以从第 $i-1$ 天手上有货和第 $i-1$ 天手上无货第 $\ge 2$ 天转移过来，第 $i$ 天手上无货的第 $1$ 天可以从第 $i-1$ 天手上有货转移过来，第 $i$ 天手上无货第 $\ge 2$ 天可以从第 $i-1$ 天手上无货第 $1$ 天和第 $i-1$ 天手上无货第 $\ge 2$ 天转移过来。考虑状态机的入口就是在第一天且没有冷冻期，那就是 $f[0, 2] $ ，所以初始化的时候将 $f[0, 0] $ 和 $f[0,1]$ 都置为负无穷，将 $f[0,2]$ 置为 $0$ 即可。
$$状态转移=\{\begin{array}{l}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{array}$$

#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;
}

状态压缩模型

1064. 小国王 - AcWing题库

状态表示：$f[i,j,s]$ 放完第 $i$ 行用了 $j$ 个国王且第 $i$ 行的状态是 $s$

思路：我们采取一行一行的放，只要看第 $i$ 行对应第 $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;
}