CDQ分治的基本思想十分简单。如下:
- 我们要解决一系列问题,这些问题一般包含修改和查询操作,可以把这些问题排成一个序列,用一个区间[L,R]表示。
- 分。递归处理左边区间[L,M]和右边区间[M+1,R]的问题。
- 治。合并两个子问题,同时考虑到[L,M]内的修改对[M+1,R]内的查询产生的影响。即,用左边的子问题帮助解决右边的子问题。
这就是CDQ分治的基本思想。和普通分治不同的地方在于,普通分治在合并两个子问题的过程中,[L,M]内的问题不会对[M+1,R]内的问题产生影响。
//#include<bits/stdc++.h>
//#include<unordered_map>
//#include<unordered_set>
#include<iostream>
#include<sstream>
#include<iterator>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<string>
#include<set>
#include<vector>
#include<bitset>
#include<climits>
#include<queue>
#include<iomanip>
#include<cmath>
#include<stack>
#include<map>
#include<ctime>
#include<new>
using namespace std;
#define LL long long
#define ULL unsigned long long
#define MT(a, b) memset(a,b,sizeof(a))
const int INF = 0x3f3f3f3f;
const int O = 1e6;
const int mod = 1e6+7;
const int maxn = 5e5 +5;
const double PI = acos(-1.0);
const double E = 2.718281828459;
const double eps = 1e-8;
int a[maxn], b[maxn];
LL ans = 0;
void merger(int l, int r) {
if(l == r) return ;
int mid = (l + r) >> 1;
merger(l, mid);
merger(mid + 1, r);
int pl = l, pr = mid + 1;
for(int i=l; i<=r; i++) {
if( (pl <= mid && a[pl] <= a[pr]) || pr > r ){
b[i] = a[pl++];
} else {
b[i] = a[pr ++];
ans += (mid - pl + 1);
}
}
for(int i=l; i<=r; i++) a[i] = b[i];
}
int main(){
int n;
while( scanf("%d", &n) && n ) {
ans = 0;
for (int i = 0; i < n; i++) scanf("%d", &a[i]);
merger(0, n - 1);
printf("%lld\n", ans);
}
return 0;
}