Descrption
Solution
对于每个点,拆成两个点,一个向另一个流量为1,费用为-1(起点、终点流量为2),其他的边流量为INF,跑MCMF即可。
Code
/************************************************
* Au: Hany01
* Prob: loj6122
* Email: hany01@foxmail.com
* Inst: Yali High School
************************************************/
#include<bits/stdc++.h>
#include<ext/pb_ds/hash_policy.hpp>
#include<ext/pb_ds/assoc_container.hpp>
using namespace std;
using namespace __gnu_pbds;
typedef long long LL;
typedef pair<int, int> PII;
#define File(a) freopen(a".in", "r", stdin), freopen(a".out", "w", stdout)
#define rep(i, j) for (register int i = 0, i##_end_ = (j); i < i##_end_; ++ i)
#define For(i, j, k) for (register int i = (j), i##_end_ = (k); i <= i##_end_; ++ i)
#define Fordown(i, j, k) for (register int i = (j), i##_end_ = (k); i >= i##_end_; -- i)
#define Set(a, b) memset(a, b, sizeof(a))
#define Cpy(a, b) memcpy(a, b, sizeof(a))
#define x first
#define y second
#define pb(a) push_back(a)
#define mp(a, b) make_pair(a, b)
#define ALL(a) (a).begin(), (a).end()
#define SZ(a) ((int)(a).size())
#define INF (0x3f3f3f3f)
#define INF1 (2139062143)
#define debug(...) fprintf(stderr, __VA_ARGS__)
#define y1 wozenmezhemecaia
template <typename T> inline bool chkmax(T &a, T b) { return a < b ? a = b, 1 : 0; }
template <typename T> inline bool chkmin(T &a, T b) { return b < a ? a = b, 1 : 0; }
inline int read() {
static int _, __; static char c_;
for (_ = 0, __ = 1, c_ = getchar(); c_ < '0' || c_ > '9'; c_ = getchar()) if (c_ == '-') __ = -1;
for ( ; c_ >= '0' && c_ <= '9'; c_ = getchar()) _ = (_ << 1) + (_ << 3) + (c_ ^ 48);
return _ * __;
}
const int maxn = 205, maxm = maxn * maxn << 1;
int n, m, e = 1, beg[maxn], v[maxm], nex[maxm], w[maxm], f[maxm], vis[maxn], dis[maxn], tot, fl, pr[maxn], S, T, rev, cost;
map<string, int> id;
map<int, string> name;
char str[99];
inline void add(int uu, int vv, int ff, int ww, int ty = 1) {
v[++ e] = vv, f[e] = ff, w[e] = ww, nex[e] = beg[uu], beg[uu] = e;
if (ty) add(vv, uu, 0, -ww, 0);
}
inline bool BFS()
{
static queue<int> q;
For(i, 1, T) dis[i] = INF;
Set(vis, 0), dis[S] = 0, q.push(S);
while (!q.empty()) {
int u = q.front(); q.pop(), vis[u] = 0;
for (register int i = beg[u]; i; i = nex[i])
if (f[i] && chkmin(dis[v[i]], dis[u] + w[i]))
if (!vis[v[i]]) vis[v[i]] = 1, q.push(v[i]);
}
return dis[T] != INF;
}
int DFS(int u, int flow)
{
if (u == T) return flow;
int t, res = flow;
vis[u] = 1;
for (register int i = beg[u]; i; i = nex[i])
if (f[i] && dis[v[i]] == dis[u] + w[i] && !vis[v[i]]) {
t = DFS(v[i], min(flow, f[i])), f[i] -= t, f[i ^ 1] += t, cost += w[i] * t;
if (!(res -= t)) return flow;
}
return flow - res;
}
inline void find(int u)
{
if (u == T) {
if (rev) Fordown(i, tot - 1, 1) cout << name[pr[i]] << endl;
else For(i, 1, tot) cout << name[pr[i]] << endl;
fl = 1; return ;
}
if (u <= n) pr[++ tot] = u;
for (register int i = beg[u]; i; i = nex[i]) {
if (!(i & 1) && f[i ^ 1]) {
-- f[i ^ 1], find(v[i]);
if (fl) return;
}
}
if (u <= n) -- tot;
}
int main()
{
#ifdef hany01
File("loj6122");
#endif
static int uu, vv, Flow;
n = read(), m = read();
For(i, 1, n) scanf("%s", str), name[id[(string)str] = i] = str, add(i, i + n, 1 + (i == 1 || i == n), -1);
while (m --) {
scanf("%s", str), uu = id[str], scanf("%s", str), vv = id[str];
if (uu > vv) swap(uu, vv);
add(uu + n, vv, INF, 0);
}
S = 1, T = n * 2;
while (BFS())
do Set(vis, 0), Flow += DFS(S, INF); while (vis[T]);
if (Flow < 2) return puts("No Solution!"), 0;
printf("%d\n", - cost - 2);
tot = 0, fl = 0, find(S), fl = 0, rev = 1, tot = 0, find(S);
return 0;
}
//春日宴,绿酒一杯歌一遍。
// -- 冯延巳《长命女·春日宴》