数列分块6

题意：给出一个长为n的数列，以及n个操作，操作涉及单点插入，单点询问，数据随机生成。

思路：

先说随机数据的情况

之前提到过，如果我们块内用数组以外的数据结构，能够支持其它不一样的操作，比如此题每块内可以放一个动态的数组，每次插入时先找到位置所在的块，再暴力插入，把块内的其它元素直接向后移动一位，当然用链表也是可以的。

查询的时候类似，复杂度分析略。

但是这样做有个问题，如果数据不随机怎么办？

如果先在一个块有大量单点插入，这个块的大小会大大超过√n，那块内的暴力就没有复杂度保证了。

还需要引入一个操作：重新分块（重构）

每根号n次插入后，重新把数列平均分一下块，重构需要的复杂度为O(n)，重构的次数为√n，所以重构的复杂度没有问题，而且保证了每个块的大小相对均衡。
当然，也可以当某个块过大时重构，或者只把这个块分成两半。

#include <bits/stdc++.h>
using namespace std;
const int maxn = 100005;
int a[maxn],laz[maxn],bl[maxn],block,st[maxn],ed[maxn];
list<int> lis[1005];
int main(){
    int n;scanf("%d",&n);
    block = sqrt(n);
    for( int i = 1;i <= n;i++ )scanf("%d",&a[i]);
    for( int i = 1;i <= n;i++){
        bl[i] = (i-1)/block+1;
        if( bl[i] != bl[i-1] ) st[bl[i]] = i,ed[ bl[i-1] ] = i-1;
    }
    ed[bl[n]] = n;
    for( int i = 1;i <= bl[n];i++ ){
        laz[ i] = ed[i]-st[i]+1;
    }
    for( int i = 1;i <= bl[n];i++ ){
        for( int j = st[i];j <= ed[i];j++ ){
            lis[i].push_back( a[j] );
        }
    }
    for( int i = 1;i <= n;i++ ){
        int op,l,r,c;
        scanf("%d%d%d%d",&op,&l,&r,&c);
        if( op == 0 ){
            int sum = 0,p;
            for( int i = 1;i <= bl[n];i++) {
                sum += laz[i];
                if (sum >= l) {
                    sum -= laz[i];
                    p = i;
                    break;
                }
            }
            laz[ p ]++;
            l -= sum;
            auto it = lis[p].begin();
            for( int i = 0;i < l-1;i++ ) it++;
            lis[ p ].insert( it,r );
        }else{
            int sum = 0,p;
            for( int i = 1;i <= bl[n];i++ ) {
                sum += laz[i];
                if (sum >= r){
                    //cout << bl[n] << endl;
                    sum -= laz[i];
                    p = i;
                    break;
                }
            }
            r -= sum;
            list<int> :: iterator it = lis[p].begin();
            for( int i = 0;i < r-1;i++ ) it++;
            int res = *it;
            printf("%d\n",res);
        }
    }
    return 0;
}