DAG上DP的思想

在下最近刷了几道DAG图上dp的题目。
要提到的第一道是NOIP原题《最优贸易》。这是一个缩点后带点权的DAG上dp,它同时规定了起点和终点。
第二道是洛谷上的NOI导刊题目《最长路》,一个裸的DAG上dp,也同时规定了起点和终点。

这是为什么?

我想了一下。首先spfa跑最长路,它得保证是一张DAG。否则你可以在一个正权环上无限的松弛下去。
其次考虑一下最长路的DAG拓扑序dp做法。
是不是一个点,能够更新它的状态的点的状态全部被确定了,它的状态才能够被确定?
然而SPFA并不是这么做的。因为类似BFS过程的缘故,可能一条路径已经早就更新了这个点的状态,而另一条能松弛它的路径还没能更新它的点状态。
这样子得到的结果会是错误的吗?并不会。 SPFA有效的避免了错解情况的发生。

随后,路径B跟上来了。它更新了b的状态,b随后再次被放入处理队列中,依次而来的,b->c上面的点一个个地再次重新入队,再次被更新状态。

因此,使用SPFA进行类似最长路的DAG上dp时,每个点的最终状态跟拓扑序dp一样,会是最优的。这就是为什么SPFA能跑DAGdp的原因。
什么时候使用SPFA跑DAG会更好呢?确定了起点和终点的状况下。 如我原先所用的方法,我做了两遍FloodFill,又删了一遍点,还要作各种判断,才能避免其它点对拓扑序dp的干扰。但是使用SPFA,从起点开始松弛,直接松弛到终点的最优状态,它有效的兼顾了DAGdp所应该得到的最优状态,而又避免了拓扑序更新状态的条件之一——入度必须为0.因为这么做,显然会受到其它多余点(起点不能到的点/不能到终点的点)的干扰。
两者的复杂度如何呢?如果不考虑起点和终点的条件,拓扑序肯定更优。但如果考虑起点和终点的条件,综合考虑代码复杂度和时间复杂度,我觉得我应该会写SPFA。

一、 嵌套矩形

第一个DAG模型:矩形嵌套问题
描述
有n个矩形,每个矩形可以用a,b来描述,表示长和宽。
矩形X(a,b)可以嵌套在矩形Y(c,d)中当且仅当a<c,b<d或者b<c,a<d(相当于旋转X90度)。
例如(1,5)可以嵌套在(6,2)内,但不能嵌套在(3,4)中。
你的任务是选出尽可能多的矩形排成一行,使得除最后一个外,每一个矩形都可以嵌套在下一个矩形内。

【分析】

矩形间的“可嵌套”关系是一个典型的二元关系,二元关系可以用图来建模。如果矩形X可以嵌套在Y中,则就从X到Y连一条有向边。这个图是无环的,因为一个矩形无法直接或或间接的嵌套在自己的内部。也即是说这是以一个DAG。

因此,我们就是在求DAG上的最长路径。

【问题】

这个是一个没有确定的路径起点和终点(可以把任意的矩形放在任何位置)的DAG问题。

如何求解,仿照上次的数字三角形(数塔)问题的求解,可以设d(i)表示从节点i出发的最长路的长度,如何写出状态转移方程呢?第一步只能走到他的相邻的节点,因此:

d(i)= max { d(j)+1 | i, j ∈E }

其中,E为边集。最终答案是所有的d(i)中的最大值。因此可以用递推或者记忆化搜索计算。

d(i)= max { d(j)+1 | i, j ∈E }

二、解决步骤

第一步,建图。

假如用邻接矩阵将矩形间的关系保存在矩阵G中。

)。

第三步,按字典序输出最佳的方案

输入

测试数据的第一行是一个正正数n,表示该组测试数据中含有矩形的个数(n<=1000)

随后的n行,每行有两个数a,b(0<a,b<100),表示矩形的长和宽

输出

每组测试数据都输出一个数,表示最多符合条件的矩形数目,每组输出占一行

*/

/****************************************************************************/

// 思路:先对长和宽来此排序,再按照要求构图,

// 完成之后,直接记忆化搜索,值得注意的地方是你不能只从第一个点搜索,而是要从每个点搜索

#include<stdio.h>

#include<string.h>

#define MAXN 101

int n, G[MAXN][MAXN];     // 图的存储

int x[MAXN], y[MAXN], d[MAXN];  // 节点

//记忆化搜索来完成的动态转移

int dp(int i)

{

int j;

if(d[i] > 0)

return d[i];  // 如果已经计算过,直接返回其值

d[i] = 1;         // 否则,置一,递推计算

for(j = 1; j <= n; j++)

if(G[i][j])   // 如果图存在,即是满足可嵌套

if(d[i] <=dp(j)+1)     // 如果存在可嵌套的节点d(j)加一后其值大于d(i)

d[i]=dp(j)+1;      // 则使d[i]更新

return d[i];       // 返回d[i]

}

//按字典序只输出排序最小的序列

/*

此部分的原理:字典序只是消除并列名次的方法,我们最根本的任务还是求出最长路

在把所有的d值计算出来后,选择最大的d[i]所对应的i。而如果有多个i,则选择最小的i,这样保证字典序最小。

接下来选择d(i) = d(j) +1 且i, j ∈E 的任何一个j,但是为满足字典序最小,需选择最小的j

*/

void print_ans(int i)

{

int j;

printf("%d ", i);    // 第一次i代表最长路的起点节点,以后均代表从该节点开始的路径

for(j = 1; j <= n; j++)

if(G[i][j] && d[i] == d[j]+1)  // 如果该图满足可嵌套,且d[i] = d[j] +1

{

print_ans(j);           // 立即输出从节点j开始的路径

break;

}

}

int main()

{

int i, j, t, ans, best;

scanf("%d", &n);            // n表示矩形的数目

// 初始化矩形长宽参数,并初次调整长宽顺序

for(i = 1; i <= n; i++)

{

scanf("%d%d", &x[i], &y[i]);     // 依次输入矩形的边长信息

if(x[i] > y[i])

{

t = x[i]; x[i] = y[i]; y[i] = t;   // 保证X[]存的是长,Y[]存的是宽

}

}

memset(G, 0, sizeof(G));  // 数组清零

for(i = 1; i <= n; i++)           // 建图

for(j = 1; j <= n; j++)

if(x[i] < x[j] && y[i] < y[j]) G[i][j] = 1;  // 如果第i个矩形的长宽均小于第j个,使图相应的值为1

ans = 0;

for(i = 1; i <= n; i++)      // 依次递推所有的的节点

if(dp(i) > ans)

{

best = i;       // best 是最小字典序

ans = dp(i);

}

printf("ans=%d\n", ans);   // 表示最长路长度

print_ans(best);

printf("\n");

while(1);

return 0 ;

}

DAG上dp思想的更多相关文章

  1. [正经分析] DAG上dp两种做法的区别——拓扑序与SPFA

    在下最近刷了几道DAG图上dp的题目. 要提到的第一道是NOIP原题<最优贸易>.这是一个缩点后带点权的DAG上dp,它同时规定了起点和终点. 第二道是洛谷上的NOI导刊题目<最长路 ...

  2. bzoj1093: [ZJOI2007]最大半连通子图 scc缩点+dag上dp

    一个有向图G=(V,E)称为半连通的(Semi-Connected),如果满足:?u,v∈V,满足u→v或v→u,即对于图中任意两点u,v,存在一条u到v的有向路径或者从v到u的有向路径.若G'=(V ...

  3. [CF225C] Barcode (简单DAG上dp)

    题目链接:http://codeforces.com/problemset/problem/225/C 题目大意:给你一个矩阵,矩阵中只有#和.两种符号.现在我们希望能够得到一个新的矩阵,新的矩阵满足 ...

  4. BZOJ5017 [Snoi2017]炸弹[线段树优化建边+scc缩点+DAG上DP/线性递推]

    方法一: 朴素思路:果断建图,每次二分出一个区间然后要向这个区间每个点连有向边,然后一个环的话是可以互相引爆的,缩点之后就是一个DAG,求每个点出发有多少可达点. 然后注意两个问题: 上述建边显然$n ...

  5. EOJ Monthly 2019.2 E 中位数 (二分+中位数+dag上dp)

    题意: 一张由 n 个点,m 条边构成的有向无环图.每个点有点权 Ai.QQ 小方想知道所有起点为 1 ,终点为 n 的路径中最大的中位数是多少. 一条路径的中位数指的是:一条路径有 n 个点,将这  ...

  6. bzoj1179: [Apio2009]Atm scc缩点+dag上dp

    先把强连通缩点,然后变成了dag,dp求终点是酒吧的最长路即可, /************************************************************** Pro ...

  7. 【模板】缩点(tarjan,DAG上DP)

    题目背景 缩点+DP 题目描述 给定一个n个点m条边有向图,每个点有一个权值,求一条路径,使路径经过的点权值之和最大.你只需要求出这个权值和. 允许多次经过一条边或者一个点,但是,重复经过的点,权值只 ...

  8. UVA 437 巴比伦塔 【DAG上DP/LIS变形】

    [链接]:https://cn.vjudge.net/problem/UVA-437 [题意]:给你n个立方体,让你以长宽为底,一个个搭起来(下面的立方体的长和宽必须大于上面的长和宽)求能得到的最长高 ...

  9. uva 437 巴比伦塔(DAG上dp)

    巴比伦塔 紫书P269 看完紫书,终于可以自己写一个dp了 :) [题目链接]巴比伦塔 [题目类型]DAG上dp &题意: 有n种立方体 n<=30,每种有无穷个,要求选一些立方体摞成一 ...

随机推荐

  1. 解决Myeclipse报PermGen space异常的问题

    最近使用eclipse做开发,使用的服务器是tomcat,但在启动时报了Caused by: java.lang.OutOfMemoryError: PermGen space的异常. 这个错误很常见 ...

  2. 最简单的docker教程:在docker里运行nginx服务器

    命令行docker search nginx搜索名为nginx的docker image,返回结果的第一个,github上有10293个star,这就是我们想要搜索的结果: 使用命令docker pu ...

  3. [转]Ubuntu 配置 Android 开发 环境

    转自:http://blog.csdn.net/shulianghan/article/details/20855541 1. 安装 Android Studio (1) 下载Android Stud ...

  4. Jupyter notebook 的一个问题

    Traceback (most recent call last): File , in get value = obj._trait_values[self.name] KeyError: 'all ...

  5. 可持久化线段树(主席树)快速简洁教程 图文并茂 保证学会。kth number例题

    如果学不会也不要打我. 假设你会线段树 开始! --- 主席树也叫可持久化线段树 顾名思义,它能够保存线段树在每个时刻的版本. 什么叫每个时刻的版本?你可能对一棵普通线段树进行各种修改,这每种样子就是 ...

  6. POJ 2155 Matrix【二维树状数组+YY(区间计数)】

    题目链接:http://poj.org/problem?id=2155 Matrix Time Limit: 3000MS   Memory Limit: 65536K Total Submissio ...

  7. Win7下运行VC程序UAC权限问题 VC2010设置UAC权限方法

    https://msdn.microsoft.com/en-us/library/bb756929.aspx 我使用的是VS2010,设为连接器清单文件的uac执行级别 直接项目右键---属性---配 ...

  8. Ueditor上传图片到本地改造到上传图片到七牛云存储

    作为新手说多了都是泪啊!我特别想记录一下作为菜鸟时的坑.看看以后是否会看着笑出来. 为什么要改到云存储上就不说了.好处多多. 视频教程上使用的又拍云同时也提到了七牛云.下来我自己也查了下.又拍云是试用 ...

  9. AngularJS 三 控制器和事件

    AngularJS控制器: ngularJS中的控制器是一个使用 $ scope 对象维护应用程序数据和行为的JavaScript函数. 您可以将属性和方法附加到控制器函数内的 $ scope  对象 ...

  10. GPU卡掉卡

    这几天用GPU卡跑东西,老是提示opencv的一个问题.但是我换个数据跑就没问题.说明代码是没问题的.发挥我作为女人的特质,从起试试吧.结果从起后找不到GPU卡了.nvidia-smi提示我没有安装最 ...