#6122. 「网络流 24 题」航空路线问题 输出路径

题目链接
题意
一张航空图，从西向东，1-n个城市，城市之间有若干条航线，航线可以往返，求从1到n再从n到1最多经过多少个不同的城市，1和n可以经过两次，其他城市都只能经过一次。
思路
经过次数，显然要想到拆点和流量控制，将每个城市点拆成入点和出点i和i+n，1与1+n之间的容量是2，费用是0，n与n+n之间的容量是2，费用是0，其他的入点与出点之间的容量是1，费用是0，这样就限制了1和n可以经过两次，其它点只能经过一次；因为求的是经过的最多城市，用最大费用最大流，建立源点S，汇点T，S连1容量为2,费用为0，n+n连T容量为2费用为0，航线连通的两个城市i,j，加边i+n与j容量为1，费用为-1，然后跑费用流。最大流如果不是2，则不能从1到n往返。
输出路径就从1的出点开始遍历，正向一次反向一次，第一次走过的第二次要跳过。

#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
using namespace std;
const int N = 5e3 + 7;
const int M = 1e4 + 7;
const int maxn = 5e3 + 7;
typedef long long ll;
int maxflow, mincost;
struct Edge {
    int from, to, cap, flow, cost;
    Edge(int u, int v, int ca, int f, int co):from(u), to(v), cap(ca), flow(f), cost(co){};
};
struct MCMF
{
    int n, m, s, t;
    vector<Edge> edges;
    vector<int> G[N];
    int inq[N], d[N], p[N], a[N];//是否在队列 距离 上一条弧 可改进量
    void init(int n) {
        this->n = n;
        for (int i = 0; i < n; i++) G[i].clear();
        edges.clear();
    }
    void add(int from, int to, int cap, int cost) {
        edges.push_back(Edge(from, to, cap, 0, cost));
        edges.push_back(Edge(to, from, 0, 0, -cost));
        int m = edges.size();
        G[from].push_back(m - 2);
        G[to].push_back(m - 1);
    }
    bool SPFA(int s, int t, int &flow, int &cost) {
        for (int i = 0; i < N; i++) d[i] = INF;
        memset(inq, 0, sizeof(inq));
        d[s] = 0; inq[s] = 1; p[s] = 0; a[s] = INF;
        queue<int> que;
        que.push(s);
        while (!que.empty()) {
            int u = que.front();
            que.pop();
            inq[u]--;
            for (int i = 0; i < G[u].size(); i++) {
                Edge& e = edges[G[u][i]];
                if(e.cap > e.flow && d[e.to] > d[u] + e.cost) {
                    d[e.to] = d[u] + e.cost;
                    p[e.to] = G[u][i];
                    a[e.to] = min(a[u], e.cap - e.flow);
                    if(!inq[e.to]) {
                        inq[e.to]++;
                        que.push(e.to);
                    }
                }
            }
        }
        if(d[t] == INF) return false;
        flow += a[t];
        cost += d[t] * a[t];
        int u = t;
        while (u != s) {
            edges[p[u]].flow += a[t];
            edges[p[u]^1].flow -= a[t];
            u = edges[p[u]].from;
        }
        return true;
    }
    int MinMaxflow(int s, int t) {
        int flow = 0, cost = 0;
        while (SPFA(s, t, flow, cost));
        maxflow = flow; mincost = cost;
        return cost;
    }
};
map<int, string> mp;
map<string, int> id;
MCMF solve;
int n, m, s, t, tot = 0;
void dfs(int x)
{
    cout << mp[x - n] << endl;
    if(x == n + n) return;
    for (int i = 0; i < solve.G[x].size(); i++) {
        Edge& e = solve.edges[solve.G[x][i]];
        if(e.flow != e.cap || solve.G[x][i] & 1) continue;
        dfs(e.to + n); return;
    }
}
void dfs1(int x) {
    if(x == n + n) return;
    for (int i = 0; i < solve.G[x].size(); i++) {
        Edge& e = solve.edges[solve.G[x][i]];
        if(e.flow != e.cap || solve.G[x][i] & 1) continue;
        dfs1(e.to + n); cout << mp[x - n] << endl;
    }
}
int main()
{
    cin >> n >> m;
    s = 0, t = 2 * n + 1;
    solve.add(s, 1, 2, 0);
    solve.add(n + n, t, 2, 0);
    for (int i = 1; i <= n; i++) {
        string ss;
        cin >> ss;
        id[ss] = ++tot;
        mp[tot] = ss;
    }
    for (int i = 2; i <= n - 1; i++) solve.add(i, i + n, 1, 0);
    solve.add(1, 1 + n, 2, 0); solve.add(n, n + n, 2, 0);//1和n可以经过两次
    for (int i = 1; i <= m; i++) {
        string s1, s2;
        cin >> s1 >> s2;
        int id1 = id[s1], id2 = id[s2];
        if(id1 > id2) swap(id1, id2);
        if(id1 == 1 && id2 == n) solve.add(1 + n, n, 2, -1);//特判如果是从1到n则可以走两次
        else solve.add(id1 + n, id2, 1, -1);
    }
    solve.MinMaxflow(s, t);
    if(maxflow != 2) {
        printf("No Solution!\n");
        return 0;
    }
    printf("%d\n", -mincost);
    dfs(n + 1);
    bool flag = 0;
    for (int i = 0; i < solve.G[1 + n].size(); i++) {
        Edge& e = solve.edges[solve.G[n + 1][i]];
        if(e.flow != e.cap || solve.G[n + 1][i] & 1) continue;//流量不为0且是正向边输出
        if(!flag) {
            flag = 1;
            continue;
        }
        dfs1(e.to + n); break;
    }
    cout << mp[1] << endl;
}