分点新技能+网络流

当某个点在属性不同的决策时不同时，我们考虑分点，这不失为一种好的解决问题的方法
CTSC家园
由于人类对自然的疯狂破坏，人们意识到在大约2300年之后，地球不能再居住了，于是在月球上建立了新的绿地，以便在需要时移民。令人意想不到的是，2177年冬由于未知的原因，地球环境发生了连锁崩溃，人类必须在最短的时间内迁往月球。
现有n个太空站处于地球与月球之间（编号1..n），m艘公共交通太空船在其中来回穿梭，每个太空站Si可容纳无限的人，每艘太空船pi只可容纳Hpi人。对于每一艘太空船pi，将周期性地停靠一系列的太空站（Si1,Si2…Sir），如：（1，3，4）表示停靠太空站1 3 4 1 3 4 1 3 4 …。 任一艘太空船从任一个太空站驶往另一个任意的太空站耗时为1。人只能在太空船停靠太空站（或地球、月球）时上船或下船。初始时的人全在地球上，太空船全在初始站（太空船pi处于Si1），目标是让所有的人尽快地全部转移到月球上。

输入格式：
文件第一行为三个正整数 n（太空站个数）、 m（太空船个数）、 k（需要运送的地球上的人的个数），其中 1<=m<=13, 1<=n<=20, 1<=k<=50。
接下来的n行给出了太空船的信息，第i+1行说明太空船pi，此行第一个数表示pi可容纳的人数Hpi，第二个数表示pi停靠一个周期的太空站个数r，1<=r<=n+2, 随后r个数便是停靠的太空站的编号(Si1,Si2,…,Sir), 地球用0表示，月球用-1表示。0时刻时，所有太空船都在初始站，随后开始运行，在时刻1，2，3…等正点时刻各艘太空船停靠相应的太空站，即人只有在0,1,2…等正点时刻才能上下太空船。
输出格式：
文件只有一个数，若问题有解，输出完成全部人员安全转移的时刻，否则输出0。
样例输入：
2 2 1
1 3 0 1 2
1 3 1 2 –1
样例输出：
5
数据范围：
1<=m<=13, 1<=n<=20, 1<=k<=50。
时间限制：
1S
空间限制：
256M

//对于那些不断变化的边，我们用分点的方法来解决，对于那些求那些求最小可得时间的问题//我们可以进行二分答案，而对于那些可以利用前面状态的，我们可以选择递推（更优）。#include<cstdio>#include<iostream>#include<cstring>#include<algorithm>#include<queue>using namespace std;#define N 200001#define INF 2e9int fir[N],to[N*10],ne[N*10],C[N*10],cnt=1;int n,m,k;int h[N],r[N],S[1001][1001],ss,tt;queue<int>q;bool inq[N];int tot,dis[N];void add(int x,int y,int z){    to[++cnt]=y;ne[cnt]=fir[x];fir[x]=cnt;C[cnt]=z;    to[++cnt]=x;ne[cnt]=fir[y];fir[y]=cnt;C[cnt]=0;}bool BFS(int s,int t){//  for(int i=1;i<=tot;i++) inq[i]=1;    while(!q.empty()) q.pop();    for(int i=1;i<=tot;i++) dis[i]=-1;    q.push(s);dis[s]=0;inq[s]=1;    while(!q.empty())    {        int i=q.front();q.pop();        for(int p=fir[i];p;p=ne[p])        if(C[p])        {            int V=to[p];            if(dis[V]==-1)            {                dis[V]=dis[i]+1;                q.push(V);            }        }    }    return (dis[t]!=-1);}int dfs(int now,int t,int fl){    int res=0;    if(now==t||fl==0) return fl;    for(int i=fir[now];i;i=ne[i])    if(C[i])    {        int V=to[i];        if(dis[V]==dis[now]+1&&C[i])        {            int f=dfs(V,t,min(fl,C[i]));            if(f)            {                fl-=f;                C[i]-=f;                C[i^1]+=f;                res+=f;            }            if(!fl) break;        }    }    return res;}int dinic(int s,int t){    int res=0;    while(BFS(s,t))    {        int fl=dfs(s,t,2e9);        if(!fl) return res;        res+=fl;    }    return res;}int s,t;int ans;int main(){    scanf("%d%d%d",&n,&m,&k);    for(int i=1;i<=m;i++)    {        scanf("%d%d",&h[i],&r[i]);        for(int j=1;j<=r[i];j++)        {            scanf("%d",&S[i][j]);            S[i][j]+=2;//          cout<<S[i][j]<<" ";        }//      cout<<endl;    }    tot=2;    s=1;t=2;//  add(s,4,INF);//  add(3,t,INF);    n+=2;    for(int i=1;i<=n;i++) tot++;    for(ans=1;k>0;ans++)    {        if(ans>100)        {            ans=2;            break;        }        for(int i=1;i<=n;i++)        {            tot++;            add(tot-n,tot,INF);            if(i==1) add(tot,t,INF);//          if(i==1) cout<<tot<<" ";            if(i==2) add(s,tot,INF);        }        if(ans>1)        for(int i=1;i<=m;i++)        {            int dd = (ans % r[i]);if (dd==0) dd=r[i];            int d = dd - 1;if (d==0) d=r[i];            dd=S[i][dd];d=S[i][d];            add((ans-1)*n+d+2,ans*n+dd+2,h[i]);//          cout<<(ans-1)*n+d+2<<" "<<ans*n+dd+2<<endl;        }        k-=dinic(s,t);    }    cout<<ans-2;}/*2 2 1                 1 3 0 1 21 3 1 2 -1*/