单调队列

解释

队首为一段区间的极值,可以通过不断地push来更新以push进去的数为末尾长度为k的最小值.

实现方法

加入元素时,区间也在不断地向右移动,故若队首的位置小于区间的左端点,去掉队首.
若当加入元素小于等于队尾时(取区间最小值时),去掉队尾,因为加入元素比队尾小,且位置更靠后,后面还会有利用的机会,而队尾左边的区间极值已经处理完毕,剩下的利用机会都和加入元素在一起,故去掉它毫无影响.

如果加入元素和队首比较,而非对尾,则会导致队尾一些元素未被删除,当队首一个个被pop掉后,将出现问题.

在实际应用中,队首尾的pop的条件将随着题目的改变而改变.

代码

struct Dq{    int num[N],id[N],k,beg,end;    void init()    {        beg=1;        end=0;    }    void push(int u,int v)    {        if(id[beg]<=v-k) beg++;        while(end>=beg&&u<=num[end]) end--;        end++;        num[end]=u;        id[end]=v;    }    int mn()    {        return num[beg];    }    void getk(int u)    {        k=u;    }}dq;