题解 [ZJOI2010]基站选址

题面

解析

首先考虑一个暴力的DP,

\(f[i][k]\)表示第\(k\)个基站设在第\(i\)个村庄,且不考虑后面的村庄的最小费用.

那么有\(f[i][k]=\min(f[j][k-1]+cost(j,i))\),\(j\in[1,i-1]\)

其中\(cost(j,i)\)表示从\(j\)\(i\)中间没有被覆盖的村庄的补偿.

但这显然会T...

首先可以考虑优化掉\(k\),

直接因为只有\(k-1\)有影响,直接提出来放外面循环就行了.

然后要优化掉\(cost(j,i)\)以及找到最小值,

这个可以用线段树来做.

具体来说,首先我们要找到能覆盖村庄\(i\)的最远的两个端点\(st[i]\)(左)和\(ed[i]\)(右)

如果当前到了\(i\)村庄,那么\(ed\)等于\(i\)的村庄\(x\),

\(i+1\)\(n\)的计算中,

就要被算到\(1\)\(st[x]-1\)的村庄的\(cost\)中去了.

因此用邻接表存\(ed\)等于\(i\)的村庄,

再拿一个线段树区间加及求区间最小值就行了.

(线段树中的点\(j\)存的是\(f[j]+\)对以后有贡献的\(cost\))

注意:

  • 因为状态没有考虑后面的村庄,所以要在最后面加一个,距离设为inf(同时\(k\)也要++)
  • 每次新建一棵线段树,记得清空\(tag\)(WA到吐)

code:

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#define int long long
#define ls(a) a<<1
#define rs(a) a<<1|1
using namespace std;

inline int read(){
    int sum=0,f=1;char c=getchar();
    while(c>'9'||c<'0'){if(c=='-') f=-1;c=getchar();}
    while(c<='9'&&c>='0'){sum=(sum<<3)+(sum<<1)+c-'0';c=getchar();}
    return sum*f;
}

const int N=20005;
const int M=201;
const int INF=0x3f3f3f3f;
struct tree{int tag,minn,l,r;}t[N<<4];
struct edge{int to,next;}e[N<<1];
int n,K,d[N],c[N],s[N],w[N],f[N];
int st[N],ed[N];
int head[N],cnt;

inline void pushup(int p){
    t[p].minn=min(t[ls(p)].minn,t[rs(p)].minn);
}

inline void pushdown(int p){
    t[ls(p)].minn+=t[p].tag;
    t[rs(p)].minn+=t[p].tag;
    t[ls(p)].tag+=t[p].tag;
    t[rs(p)].tag+=t[p].tag;
    t[p].tag=0;
}

inline void build(int p,int l,int r){
    t[p].l=l;t[p].r=r;t[p].tag=0;
    if(l==r){
        t[p].minn=f[l];
        return ;
    }
    int mid=(l+r)>>1;
    build(ls(p),l,mid);build(rs(p),mid+1,r);
    pushup(p);
}

inline void change(int p,int l,int r,int sum){
    if(l>r) return ;
    if(t[p].l>=l&&t[p].r<=r){
        t[p].minn+=sum;t[p].tag+=sum;
        return ;
    }
    pushdown(p);
    int mid=(t[p].l+t[p].r)>>1;
    if(l<=mid) change(ls(p),l,r,sum);
    if(r>mid) change(rs(p),l,r,sum);
    pushup(p);
}

inline int query(int p,int l,int r){
    if(l>r) return INF;
    if(t[p].l>=l&&t[p].r<=r) return t[p].minn;
    pushdown(p);
    int mid=(t[p].l+t[p].r)>>1,ret=INF;
    if(l<=mid) ret=min(ret,query(ls(p),l,r));
    if(r>mid) ret=min(ret,query(rs(p),l,r));
    pushup(p);
    return ret;
}

inline void add(int x,int y){
    e[++cnt]=(edge){head[x],y};head[x]=cnt;
}

signed main(){
    n=read();K=read();
    for(int i=2;i<=n;i++) d[i]=read();
    for(int i=1;i<=n;i++) c[i]=read();
    for(int i=1;i<=n;i++) s[i]=read();
    for(int i=1;i<=n;i++) w[i]=read();
    d[++n]=INF;
    for(int i=1;i<=n;i++){
        st[i]=lower_bound(d+1,d+n+1,d[i]-s[i])-d;
        ed[i]=upper_bound(d+1,d+n+1,d[i]+s[i])-d-1;
        add(ed[i],i);
    }
    int ret=0;
    for(int i=1;i<=n;i++){
        f[i]=ret+c[i];
        for(int j=head[i];j;j=e[j].to){
            int k=e[j].next;ret+=w[k];
        }
    }
    ret=f[n];
    for(int q=1;q<=K;q++){
        build(1,1,n);
        for(int i=1;i<=n;i++){
            f[i]=query(1,1,i-1)+c[i];
            for(int j=head[i];j;j=e[j].to){
                int k=e[j].next;
                change(1,1,st[k]-1,w[k]);
            }
        }
        ret=min(ret,f[n]);
    }
    printf("%lld\n",ret);
    return 0;
}
01-03 08:16