BZOJ_4609_[Wf2016]Branch Assignment_决策单调性+带权二分

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <ext/pb_ds/priority_queue.hpp>
using namespace std;
using namespace __gnu_pbds;
#define N 5050
#define M 50050
typedef long long ll;
__attribute__((optimize("-O3")))inline char nc() {
    static char buf[100000],*p1,*p2;
    return p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
}
__attribute__((optimize("-O3")))int rd() {
    int x=0; char ch=nc();
    while(ch<‘0‘||ch>‘9‘) ch=nc();
    while(ch>=‘0‘&&ch<=‘9‘) x=(x<<3)+(x<<1)+ch-‘0‘,ch=nc();
    return x;
}
int head[N],to[M],nxt[M],val[M],cnt,dis[N],a[N],vis[N],xx[M],yy[M],zz[M],n,B,S,m,g[N];
ll s[N],f[N],C;
__gnu_pbds::priority_queue<pair<int,int> >q;
__attribute__((optimize("-O3")))inline void add(int u,int v,int w) {
    to[++cnt]=v; nxt[cnt]=head[u]; head[u]=cnt; val[cnt]=w;
}
__attribute__((optimize("-O3")))void dij() {
    memset(dis,0x3f,sizeof(dis));
    dis[B+1]=0;
    memset(vis,0,sizeof(vis));
    q.push(make_pair(0,B+1));
    while(!q.empty()) {
        int x=q.top().second,i; q.pop();
        if(vis[x]) continue;
        vis[x]=1; a[x]+=dis[x];
        for(i=head[x];i;i=nxt[i]) {
            if(dis[to[i]]>dis[x]+val[i]) {
                dis[to[i]]=dis[x]+val[i];
                q.push(make_pair(-dis[to[i]],to[i]));
            }
        }
    }
}
struct A {
    int l,r,p;
}Q[N];
#define Y(j,i) (f[j]+(i-j)*(s[i]-s[j])+C)
// ll Y(int j,int i) {
//  return f[j]+(i-j)*(s[i]-s[j])+C;
// }
__attribute__((optimize("-O3")))int find(const A &a,int x) {
    int l=a.l,r=a.r+1;
    while(l<r) {
        int mid=(l+r)>>1;
        if(Y(x,mid)>Y(a.p,mid)) l=mid+1;
        else r=mid;
    }
    return l;
}
__attribute__((optimize("-O3")))void check() {
    int i,l=0,r=0;
    Q[r++]=(A){0,n,0};
    for(i=1;i<=n;i++) {
        while(l<r&&Q[l].r<i) l++;
        f[i]=Y(Q[l].p,i); g[i]=g[Q[l].p]+1;
        if(Y(i,n)<=Y(Q[r-1].p,n)) {
            while(l<r&&Y(i,Q[r-1].l)<=Y(Q[r-1].p,Q[r-1].l)) r--;
            if(l==r) Q[r++]=(A){i,n,i};
            else {
                int x=find(Q[r-1],i);
                Q[r-1].r=x-1;
                Q[r++]=(A){x,n,i};
            }
        }
    }
}
__attribute__((optimize("-O3")))int main() {
    n=rd(); B=rd(); S=rd(); m=rd();
    register int i;
    for(i=1;i<=m;i++) {
        xx[i]=rd(); yy[i]=rd(); zz[i]=rd();
        add(xx[i],yy[i],zz[i]);
    }
    dij();
    memset(head,0,sizeof(head)); cnt=0;
    for(i=1;i<=m;i++) {
        add(yy[i],xx[i],zz[i]);
    }
    dij();
    n=B;
    sort(a+1,a+n+1);
    for(i=1;i<=n;i++) s[i]=s[i-1]+a[i];
    ll l=0,r=1ll<<48;
    while(l<r) {
        C=(l+r)>>1;
        check();
        if(g[n]>S) l=C+1;
        else r=C;
    }
    l--; C=l; check();
    printf("%lld\n",f[n]-S*l-s[n]);
}