单调队列

解释

队首为一段区间的极值,可以通过不断地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;