性质1:单调性
队列中的元素必须满足单调性。如果要求区间最大值,则队列单调递减;否则队列单调递增。即:队首就是要求的元素。
性质2:有序性
事实上,元素在原序列中的相对位置和在队列中的相对位置不变。
代码
一个递增(求最小值)的单调队列:
int head = 1, tail = 0;
for(int i = 1; i <= n; ++i)
{
while(tail >= head && q[tail] >= a[i]) --tail;
q[++tail] = a[i];
p[tail] = i;
while(p[head] <= i - k) ++head;
}
我们可以看出:
- 每个a[i]必须被加入队列
队列中存放的元素是有潜在可能性称为某个i的解的元素。之所以加入一个元素时会把比它更大的元素都pop出去,是因为它们再也无法成为最小值。同时,单调性使得队列的head一定是最小值。
然后讨论while(p[head] <= i - k) ++head。这句话成立的原因是任何有潜在可能性成为最小值的元素都在队列里。事实上,我们只是pop出去了所有不可能的元素,因此任何可能的元素都在队列里。