[POI2011]ROT-Tree Rotations

发现x的子树在后续处理中不会影响逆序对的情况（只关心有哪些值，相对位置已经不重要了）

f[x]表示x为根的子树最小逆序对数

考虑左右儿子交换与否。

暴力是O(n^2)的

考虑线段树合并

左右儿子线段树合并的时候，直接类似于分治，记录另一棵数小于某个数的个数，

选择代价小的放在前面

具体看代码：

1.x，y别写错。。。

2.开long long，而且线段树可能存在一个点的sz大于n，乘起来会爆int

#include<bits/stdc++.h>
#define reg register int
#define mid ((l+r)>>1)
#define il inline
#define numb (ch^'0')
using namespace std;
typedef long long ll;
il void rd(int &x){
    char ch;x=;bool fl=false;
    while(!isdigit(ch=getchar()))(ch=='-')&&(fl=true);
    for(x=numb;isdigit(ch=getchar());x=x*+numb);
    (fl==true)&&(x=-x);
}
namespace Miracle{
const int N=+;
int n,ch[*N][];
struct tr{
    int ls,rs;
    int sz;
}t[*N];
int tot;
void pushup(int x){
    t[x].sz=t[t[x].ls].sz+t[t[x].rs].sz;
}
ll xfsz,yfsz;
int rt[*N],m;
ll f[*N];
int merge(int x,int y,int l,int r){
    if(!x||!y) return x+y;
    if(l==r){
        t[x].sz+=t[y].sz;
        return x;
    }
    xfsz+=(ll)t[t[x].rs].sz*t[t[y].ls].sz;
    yfsz+=(ll)t[t[y].rs].sz*t[t[x].ls].sz;
    t[x].ls=merge(t[x].ls,t[y].ls,l,mid);
    t[x].rs=merge(t[x].rs,t[y].rs,mid+,r);
    pushup(x);
    return x;
}
void upda(int &x,int l,int r,int p){
    if(!x) x=++tot;
    if(l==r){
        t[x].sz=;
        return;
    }
    if(p<=mid) upda(t[x].ls,l,mid,p);
    else upda(t[x].rs,mid+,r,p);
    pushup(x);
}
void build(int &x){
    x=++m;
    int val;rd(val);
    if(val==){
        build(ch[x][]);build(ch[x][]);
    }else{
        upda(rt[x],,n,val);
    }
}
void dfs(int x){
    if(ch[x][]&&ch[x][]){
        dfs(ch[x][]),dfs(ch[x][]);
    //    cout<<" back to "<<x<<endl;
        xfsz=;yfsz=;
        rt[x]=rt[ch[x][]];
        rt[x]=merge(rt[x],rt[ch[x][]],,n);
        f[x]=f[ch[x][]]+f[ch[x][]]+min(xfsz,yfsz);
    //    cout<<" xfsz "<<xfsz<<" yfsz "<<yfsz<<endl;
    //    cout<<" f[x] "<<f[x]<<endl;
    }
}
int main(){
    rd(n);
    int haha;
    build(haha);
    dfs();
    printf("%lld\n",f[]);
    return ;
}

}
signed main(){
//    freopen("4.in","r",stdin);
//    freopen("4.out","w",stdout);
    Miracle::main();
    return ;
}

/*
   Author: *Miracle*
   Date: 2019/2/10 11:57:09
*/