题目

题目描述

某国为了防御敌国的导弹袭击,发展出一种导弹拦截系统。但是这种导弹拦截系统有一个缺陷:虽然它的第一发炮弹能够到达任意的高度,但是以后每一发炮弹都不能高于前一发的高度。某天,雷达捕捉到敌国的导弹来袭。由于该系统还在试用阶段,所以只有一套系统,因此有可能不能拦截所有的导弹。

输入导弹依次飞来的高度(雷达给出的高度数据是\(\le 50000\)的正整数),计算这套系统最多能拦截多少导弹,如果要拦截所有导弹最少要配备多少套这种导弹拦截系统。

输入格式

\(1\)行,若干个整数(个数\(\le 100000\))

输出格式

\(2\)行,每行一个整数,第一个数字表示这套系统最多能拦截多少导弹,第二个数字表示如果要拦截所有导弹最少要配备多少套这种导弹拦截系统。

算法分析

我们先看一个例子。

例子

输入数据

10
0 192 100 91 149 146 159 137 17 188

定义三个变量

opt[i]:表示长度为i的不升序列的末位数字最大为opt[i]

opt_n:当前最长不升序列的长度

f[i]:动态规划计算,以第i个导弹结尾的最长不升序列的长度为f[i]

定义一个函数

int s(int i):二分查找最大的k使得opt[k]>=h[i]

初始值

memset(opt,0,sizeof(opt));
opt[1]=h[1];f[1]=1;

状态转移方程

\(f[i]=k+1,k=max\{k\mid opt[k]\ge h[i]\}\)

如果\(\{k\mid opt[k]\ge h[i]\}=\varnothing\)则\(k=0\)

遍历

代码

for(int i=2;i<=n;++i){
k=s(i);f[i]=k+1; //求最大的k使得opt[k]>=h[i],则f[i]=k+1
if(f[i]<=opt_n){ //如果f[i]不超过opt_n,则考虑更新opt[f[i]]
if(opt[f[i]]<h[i]) opt[f[i]]=h[i];
}else opt_n++,opt[opt_n]=h[i];
}

手算理解(建议先看总结,看不懂再看这里):

  1. i=2,h[i]=192,没有1<=k<=n使得opt[k]>192,那么k=s(i)=0f[i]=0+1=1

    此时f[i]>opt_n=0,即 当前方案长度 超过了 opt中已知的最长序列的长度,则需要更新opt(发现了更长的不升序列,补到opt中)。

    opt_n++; //opt_n=1
    opt[opt_n]=h[i] //opt[1]=192
  2. i=3,h[i]=100,存在最大的k=1使得opt[k]=192>100,那么f[i]=k+1=2

    此时f[i]>opt_n,更新opt

    opt_n++; //opt_n=2
    opt[opt_n]=h[i] //opt[2]=100
  3. i=4,h[i]=91,存在最大的k=2使得opt[k]=100>91,那么f[i]=k+1=3

    此时f[i]>opt_n,更新opt

    opt_n++; //opt_n=3
    opt[opt_n]=h[i] //opt[3]=91
  4. i=5,h[i]=149,存在最大的k=1使得opt[k]=192>149,那么f[i]=1+1=2

    此时f[i]<opt_n,即 当前序列长度 小于 opt中已知的最长序列的长度;也就是说,前面已经有过长度相同的不升序列。

    需要判断此时h[i]是否大于opt[f[i]],因为opt要存最大的末位数字。

    if(opt[f[i]]<h[i]) //opt[f[i]]=opt[2]=100<149
    opt[f[i]]=h[i]; //opt[2]=149

依此类推,之后的操作直接给出:

i=6,f[i]=3
opt[1]=192|opt[2]=149|opt[3]=146|opt[4]= 0|opt[5]= 0|opt[6]= 0| i=7,f[i]=2
opt[1]=192|opt[2]=159|opt[3]=146|opt[4]= 0|opt[5]= 0|opt[6]= 0| i=8,f[i]=4
opt[1]=192|opt[2]=159|opt[3]=146|opt[4]=137|opt[5]= 0|opt[6]= 0| i=9,f[i]=5
opt[1]=192|opt[2]=159|opt[3]=146|opt[4]=137|opt[5]= 17|opt[6]= 0| i=10,f[i]=2
opt[1]=192|opt[2]=188|opt[3]=146|opt[4]=137|opt[5]= 17|opt[6]= 0|

总结

而对于同长度的序列,要判断h[i]是否能够接在其后,当然只要判断这些序列中最大的末位数字是否比h[i]大。大了就一定可以,小了就一定不可以。所以opt[i]存的是长度为i的不升序列的末位最大数字

于是,计算f[i]只要在k=1..i-1中找满足opt[k]>=h[i]尽可能大的k,接在其后,新的序列长度就为k+1

opt数组是递减的(反证法:因为每个时刻opt[i]都存长度为i的不升序列的末位最大数字,若i<jopt[i]<opt[j],那么为什么opt[i]的值不能为opt[j]这个序列中的第i个元素呢?),所以可以用二分查找最大的k。

在上面这些操作后,时间复杂度就顺利地降成了O(nlogn)。(´▽` )

附:完整代码

#include<cstdio>
#define reg register
using namespace std;
int n,h[100001],f[100001],opt[100001],opt_n;
int s(int i){
//二分查找最大的k使得opt[k]>=h[i]
int l=1,r=n,m;
while(l<=r){
m=(l+r)/2;
if(opt[m]>=h[i]){
if(m+1<=r && opt[m+1]>=h[i])
l=m+1;
else return m;
}else r=m-1;
}
return 0;
}
void dp(){
//opt[i]:长度是i的最长不升子序列所有子串中末尾最大的那个数,
//根据这个数字,我们可以容易知道,
//只要当前考察的这个数比opt[i]小,那么当前这个数一定能通过opt[i]构成一个长度为i+1的下降子序列。
int k;
opt_n=1;
opt[1]=h[1];f[1]=1;
for(reg int i=2;i<=n;++i){
k=s(i);f[i]=k+1; //求最大的k使得opt[k]>=h[i],则f[i]=k+1
if(f[i]<=opt_n){ //如果f[i]不超过opt_n,则考虑更新opt[f[i]]
if(opt[f[i]]<h[i]) opt[f[i]]=h[i];
}else opt_n++,opt[opt_n]=h[i];
/*--debug--
printf("\n\ni=%d,f[i]=%d\n",i,f[i]);
for(reg int x=1;x<=6;++x)printf("opt[%d]=%3d|",x,opt[x]);
*/
}
}
int main(){
scanf("%d",&n);
for(reg int i=1;i<=n;++i)scanf("%d",&h[i]);
dp();
printf("%d",opt_n);
}

最新文章

  1. CornerStone的使用
  2. 学习微信小程序之css7
  3. 8.Fluent API in Code-First【Code-First系列】
  4. Autodesk的照片建模云服务—Autodesk ReCap 360 photo 的测试数据
  5. 关于jQuery新的事件绑定机制on()的使用技巧
  6. phalcon: Windows 下 Phalcon dev-tools 配置 和 Phpstorm中配置Phalcon 代码提示, phalcon tools的使用
  7. CDN的原理及对SEO的影响
  8. HDOJ1021题 Fibonacci Again 应用求模公式
  9. Centroid - SGU 134(树的搜索)
  10. HTML之学习笔记(六)添加链接
  11. oracle 常用sql语句
  12. STM32F103X 开发环境搭建
  13. js中的||与&amp;&amp;用法
  14. shopxx------list列表回显修改尝试
  15. python判断类型:想知道一个对象(实例或者变量)是什么类型,什么结构的
  16. mac上修改host
  17. 外部python脚本调用django 手动清理session
  18. string method and regular expresions
  19. C# ZipHelper C#公共类 -- ICSharpCode.SharpZipLib.dll实现压缩和解压
  20. 基于DobboX的SOA服务集群搭建

热门文章

  1. myBatis框架_关于怎么获得多表查询的总记录数
  2. hadoop伪分布环境快速搭建
  3. js中级小知识1
  4. 1 创建一个存储过程,以及对存储过程的调用 MySQL
  5. Flv视频格式如何转换成MP4格式
  6. css学习_css浮动
  7. sql中join与left-join图解区别
  8. 转:WKT、SRID、EPSG概念
  9. 图像分类(一)GoogLenet Inception_V1:Going deeper with convolutions
  10. ext 的loadmask 与ajax的同步请求水火不容