状态机与线性dp的转化（01状态机）

今天在学习单调队列优化的时候发现一个问题，就是发现好像01的状态机问题都可以转化成线性的dp问题，01 状态机代表的状态是选或不选，没有多余的状态，而一般普通的dp所划分的状态即是选或不选，就像背包问题，但是一些线性的dp表示的状态是必选。

灵感来源：

烽火台是重要的军事防御设施，一般建在交通要道或险要处。

一旦有军情发生，则白天用浓烟，晚上有火光传递军情。

在某两个城市之间有 n 座烽火台，每个烽火台发出信号都有一定的代价。

为了使情报准确传递，在连续 m 个烽火台中至少要有一个发出信号。

现在输入 n,m 和每个烽火台的代价，请计算在两城市之间准确传递情报所需花费的总代价最少为多少。

输入格式

第一行是两个整数 n,m，具体含义见题目描述；

第二行 n 个整数表示每个烽火台的代价 ai。

输出格式

输出仅一个整数，表示最小代价。

数据范围

$1\le n,m\le 2\times 10^5$
$0\le ai\le 1000$

输入样例：

5 3
1 2 5 6 2

输出样例：

4

这道题目的话如果表示成01状态机表示方法时，状态表示定义是： 在前i个数中，表示选择或者不选择第i个烽火的耗费最小值。

f[i][0] = min(f[i -k][1]...) $(i-m<k<i)$
f[i][1] = min(min(f[k][0], f[k][1])) +w[i]

我们看到这样很麻烦， 并且有些状态根本不合法
假设f[i][0~1]表示点燃或者不点燃第i个烽火台所花费的最小值，m表示连续 m 个烽火台中至少要有一个发出信号
f[1][0]状态合法的条件是必须选择2 ~ m其中的某些烽火，这样就不满足dp的无后效性，所以不能出现不选的状态（是02告诉我要实践才能找到问题的答案，谢谢！）。

#include <iostream> // ren zhen si kao 

using namespace std;

const int N = 2e5 + 10, INF = 1e9;

int f[N], q[N], w[N];

int main()
{
    int n, m; cin >> n >> m; 
    for (int i = 1; i <= n; i ++) scanf("%d", w + i);
    int tt = 0, hh = 0;
    for (int i = 1; i <= n; i ++)
    {
        if (m < i - q[hh]) hh ++ ;
        f[i] = f[q[hh]] + w[i];
        while (tt >= hh && f[q[tt]] >= f[i] ) tt --;
        q[ ++ tt] = i;
    }
    int res = INF;
    for (int i = n - m + 1; i <= n; i ++)  res = min(res, f[i]);
    cout << res << endl;
    
    return 0;
}