后效性DP
从一开始学习DP我们就知道,阶段是DP的三大要素之一,也即要想使用DP则需要保证阶段之间无后效性,也即DP的状态图中不能存在环,但是有些问题在我们抽象出状态转移方程后,却发现这道类似动态规划问题的DP题目却不满足无后效性这一基本条件——部分状态之间的转化相互影响,相互转移构成了环形,无法确定出一个何时的DP阶段,从而沿着某个方向递推。
实际上我们可以将动态规划的各个状态看做是未知量,状态转移看做若干个方程,而这若干个方程与未知量的个数相同,那么我们就可以用求解方式的方式求解出各个状态的值,从而避免线性递推。而求解线性方程组的方法就是高斯消元法,所以我们可以将这类DP问题与高斯消元法相结合。
例题
#include<bits/stdc++.h>
using namespace std;
int main(){
int n,m;
scanf("%d %d",&n,&m);
int x,y;
scanf("%d %d",&x,&y);
if(m==1){
printf("%.4f",(double)n-x+1);
return 0;
}
//反向递推,更简单也更容易理解
vector<vector<double>> dp(1001,vector