首先这题的答案是$\sum_{i=1}^n\min(\sum_{j<i}[|a_j|<|a_i|],\sum_{j>i}[|a_j|<|a_i|])$
我最开始的时候是按取正取负绝对值大小分了16种情况讨论每一对$i<j$的贡献然后转成一个要建$10^7$条边的二元关系最小割……，其实……咱们只需要考虑绝对值大小就行了……因为这相当于是重新给他们分配一个正负。
我们暂且不考虑绝对值相等的情况，我们发现当$|a_j|<|a_i|$的时候$a_i$的正负才是关键，若$a_i$取正那么$a_j$无论正负都小于$a_i$，那么我们可以对每个$a_i$分别找出它左右各有多少个绝对值比他小的，就分别是$a_i$取正取负的代价了，就可以直接取$\min$加到答案里，因为这**仅和**$a_i$有关。
那么绝对值相等的呢？其实结论是在最优情况下所有绝对值相等的取的正负都一样，所以不产生贡献，考虑这个：
```cpp
____①____A___②___B______③____
```
假如$|A|=|B|$，其中①②③分别为这3段里比这个绝对值小的个数，那么就很显然了，因为要取$\min$，它们绝对不可能往两边取。
（upd：woc好像证伪了……好像不那么显然……
（upd：哦好像知道了，假设$1<=2+3,3<=2+1$，那么$2<=1-3,2<=3-1$，除非$1=3$才行，这样的话还是可以取到同一边。
~~然后代码真的总共只有10行……~~
```cpp
#include<iostream>
#define abs(_o) ((_o<0)?-(_o):(_o))
using namespace std;
int ints[2222];
int main(){
int n;cin>>n;for(register int i=1;i<=n;i++)cin>>ints[i];int ans=0;for(register int i=1;i<=n;i++){
int l=0,r=0;for(register int j=1;j<i;j++)if(abs(ints[j])<abs(ints[i]))l++;
for(register int j=i+1;j<=n;j++)if(abs(ints[j])<abs(ints[i]))r++;ans+=min(l,r);
}cout<<ans<<endl;return(0);
}
```