本题难点在正确性证明。

令 \(f_i\) 表示 \([1,i]\) 被全部覆盖的最小花费。答案为 \(f_m\)。

首先发现,添加一个区间 \([0,0]\) 不会影响答案。所以 \(f_i\) 的初值可以设为 \(i\)。(这个很重要,没了就不对了!)

转移,如果 \(i\) 已经被某个初始区间完全覆盖了,那么可以从 \(f_{i-1}\) 转移来。

然后枚举每个区间,如果区间的右端点在 \(i\) 左边,计算把这个区间扩张到能恰好覆盖到 \(i\) 后的左端点。也就是从 \(f_{\max(0,l[j]-(i-r[j]))}+i-r[j]\) 转移来。

记下每个区间被扩张成什么样会炸状态,所以直接从初始的区间开始扩张。

时间复杂度 \(O(nm)\)。

开始证明正确性。

首先证明只用考虑被左边的区间覆盖,不需要考虑右边的。

其实被右边的区间覆盖也被考虑过了,不过转移的时候就直接跳过了这些点(在这个被扩张后的区间中)。所以不用管。

接下来证明直接从初始的区间开始扩张就是最优解。

如果需要在被扩张的区间的基础上继续扩张,说明这次扩张到的点 \(i\) 一定在上次扩张到的点 \(j\) 的右边,扩张到 \(i\) 后的区间的左端点一定跳过了 \(j\)。而我们最后要用到的是 \(i\) 的状态(因为需要继续扩张),所以中间这第一次扩张是没有必要的。

所以这种情况不可能发生。

接下来证明恰好扩张到能覆盖 \(i\) 就是最优解,也就是最优解不需要扩张到覆盖超过 \(i\) 一点点。

如果需要扩张更多,一定是因为可以覆盖左边的更多点,让左边的区间更短(不然覆盖到超过 \(i\) 的位置在 \(f_i\) 是完全没有必要的)。

但是由于添加了区间 \([0,0]\)(没错,它的作用就在这),一定有 \(f_{i+1}\le f_i+1\)(因为覆盖到 \(i\) 的区间可以再扩展一格)。

所以跳过区间后的转移点应该是越右越好。也就是不需要扩展到 \(i\) 右边。

于是这个就是对的了。

  1. #include<bits/stdc++.h>
  2. using namespace std;
  3. typedef long long ll;
  4. typedef pair<int,int> PII;
  5. const int maxn=100010;
  6. #define MP make_pair
  7. #define PB push_back
  8. #define lson o<<1,l,mid
  9. #define rson o<<1|1,mid+1,r
  10. #define FOR(i,a,b) for(int i=(a);i<=(b);i++)
  11. #define ROF(i,a,b) for(int i=(a);i>=(b);i--)
  12. #define MEM(x,v) memset(x,v,sizeof(x))
  13. inline ll read(){
  14. char ch=getchar();ll x=0,f=0;
  15. while(ch<'0' || ch>'9') f|=ch=='-',ch=getchar();
  16. while(ch>='0' && ch<='9') x=x*10+ch-'0',ch=getchar();
  17. return f?-x:x;
  18. }
  19. int n,m,x[maxn],s[maxn],f[maxn];
  20. int main(){
  21. n=read();m=read();
  22. FOR(i,1,n) x[i]=read(),s[i]=read();
  23. f[0]=0;
  24. FOR(i,1,m){
  25. f[i]=i;
  26. bool flag=false;
  27. FOR(j,1,n) if(x[j]+s[j]>=i && x[j]-s[j]<=i) flag=true;
  28. if(flag) f[i]=f[i-1];
  29. FOR(j,1,n) if(x[j]+s[j]<i) f[i]=min(f[i],f[max(0,2*x[j]-i-1)]+i-(x[j]+s[j]));
  30. }
  31. printf("%d\n",f[m]);
  32. }

CF1253E Antenna Coverage(DP)的更多相关文章

  1. E. Antenna Coverage (dp)

    传送门 题意: 在一个一维坐标上,有 n 个东西, 每个东西, 用 xi, si 表示 这个东西在 xi 位置上, 它能覆盖到的区间为 [ xi - si, xi + si ]: 然后, 你可以对任意 ...

  2. LightOJ 1033 Generating Palindromes(dp)

    LightOJ 1033  Generating Palindromes(dp) 题目链接:http://acm.hust.edu.cn/vjudge/contest/view.action?cid= ...

  3. lightOJ 1047 Neighbor House (DP)

    lightOJ 1047   Neighbor House (DP) 题目链接:http://acm.hust.edu.cn/vjudge/contest/view.action?cid=87730# ...

  4. UVA11125 - Arrange Some Marbles(dp)

    UVA11125 - Arrange Some Marbles(dp) option=com_onlinejudge&Itemid=8&category=24&page=sho ...

  5. 【POJ 3071】 Football(DP)

    [POJ 3071] Football(DP) Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 4350   Accepted ...

  6. 初探动态规划(DP)

    学习qzz的命名,来写一篇关于动态规划(dp)的入门博客. 动态规划应该算是一个入门oier的坑,动态规划的抽象即神奇之处,让很多萌新 萌比. 写这篇博客的目标,就是想要用一些容易理解的方式,讲解入门 ...

  7. Python项目在Jenkins中的自动化测试实践(语法检查、单元测试,coverage(代码覆盖率)、自动打包)

    原始链接:http://blog.csdn.net/a464057216/article/details/52934077 requirments OS: Ubuntu 14.04+ Gitlab 8 ...

  8. Tour(dp)

    Tour(dp) 给定平面上n(n<=1000)个点的坐标(按照x递增的顺序),各点x坐标不同,且均为正整数.请设计一条路线,从最左边的点出发,走到最右边的点后再返回,要求除了最左点和最右点之外 ...

  9. 2017百度之星资格赛 1003:度度熊与邪恶大魔王(DP)

    .navbar-nav > li.active > a { background-image: none; background-color: #058; } .navbar-invers ...

随机推荐

  1. STM32-24位AD7799驱动之手册代码详解,支持模拟SPI和硬件SPI

    1.AD7799介绍 AD7799结构图如下所示: 其中REFIN参考电压建议为2.5V, REFIN电压低于0.1V时,则差分输入ad值就无法检测了,如下图所示: 注意: 如果REG_CONFIG的 ...

  2. Mac中 pip3 install mysqlclient 报错

    主要错误提示如下: ld: library not found for -lssl clang: error: linker command failed with exit code 1 (use ...

  3. 《Web Development with Go》Mangodb插入map,slice,Embedded Documents

    这几个好理解, 更好的实现,再说. package main import ( "fmt" "log" "time" "gopkg ...

  4. python大作业二

    一.存入csv 上次爬取到了所需要的内容,但是没有存入到csv中,这次存入了csv文件中,代码如下: import requests from bs4 import BeautifulSoup imp ...

  5. 《工作笔记:移动web页面前端开发总结》

    工作笔记:移动web页面前端开发总结 移动web在当今的发展速度是一日千里,作为移动领域的门外汉,在这段时间的接触后,发现前端开发这一块做一个小小的总结. 1.四大浏览器内核 1.Trident (I ...

  6. ASP.NET Core on K8S深入学习(6)Health Check

    本篇已加入<.NET Core on K8S学习实践系列文章索引>,可以点击查看更多容器化技术相关系列文章. 一.关于K8S中的Health Check 所谓Health Check,就是 ...

  7. swoole视频直播

    $serv=new swoole_websocket_server("0.0.0.0",9501);$client=array();$serv->on("open& ...

  8. 几种常见的css布局_l流体布局、圣杯布局、双飞翼布局

    1.流体布局: <!DOCTYPE html><html> <head> <meta charset="utf-8"> <ti ...

  9. 云数据库MongoDB版清理oplog日志和compact命令详解

    1.问题描述: 今天看到公司mongodb的oplog有点大,看到云数据库MongoDB版日志清理策略. MongoDB数据库在长期频繁地删除/写入数据或批量删除了大量数据,将产生很多物理空间碎片. ...

  10. LeetCode 652: 寻找重复的子树 Find Duplicate Subtrees

    LeetCode 652: 寻找重复的子树 Find Duplicate Subtrees 题目: 给定一棵二叉树,返回所有重复的子树.对于同一类的重复子树,你只需要返回其中任意一棵的根结点即可. 两 ...