四边形不等式

区间dp问题,状态转移方程:

dp[i][j] = min( dp[i][k] + dp[k+1][j] +w[i][j] ) //w[i][j]是从i到j的,一个定值 不随k改变,而且w的值只和i j有关,是它们的二元函数。

其中i<=k<=j ,初始值dp[i][i]已知。

含义:

dp[i][j]是状态i到j的最小花费。

dp[i][k] + dp[k+1][j]体现递推关系,k在i和j之间滑动,k有一个最优值使dp最小。

w[i][j]的性质很重要!w[i][j]是和题目有关的费用,如果满足四边形不等式和单调性,那么用DP计算dp时,就可以用四边形不等式进行优化。

看w函数,

单调性:【如果大区间包含小区间,那么大区间的w值也大于】

四边形不等式:

i,i',j,j' w[i,j]+w[i',j']<=w[i,j']+w[i',j] 交叉区间的和<=大区间和小区间的和

如果w满足单调性和四边形不等式的话,dp也满足。

dp[i][j]的最优分割点记为s[i][j],那么 s[i][j-1] <= s[i][j] <=s[i+1][j]

打表观察是否满足:

复制代码
#include<cstdio>
#include<iostream>
#include<cstring>
#include<vector>
#include<algorithm>
#include<map>
#include<cmath>
#include<queue>
using namespace std;
int w(int i,int j)
{
	//具体问题具体分析 
} 
int main()
{
	bool flag=true;
	//验证单调性 
	for(int l=1;l<=n;l++)
	for(int r=l+2;r<=n;r++)
	for(int i=l;i<=r;i++)
	for(int j=i;j<=r;j++)
		if(w(i,j)>w(l,r)) flag=false;
	//验证四边形不等式 
	for(int l=1;l<=n;l++)
	for(int r=l+2;r<=n;r++)
		if(w(l,r-1)+w(l+1,r)>w(l,r)+w(l+1,r-1)) flag=false;
	if(flag) //符合单调性以及四边形不等式
	else   //不符合单调性以及四边形不等式
	return 0; 
} 
相关推荐
阿巴~阿巴~17 小时前
IPv4地址转换函数详解及C++容器安全删除操作指南
linux·服务器·c++·网络协议·算法·c++容器安全删除操作·ipv4地址转换函数
TT哇17 小时前
【面经 每日一题】面试题16.25.LRU缓存(medium)
java·算法·缓存·面试
SKYDROID云卓小助手17 小时前
无人设备遥控器之差分信号抗干扰技术
网络·stm32·单片机·嵌入式硬件·算法
美狐美颜SDK开放平台17 小时前
什么是美颜sdk?美型功能开发与用户体验优化实战
人工智能·算法·ux·直播美颜sdk·第三方美颜sdk·视频美颜sdk
@宁兰18 小时前
算法实现总结 - C/C++
c语言·c++·算法
Doro再努力18 小时前
2025_11_14洛谷【入门1】数据结构刷题小结
前端·数据结构·算法
蒙奇D索大18 小时前
【算法】回溯算法精讲:从深度优先搜索到剪枝优化
经验分享·笔记·算法·深度优先·剪枝·改行学it
QTreeY12318 小时前
yolov5/8/9/10/11/12/13+deep-oc-sort算法的目标跟踪实现
人工智能·算法·yolo·目标检测·计算机视觉·目标跟踪
_OP_CHEN18 小时前
算法基础篇:(六)基础算法之双指针 —— 从暴力到高效的优化艺术
c++·算法·acm·优化算法·双指针·oj题·算法蓝桥杯
cs麦子18 小时前
C语言--详解--指针--下
c语言·数据结构·算法