洛谷 ~ P2754 ~ [CTSC1999]家园 （枚举 + 分层图 + 最大流）

由于数据范围较小，所以我们枚举答案，构造分层图求解即可。

建立超级源点S和超级汇点T，然后枚举答案（即层数），每层图n+2个点，建模如下

①S往地球连边，月球往T连边，边权均为INF

②每个点对应的上一层的点往该点连边，边权为INF，表示人在空间站待着。

③对于每个太空船，从上一时刻停靠的点向这一时刻停靠的点连一条容量为飞船容量p[i]的边，表示p[i]个人可以乘坐这艘太空船到达另一个太空站

然后每次增加一层，就跑最大流，累计最大流 >= k 时就是答案。

无解情况，可以用并查集判断，如果u空间站可以到达v，那么合并u，v，如果最终地球和月球不在一个并查集中证明不可到达。

或者一些玄学的方法？当枚举了很多层图还没有答案时，认为无解。

 

#include<bits/stdc++.h>
using namespace std;

const int MAXN = 1e5 + 5;
const int INF = 0x3f3f3f3f;
struct Edge
{
    int from, to, cap, flow;       //起点,终点,容量,流量
    Edge(int u, int v, int c, int f) : from(u), to(v), cap(c), flow(f) {}
};
struct Dinic
{
    int n, m, s, t;                //结点数,边数(包括反向弧),源点s,汇点t
    vector<Edge> edges;            //边表。edges[e]和edges[e^1]互为反向弧
    vector<int> G[MAXN];           //邻接表，G[i][j]表示结点i的第j条边在edges数组中的序号
    int d[MAXN];                   //从起点到i的距离（层数差）
    int cur[MAXN];                 //当前弧下标
    bool vis[MAXN];                //BFS分层使用

    void init(int n)
    {
        this->n = n;
        edges.clear();
        for (int i = 0; i <= n; i++) G[i].clear();
    }

    void add_edge(int from, int to, int cap)
    {
        edges.push_back(Edge(from, to, cap, 0));
        edges.push_back(Edge(to, from, 0, 0));
        m = edges.size();
        G[from].push_back(m - 2);
        G[to].push_back(m - 1);
    }

    bool BFS()//构造分层网络
    {
        memset(vis, 0, sizeof(vis));
        queue<int> Q;
        d[s] = 0;
        vis[s] = true;
        Q.push(s);
        while (!Q.empty())
        {
            int x = Q.front(); Q.pop();
            for (int i = 0; i < G[x].size(); i++)
            {
                Edge& e = edges[G[x][i]];
                if (!vis[e.to] && e.cap > e.flow)
                {
                    vis[e.to] = true;
                    d[e.to] = d[x] + 1;
                    Q.push(e.to);
                }
            }
        }
        return vis[t];
    }
    int DFS(int x, int a)//沿阻塞流增广
    {
        if (x == t || a == 0) return a;
        int flow = 0, f;
        for (int& i = cur[x]; i < G[x].size(); i++)//从上次考虑的弧
        {
            Edge& e = edges[G[x][i]];
            if (d[x] + 1 == d[e.to] && (f = DFS(e.to, min(a, e.cap - e.flow))) > 0)//多路增广
            {
                e.flow += f;
                edges[G[x][i]^1].flow -= f;
                flow += f;
                a -= f;
                if (a == 0) break;
            }
        }
        return flow;
    }
    int max_flow(int s, int t)
    {
        this->s = s; this->t = t;
        int flow = 0;
        while (BFS())
        {
            memset(cur, 0, sizeof(cur));
            flow += DFS(s, INF);
        }
        return flow;
    }

}solve;

const int maxn = 25;
int n, m, k, p[maxn], r[maxn], s[maxn][maxn];

int main()
{
    scanf("%d%d%d", &n, &m, &k);
    for (int i = 0; i < m; i++)
    {
        scanf("%d%d", &p[i], &r[i]);
        for (int j = 0; j < r[i]; j++)
        {
            scanf("%d", &s[i][j]);
            if (s[i][j] == -1) s[i][j] = n+1;
        }
    }
    n += 2;
    int AC = 1002, S = 1001, T = 1002;//估计总点数，超级源，超级汇
    solve.init(AC);
    solve.add_edge(S, 0, INF);
    solve.add_edge(n-1, T, INF);
    for (int ans = 1; ; ans++)
    {
        solve.add_edge(S, 0+ans*n, INF);//超级源点向这一时刻的地球连边
        solve.add_edge(n-1+ans*n, T, INF);//这一时刻的月球向超级汇点连边
        for (int i = 1; i < n-1; i++)
            solve.add_edge(i+(ans-1)*n, i+ans*n, INF);//在空间站不动
        for (int i = 0; i < m; i++)
        {
            int u = s[i][(ans-1)%r[i]]+(ans-1)*n;
            int v = s[i][ans%r[i]]+ans*n;
            solve.add_edge(u, v, p[i]);//通过飞船移动
        }
        k -= solve.max_flow(S, T);
        if (k <= 0) { printf("%d\n", ans); break; }
        if (ans > 500) { printf("0\n"); break; }//无解情况
    }
    return 0;
}

/*
2 2 1
1 3 0 1 2
1 3 1 2 -1
*/