判无解的方法非常粗暴：快T了还是没有合法方案，就是无解。
然后枚举答案，对于每一天都建一套太空站，s连地球，t连月球，上一天的太空站连向这一天的太空站，流量均为inf。然后对于每个飞船，上一天的停靠站向这一天的停靠站连边，流量为p。每次新增一天都新建一套，然后跑一次dinic加给tot，等tot>=k，当前枚举的天数就是答案。
#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
const int N=500005,inf=1e9;
int n,m,k,p[55],a[55][55],le[N],h[N],cnt,s,t,c[55];
struct qwe
{
int ne,to,va;
}e[N*20];
int read()
{
int r=0,f=1;
char p=getchar();
while(p>'9'||p<'0')
{
if(p=='-')
f=-1;
p=getchar();
}
while(p>='0'&&p<='9')
{
r=r*10+p-48;
p=getchar();
}
return r*f;
}
void add(int u,int v,int w)
{
cnt++;
e[cnt].ne=h[u];
e[cnt].to=v;
e[cnt].va=w;
h[u]=cnt;
}
void ins(int u,int v,int w)
{
add(u,v,w);
add(v,u,0);
}
bool bfs()
{
queue<int>q;
memset(le,0,sizeof(le));
le[s]=1;
q.push(s);
while(!q.empty())
{
int u=q.front();
q.pop();
for(int i=h[u];i;i=e[i].ne)
if(e[i].va>0&&!le[e[i].to])
{
le[e[i].to]=le[u]+1;
q.push(e[i].to);
}
}
return le[t];
}
int dfs(int u,int f)
{
if(u==t||!f)
return f;
int us=0;
for(int i=h[u];i&&us<f;i=e[i].ne)
if(e[i].va>0&&le[e[i].to]==le[u]+1)
{
int t=dfs(e[i].to,min(e[i].va,f-us));
e[i].va-=t;
e[i^1].va+=t;
us+=t;
}
if(!us)
le[u]=0;
return us;
}
int dinic()
{
int re=0;
while(bfs())
re+=dfs(s,inf);
return re;
}
int main()
{
n=read(),m=read(),k=read();
n+=2;
for(int i=1;i<=m;i++)
{
p[i]=read();c[i]=read();
for(int j=0;j<c[i];j++)
a[i][j]=read()+2;
}
int tot=0;
s=0,t=10000;cnt=1;
for(int i=0;i<=500;i++)
{
ins(i*n+1,t,inf);
ins(s,i*n+2,inf);
if(i!=0)
{
for(int j=1;j<=n;j++)
ins((i-1)*n+j,i*n+j,inf);
for(int j=1;j<=m;j++)
ins((i-1)*n+a[j][(i-1)%c[j]],i*n+a[j][i%c[j]],p[j]);
}
tot+=dinic();
if(tot>=k)
{
printf("%d
",i);
return 0;
}
}
// }
puts("0");
return 0;
}