bzoj 2245 费用流

比较裸

源点连人，每个人连自己的工作，工作连汇，然后因为人的费用是

分度的，且是随工作数非降的，所以我们拆边，源点连到每个人s+1条边

容量是每段的件数，费用是愤怒

/**************************************************************
    Problem:
    User: BLADEVIL
    Language: Pascal
    Result: Accepted
    Time: ms
    Memory: kb
****************************************************************/
 
//By BLADEVIL
var
    n, m                                :longint;
    pre, other, len, cost               :array[..] of longint;
    last                                :array[..] of longint;
    source, sink                        :longint;
    time                                :array[..] of longint;
    ans                                 :int64;
    father, dis, que                    :array[..] of longint;
    flag                                :array[..] of boolean;
    l                                   :longint;
 
function min(a,b:longint):longint;
begin
    if a>b then min:=b else min:=a;
end;
     
procedure connect(a,b,c,d:longint);
begin
    inc(l);
    pre[l]:=last[a];
    last[a]:=l;
    other[l]:=b;
    len[l]:=c;
    cost[l]:=d;
end;
     
procedure init;
var
    i, j                                :longint;
    x, y                                :longint;
 
begin
    read(m,n);
    l:=;
    source:=n+m+; sink:=source+;
    for i:= to n do
    begin
        read(x);
        connect(m+i,sink,x,);
        connect(sink,m+i,,);
    end;
     
    for i:= to m do
        for j:= to n do
        begin
            read(x);
            if x= then
            begin
                connect(i,j+m,maxlongint div ,);
                connect(j+m,i,,);
            end;
        end;
     
    for i:= to m do
    begin
        read(x);
        for j:= to x do read(time[j]);
        time[]:=;
        time[x+]:=maxlongint div ;
        for j:= to x+ do
        begin
            read(y);
            connect(source,i,time[j]-time[j-],y);
            connect(i,source,,-y);
        end;
    end;
end;
 
function spfa:boolean;
var
    h, t, cur                           :longint;
    q, p                                :longint;
begin
    filldword(dis,sizeof(dis) div ,maxlongint div );
    h:=; t:=;
    que[]:=source;
    dis[source]:=;
    while h<>t do
    begin
        h:=h mod +;
        cur:=que[h];
        flag[cur]:=false;
        q:=last[cur];
        while q<> do
        begin
            if len[q]> then
            begin
                p:=other[q];
                if dis[p]>dis[cur]+cost[q] then
                begin
                    dis[p]:=dis[cur]+cost[q];
                    father[p]:=q;
                    if not flag[p] then
                    begin
                        t:=t mod +;
                        que[t]:=p;
                        flag[p]:=true;
                    end;
                end;
            end;
            q:=pre[q];
        end;
    end;
    if dis[sink]=maxlongint div  then exit(false) else exit(true);
end;
 
procedure update;
var
    low                                 :longint;
    cur                                 :longint;
begin
    cur:=sink;
    low:=maxlongint;
    while cur<>source do
    begin
        low:=min(low,len[father[cur]]);
        cur:=other[father[cur] xor ];
    end;
    cur:=sink;
    while cur<>source do
    begin
        dec(len[father[cur]],low);
        inc(len[father[cur] xor ],low);
        ans:=ans+low*cost[father[cur]];
        cur:=other[father[cur] xor ];
    end;
end;
 
procedure main;
begin
    while spfa do
        update;
    writeln(ans);
end;
 
begin
    init;
    main;
end.