bzoj1786

题目：http://www.lydsy.com/JudgeOnline/problem.php?id=1786

刚看上去觉得挺吓人的。。。。。。

冥冥之中我的内心深处告诉我填进去的数一定是非严格递增的。

结果真的是这样：

对于两个相邻的未填数字x和y，不管我们怎么交换x和y，影响的只是红色框里面的，我们把红色框单独取出来。

不妨设x<y。

我们把红色框里面的数拍一下序（因为有可能有多个x和y，所以写多了几个，不影响结果）

如果x和y不交换，那么逆序对个数为红色线覆盖的个数

如果x和y交换，那么逆序对个为蓝色线覆盖的个数+1

很明显很明显不交换比交换优

所以填进去的数一定是非严格递增的。

知道的了这个，就很简单了，求出val[i][j],表示第i个空位填j的时候会产生多少个逆序对，这个可以用树状数组解决。

然后就继续求解。

#include<cstdio>
#include<cstdlib>
#include<iostream>
#include<fstream>
#include<algorithm>
#include<cstring>
#include<string>
#include<cmath>
#include<queue>
#include<stack>
#include<map>
#include<utility>
#include<set>
#include<bitset>
#include<vector>
#include<functional>
#include<deque>
#include<cctype>
#include<climits>
#include<complex>
//#include<bits/stdc++.h>适用于CF,UOJ，但不适用于poj

using namespace std;

typedef long long LL;
typedef double DB;
typedef pair<int,int> PII;
typedef complex<DB> CP;

#define mmst(a,v) memset(a,v,sizeof(a))
#define mmcy(a,b) memcpy(a,b,sizeof(a))
#define re(i,a,b)  for(i=a;i<=b;i++)
#define red(i,a,b) for(i=a;i>=b;i--)
#define fi first
#define se second
#define m_p(a,b) make_pair(a,b)
#define SF scanf
#define PF printf
#define two(k) (1<<(k))

template<class T>inline T sqr(T x){return x*x;}
template<class T>inline void upmin(T &t,T tmp){if(t>tmp)t=tmp;}
template<class T>inline void upmax(T &t,T tmp){if(t<tmp)t=tmp;}

const DB EPS=1e-;
inline int sgn(DB x){if(abs(x)<EPS)return ;return(x>)?:-;}
const DB Pi=acos(-1.0);

inline int gint()
  {
        int res=;bool neg=;char z;
        for(z=getchar();z!=EOF && z!='-' && !isdigit(z);z=getchar());
        if(z==EOF)return ;
        if(z=='-'){neg=;z=getchar();}
        for(;z!=EOF && isdigit(z);res=res*+z-'',z=getchar());
        return (neg)?-res:res;
    }
inline LL gll()
  {
      LL res=;bool neg=;char z;
        for(z=getchar();z!=EOF && z!='-' && !isdigit(z);z=getchar());
        if(z==EOF)return ;
        if(z=='-'){neg=;z=getchar();}
        for(;z!=EOF && isdigit(z);res=res*+z-'',z=getchar());
        return (neg)?-res:res;
    }

const int maxN=;
const int maxK=;

int N,K,M;
int a[maxN+];
int idx[maxN+];
int val[maxN+][maxK+];
int F[maxN+][maxK+];
int ans;

#define lowbit(a) (a&(-a))
int tree[maxK+];
inline void update(int a){for(;a<=K;a+=lowbit(a))tree[a]++;}
inline int ask(int a){int res=;for(;a>=;a-=lowbit(a))res+=tree[a];return res;}

int main()
  {
      freopen("bzoj1786.in","r",stdin);
      freopen("bzoj1786.out","w",stdout);
      int i,j;
      N=gint();K=gint();
      re(i,,N)a[i]=gint();
      re(i,,N)if(a[i]==-)idx[i]=++M;
      mmst(tree,);re(i,,N)if(a[i]!=-)update(K-a[i]+);else re(j,,K) val[idx[i]][j]+=ask(K-j);
      mmst(tree,);red(i,N,)if(a[i]!=-)update(a[i]); else re(j,,K)val[idx[i]][j]+=ask(j-);
      re(j,,K)F[][j]=val[][j];
      re(i,,M)
        {
            F[i][]=F[i-][]+val[i][];
            re(j,,K) F[i][j]=min(F[i-][j],F[i][j-]-val[i][j-])+val[i][j];
        }
      ans=F[M][];re(j,,K)upmin(ans,F[M][j]);
      mmst(tree,);re(i,,N)if(a[i]!=-){ans+=ask(K-a[i]);update(K-a[i]+);}
      cout<<ans<<endl;
      return ;
  }