【BZOJ1001】【BJOI2006】狼抓兔子（对偶图，最短路）

Description

现在小朋友们最喜欢的”喜羊羊与灰太狼”,话说灰太狼抓羊不到，但抓兔子还是比较在行的，
而且现在的兔子还比较笨，它们只有两个窝，现在你做为狼王，面对下面这样一个网格的地形：

左上角点为(1,1),右下角点为(N,M)(上图中N=4,M=5).有以下三种类型的道路
1:(x,y)<==>(x+1,y)
2:(x,y)<==>(x,y+1)
3:(x,y)<==>(x+1,y+1)
道路上的权值表示这条路上最多能够通过的兔子数，道路是无向的. 左上角和右下角为兔子的两个窝，
开始时所有的兔子都聚集在左上角(1,1)的窝里，现在它们要跑到右下解(N,M)的窝中去，狼王开始伏击
这些兔子.当然为了保险起见，如果一条道路上最多通过的兔子数为K，狼王需要安排同样数量的K只狼，
才能完全封锁这条道路，你需要帮助狼王安排一个伏击方案，使得在将兔子一网打尽的前提下，参与的
狼的数量要最小。因为狼还要去找喜羊羊麻烦.

Solution

显然是个最小割问题。
开始写了个sap，发现TLE了，网上的代码好像都是Dinic而且都加了点玄学优化才过的。
其实可以用对偶图解决，一个图的最大流等于最小割等于其对应对偶图的最短路。

Source

/************************************************
 * Au: Hany01
 * Date: Apr 4th, 2018
 * Prob: [BZOJ1001][BJOI2006] 狼抓兔子
 * Email: hany01@foxmail.com
************************************************/

#include<bits/stdc++.h>

using namespace std;

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 Mod (1000000007)
#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()
{
    register int _, __; register 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 = 2000005, maxw = 1005;

int id[maxw][maxw][2], v[maxn * 3], nex[maxn * 3], beg[maxn], e, w[maxn * 3], n, tot;

inline void add(int uu, int vv, int ww, int ty) {
    v[++ e] = vv, w[e] = ww, nex[e] = beg[uu], beg[uu] = e;
    if (ty) add(vv, uu, ww, 0);
}

inline int SPFA(int s, int t)
{
    static queue<int> q;
    static int dis[maxn], vis[maxn];
    For(i, 1, tot) dis[i] = INF;
    dis[s] = 0, q.push(s);
    while (!q.empty())
    {
        register int u = q.front();
        q.pop(), vis[u] = 0;
        for (register int i = beg[u]; i; i = nex[i])
            if (chkmin(dis[v[i]], dis[u] + w[i]))
                if (!vis[v[i]]) q.push(v[i]), vis[v[i]] = 1;
    }
    return dis[t];
}

int main()
{
#ifdef hany01
    File("bzoj1001");
#endif

    n = read();
    static int m = read(), S, T;
    if (n == 1 || m == 1) {
        static int Min = INF;
        For(i, 1, max(n, m) - 1) chkmin(Min, read());
        printf("%d\n", Min);
        return 0;
    }
    For(i, 1, n - 1) For(j, 1, m - 1)
        id[i][j][0] = ++ tot, id[i][j][1] = ++ tot;
    S = ++ tot, T = ++ tot;

    For(i, 1, n) For(j, 1, m - 1) {
        register int u = id[i - 1][j][0], v = id[i][j][1];
        if (!u) u = T; else if (!v) v = S;
        add(u, v, read(), 1);
    }
    For(i, 1, n - 1) For(j, 1, m) {
        register int u = id[i][j - 1][1], v = id[i][j][0];
        if (!u) u = S; else if (!v) v = T;
        add(u, v, read(), 1);
    }
    For(i, 1, n - 1) For(j, 1, m - 1)
        add(id[i][j][0], id[i][j][1], read(), 1);

    printf("%d\n", SPFA(S, T));

    return 0;
}
//庭树不知人去尽，春来还发旧时花。
//    -- 岑参《山房春事二首》