【数据结构】单调数据结构之一：单调队列

最新推荐文章于 2024-11-05 03:09:53 发布

weixin_30851409

最新推荐文章于 2024-11-05 03:09:53 发布

阅读量130

点赞数

文章标签：数据结构与算法

原文链接：http://www.cnblogs.com/blackwhitetony/p/10350496.html

版权

零.前言

很明显的，本题是单调队列的模板题目。

为了方便我（和来赏光的 \(julao\) ）今后复习，写一篇题解。

例题：luogu P1886

壹.简述

单调队列是一种数据结构（~~不知道算不算基础数据结构~~）

它满足一下性质：

单调队列中的数是满足单调递增/递减/或是其他的性质
单调队列中的数的下标是单调递增的（这也是下面的几位 \(julao\) 将单调队列与优先队列混为一谈的错误之处了，优先队列会将下标改变）

贰.对于本题的分析

本题很明显是使用单调队列求窗口中得最大值与最小值得。

什么是窗口呢？

（虽然我只是口胡。。。反正窗口挺好理解的吧，，口胡这么多大家别绕晕了，就是你理解的那个窗口）

窗口是指：在一段序列中，从下标为 \(i\) 到下标为 \(i +　k - 1\) 的下标连续的子序列。其中 \(k\) 为窗口大小。滑动窗口是指 \(i\) 会滑动，也就是递增或递减，从而使得整个子序列的长度不变，但涵盖的数变化了。

形象的讲，就是在一段子序列右端点随着左端点的增大而增大。

叁.对于单调队列的分析

单调队列有两个操作：删头和去尾（这两的名字是来源于）这位 \(julao\) 的博客

(为了方便理解，本题当中的头是指最后进来的数所在的位置，尾为最先进来的数所在的位置)

一去尾

很明显，本题的是有窗口的，也就是说，我们的单调队列中的数的下标，不仅要递增，而且不能过期。
所以每次我们更新队头的时候，都要判断队尾的下标是否过期了。

只要队尾的下标过期，即在以当前更新到的数为头的窗口外，就 \(pop\) 出去。

while (q.back().n <= i - k) q.pop_back(); // i 为当前的队头的下标， k 为窗口大小

(本题的单调队列用结构体来写的，结构体中的 \(m\) 代表值， \(n\) 代表下标)

二删头

对于序列当中的每一个数都会更新一次。刚刚的去尾是维护单调队列下标的性质，现在我们来维护一下单调队列的递增性。

定义队头的数为 \(x\)，更新到的数为 \(y\)

我们要维护一个单调递增的队列，也就是说对于队列中的所有数，下标比它大的值也比它大。

我们要维护一个窗口中最小值，要用单调递增的队列，因为队尾是最小的值。

第一种情况： \(y > x\)

那就直接放入，因为这样不破坏数的单调性，放入这个数后队列依然是递增的

第二种情况： \(y < x\)

首先肯定不能直接放入，因为放入后单调性就会被破坏。
首先，这个数比当前队头的数的下标要大，值却比它小。
所以在 $x$ 的有生之年内，都不可能是窗口最小(或满足所求)的。
因为我们已经更新到了 $y$，所以只要包括 $x$ 的窗口一定包括了 $y$，而且 $x > y$，所以一直到 $x$ 过期，他都不可能是最小的数。
也就是说，一个数比你晚进来（下标比你大）还比你更满足我们要求的数的性质，那你就打不过他了。
打不过怎么办，直接pop掉啊（好残忍）

上代码

while (!q.empty() && a[i].m <= q.front().m) q.pop_front(); // a为给出的序列，m和n的意义如上

所以经过我们刚才的分析，单调队列的通用模板如下：

while (!q.empty() && a[i].m 更符合所求的要求 q.front().m) q.pop_front();
q.push_front(a[i]); // 现在的队头打得过更新到的数了
while (q.back().n <= i - k) q.pop_back();
printf("%d", q.back().m); // 队尾的是当前最符合要求的数，为什么呢？看下面

三性质

刚才的两个操作分析完了，我们来分析一下那个是最符合性质的数。

每一个数都比后一个数更符合性质

所以就是第一个数了。

四完整代码

#include <bits/stdc++.h>
using namespace std;
const int maxn = 1e6 + 10;
int all, k;
struct node { int n, m; }a[maxn];
deque<node> q;
void BIG(int all, int k) {
    for (int i = 1; i <= all; ++i) {
        while (!q.empty() && a[i].m >= q.front().m )q.pop_front(); // 求最小的
        q.push_front(a[i]);
        while (q.back().n <= i - k) q.pop_back();
        if (i >= k) printf("%d ", q.back().m);
    }
    q.clear();
}
void LOW(int all, int k) {
    for (int i = 1; i <= all; ++i) {
        while (!q.empty() && a[i].m <= q.front().m) q.pop_front(); // 求最大的
        q.push_front(a[i]);
        while (q.back().n <= i - k) q.pop_back();
        if (i >= k) printf("%d ", q.back().m);
    }
    q.clear();
}
int main() {
    scanf("%d %d", &all, &k);
    for (int i = 1; i <= all; ++i) scanf("%d", &a[i].m), a[i].n = i;
    LOW(all, k);
    puts("");
    BIG(all, k);
    return 0;
}

~~代码部分参考了楼下 \(julao\) 的代码，有点抄题解的嫌疑~~

~~（题解的事情，能叫抄题解吗）~~