【线段树区间单点更新加约束条件】Range Minimum Queries CodeChef

Problem Description

给你n个数的序列，有q个操作。操作分为两种0的时候查询L,R中的最小值。1的时候对于L,R区间的每个元素进行&X的操作。

思路，对所有元素进行&X的操作。就可以寻找约束条件（如果该区间所有元素进行|操作，和X进行&操作没有变化的话，就不往下递归）也就是所有元素的二进制1的集合，被X的二进制1的集合包含，那就不需要更新。

#include<bits/stdc++.h>using namespace std;struct node{    long long lazy, data;//lazy成员用来保存该区间1的集合};#define MID int mid = (l + r) / 2#define lson root << 1#define rson root << 1 | 1node tree[400000];node Merge(node x, node y){    node t;    t.lazy = x.lazy | y.lazy;//求1的集合    t.data = min(x.data, y.data);//求最小    return t;}void build(int root, int l, int r)//初始化建树{    tree[root].lazy = 0;    if(l == r)    {        scanf("%lld", &tree[root].data);        tree[root].lazy = tree[root].data;        return ;    }    MID;    build(lson, l, mid);    build(rson, mid + 1, r);    tree[root] = Merge(tree[lson], tree[rson]);}void updata(int root, int l, int r, int ul, int ur, int v){    if(tree[root].lazy & (~v)) {//约束条件该区间lazy可以改变才进行    if(l == r)//单点更新    {        tree[root].data = tree[root].data & v;        tree[root].lazy = tree[root].lazy & v;        return ;    }    MID;    if(mid >= ul) updata(lson, l, mid, ul, ur, v);    if(mid < ur) updata(rson, mid + 1, r, ul, ur, v);    tree[root] = Merge(tree[lson], tree[rson]);    }}long long query(int root, int l, int r, int ul, int ur)//查找区间ul,ur之间最小值{    if(ul <= l && r <= ur) return tree[root].data;    MID;    long long red = 10000000012;    if(mid >= ul) red = min(red, query(lson, l, mid, ul, ur));    if(mid < ur) red = min(red, query(rson, mid + 1, r, ul, ur));    return red;}int main(){    int n, m;    while(~scanf("%d", &n))    {        scanf("%d", &m);        build(1, 1, n);        while(m--)        {            int num, ul, ur;            scanf("%d %d %d", &num, &ul, &ur);            if(ul > ur) swap(ul, ur);            if(!num)            {                printf("%lld\n", query(1, 1, n, ul, ur));            }            else            {                int v;                scanf("%d", &v);                updata(1, 1, n, ul, ur, v);            }        }    }    return 0;}