SRM16 B-2(DP)

　　老鼠和洞按坐标排序

　　f[i][j]表示前i个洞进j只老鼠的最短距离

　　比赛的时候强行分三类去推式子，推是推出来了，也看出来是可以用三个单调队列去优化的，但是太繁琐了，要我敲我真没办法T^T

　　赛后经 onion_cyc 点拨才知道可以对每一个洞分别处理出到每只老鼠的距离...

　　f[i][j]=f[i-1][k]+sum[j]-sum[k](j-k<=v[i])

　　然后这个显然是可以单调队列优化的，效率O(NM)

#include<iostream>
#include<cstdlib>
#include<cstring>
#include<cstdio>
#include<algorithm>
#include<queue>
#include<cmath>
#include<map>
#define ll long long
using namespace std;
const int maxn=,inf=1e9;
struct poi{int x,v;}hole[maxn];
int n,m,x,y,z,tot;
ll f[maxn][maxn],sum[maxn];
int ms[maxn],q[maxn];
void read(int &k)
{
    int f=;k=;char c=getchar();
    while(c<''||c>'')c=='-'&&(f=-),c=getchar();
    while(c<=''&&c>='')k=k*+c-'',c=getchar();
    k*=f;
}
bool cmp(poi a,poi b){return a.x<b.x;}
int main()
{
    read(m);read(n);
    for(int i=;i<=m;i++)read(ms[i]);
    for(int i=;i<=n;i++)read(hole[i].x),read(hole[i].v);
    sort(ms+,ms++m);sort(hole+,hole++n,cmp);
    f[][]=;for(int i=;i<=m;i++)f[][i]=1ll*inf*;
    for(int i=;i<=n;i++)
    {
        for(int j=;j<=m;j++)
        sum[j]=abs(hole[i].x-ms[j]),sum[j]+=sum[j-];
        int l=,r=;q[]=;
        for(int j=;j<=m;j++)
        {
            while(l<=r&&j-q[l]>hole[i].v)l++;
            while(l<=r&&f[i-][j]-sum[j]<f[i-][q[r]]-sum[q[r]])r--;
            q[++r]=j;
            f[i][j]=f[i-][q[l]]+sum[j]-sum[q[l]];
        }
    }
    printf("%lld\n",f[n][m]==1ll*inf*?-:f[n][m]);
    return ;
}