基于线段树的RMQ结构

dat[]为储存线段树的全局数组

const int MAX_N=1<<17;

int n,dat[2*MAX_N-1];

//初始化
void init(int n_)
{
    n=1;
    while(n<n_) n*=2;//为了方便起见，将n扩展到2的幂次个
    for(int i=0;i<2*n-1;++i)  dat[i]=MAX_N;
}

//把第k个值更新为a
void updata(int k,int a)
{
    k+=n-1;
    dat[k]=a;
    while(k)
    {
        k=(k-1)/2;
        dat[k]=min(dat[2*k+1],dat[2*k+2]);
    }
}

//求[a,b)的最小值
//k是节点的编号，l,r表示的是这个节点维护的区间[l,r)
//外部调用：query(a,b,0,0,n);
/*
  此函数的意图在于不断寻找正确的区间，然后不断比较最小值
  当[l,r)被[a,b)包含直接返回dat[k]并不是说这就是答案
  而是这是正确区间中的一个最小值
  如果说[l,r)只是[a,b)的一个真子集，那么程序一定会继续寻找其他在区间[a,b)内的最小值
  能取的区间的最小单位是1，所以只要[a,b)合理，就必能完整走完[a,b)
  或者可以理解为，每个返回的有意义的（即返回的是dat[]），他们的区间最终组合起来，就是[a,b)
  所以也就是我们将所有在[a,b)内的一个或好几个[l,r)的最小值去一一比较，那么求出来的就是[a,b)的最小值
*/
int query(int a,int b,int k,int l,int r)
{
    if(r<=a||b<=l) return INT_MAX;
    if(a<=l&&b>=r) return dat[k];
    int vl=query(a,b,k*2+1,l,(l+r)/2);
    int vr=query(a,b,k*2+2,(l+r)/2,r);
    return min(vl,vr);
}