2020 CCPC Wannafly Winter Camp Day1 I- K小数查询

分块+暴力。
对于每一块来说。如果更新不是一整块，我们直接暴力重构，如果是一整块更新的话，就给这一个块打上一个标记。
当询问的时候，我们二分答案，对于不是一整块的区间，暴力。
对于是一整块的区间，我们优先判断他和标记的大小。如果标记更大，那么由于这一道题更新的时候，区间只取min，故块中的所有数据不会因为更新而变的更大，因此，我们直接在块里面进行二分得答案。（如果这个块不是一整块更新，那么一定被重构过）。

#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<cstdlib>
#include<climits>
#include<stack>
#include<vector>
#include<queue>
#include<set>
#include<bitset>
#include<map>
//#include<regex>
#include<cstdio>
#pragma GCC optimize(2)
#define up(i,a,b)  for(int i=a;i<b;i++)
#define dw(i,a,b)  for(int i=a;i>b;i--)
#define upd(i,a,b) for(int i=a;i<=b;i++)
#define dwd(i,a,b) for(int i=a;i>=b;i--)
//#define local
typedef long long ll;
typedef unsigned long long ull;
const double esp = 1e-6;
const double pi = acos(-1.0);
const int INF = 0x3f3f3f3f;
const int inf = 1e9;
using namespace std;
ll read()
{
    char ch = getchar(); ll x = 0, f = 1;
    while (ch<'0' || ch>'9') { if (ch == '-')f = -1; ch = getchar(); }
    while (ch >= '0' && ch <= '9') { x = x * 10 + ch - '0'; ch = getchar(); }
    return x * f;
}
typedef pair<int, int> pir;
#define lson l,mid,root<<1
#define rson mid+1,r,root<<1|1
#define lrt root<<1
#define rrt root<<1|1
const int N = 8e4 + 10;
int n, m, base;
int belong[N];
int lf[N], rt[N];
int a[N];
int mx[N];
vector<int>vec[N];
void build()
{
    int sz = belong[n];
    upd(i, 1, sz)
    {
        upd(j, lf[i], rt[i])
        {
            vec[i].push_back(a[j]);
        }
        sort(vec[i].begin(), vec[i].end());
        mx[i] = vec[i].back();
    }
}
void rebuild(int pos)
{
    vec[pos].clear();
    upd(i, lf[pos], rt[pos])
    {
        a[i] = min(a[i], mx[pos]);
        vec[pos].push_back(a[i]);
    }
    sort(vec[pos].begin(), vec[pos].end());
    mx[pos] = vec[pos].back();
}
void update(int l,int r,int val)
{
    int x = belong[l]; int y = belong[r];
    if (x == y)
    {
        upd(i, l, r)
        {
            a[i] = min(a[i],val);
        }
        rebuild(x);
        return;
    }
    upd(i, l, rt[x])
    {
        a[i] = min(a[i], val);
    }
    rebuild(x);
    upd(i, lf[y], r)
    {
        a[i] = min(a[i], val);
    }
    rebuild(y);
    up(i, x + 1, y)
        mx[i] = min(val, mx[i]);
}
int query(int l, int r, int val)
{
    int x = belong[l]; int y = belong[r];
    int res = 0;
    if (x == y)
    {
        upd(i, l, r)
        {
            if (a[i] <= val)
                res++;
        }
        return res;
    }
    upd(i, l, rt[x]) {
        if (a[i] <= val)res++;
    }
    upd(i, lf[y], r) {
        if (a[i] <= val)res++;
    }
    up(i,x+1,y)
    {
        if (mx[i] <= val) {
            res += rt[i] - lf[i] + 1;
        }
        else
        {
            int temp = upper_bound(vec[i].begin(), vec[i].end(), val)-vec[i].begin();
            res += temp;
        }
    }
    return res;
}
int judge(int l,int r,int k)
{
    int tl = 0, tr = 1e9 + 1;
    int x = belong[l]; int y = belong[r];
    rebuild(x);
    if (x != y)rebuild(y);
    while (tr - 1 > tl)
    {
        int mid = (tr + tl) >> 1;
        if (query(l, r, mid) >= k)tr = mid;
        else tl = mid;
    }
    return tr;
}
int main()
{
    n = read(); m = read();
    upd(i, 1, n)a[i] = read();
    base = sqrt(n) + 1;
    memset(lf, INF, sizeof(lf));
    memset(rt, 0, sizeof(rt));
    upd(i, 1, n)
    {
        int pos= i / base + 1;
        belong[i] = pos;
        lf[pos] = min(lf[pos], i);
        rt[pos] = max(rt[pos], i);
    }
    build();
    int templ, tempr, tempval;
    int op;
    while (m--)
    {
        op = read();
        if (op == 1)
        {
            templ = read(); tempr = read(); tempval = read();
            update(templ, tempr, tempval);
        }
        else
        {
            templ = read(); tempr = read(); tempval = read();
            printf("%d\n", judge(templ, tempr, tempval));
        }
    }
    return 0;
}