【BZOJ3144】【HNOI2013】切糕（网络流）

Description

经过千辛万苦小 A 得到了一块切糕，切糕的形状是长方体，小 A 打算拦腰将切糕切成两半分给小 B。出于美观考虑，小 A 希望切面能尽量光滑且和谐。于是她找到你，希望你能帮她找出最好的切割方案。

出于简便考虑，我们将切糕视作一个长 P、宽 Q、高 R 的长方体点阵。我们将位于第 z层中第 x 行、第 y 列上(1≤x≤P, 1≤y≤Q, 1≤z≤R)的点称为(x,y,z)，它有一个非负的不和谐值 v(x,y,z)。一个合法的切面满足以下两个条件：

1. 与每个纵轴(一共有 P*Q 个纵轴)有且仅有一个交点。即切面是一个函数 f(x,y)，对于所有 1≤x≤P, 1≤y≤Q,我们需指定一个切割点 f(x,y),且 1≤f(x,y)≤R。

2. 切面需要满足一定的光滑性要求，即相邻纵轴上的切割点不能相距太远。对于所有的 1≤x,x’≤P 和 1≤y,y’≤Q，若|x-x’|+|y-y’|=1，则|f(x,y)-f(x’,y’)| ≤D，其中 D 是给定的一个非负整数。 可能有许多切面f 满足上面的条件，小A 希望找出总的切割点上的不和谐值最小的那个。

---

Solution

网络流建模题。

题面简化为，一个矩阵，每个格子分配一个数，不同的数字，代价不同，要求相邻格子数字差小等于d$\qquad\qquad$——hzwer

像这种有很多个选项、两两之间又有限制的题目，我们可以用最小割来艹。
源点连向每一个单元的起点，流量为$+\infty$，每一个单元的终点连向汇点，流量也为$+\infty$。
每个单元是一条链，中间每条边的流量即每一个选项的费用。
至于限制，在链与链之间根据需要连流量为$+\infty$的边即可。
那么求出的最小割即为最小代价。

---

Code

居然1A了？

/************************************************
 * Au: Hany01
 * Date: Apr 4th, 2018
 * Prob: [BZOJ3144][HNOI2013]切糕
 * 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 = 41, maxnode = 43 * 43 * 43, maxm = maxnode * 10;

int P, Q, R, w[maxn][maxn][maxn], e, v[maxm], f[maxm], nex[maxm], beg[maxnode], S, T, D, gap[maxnode], d[maxnode], tot;

int dt[4][2] = {0, 1, 1, 0, 0, -1, -1, 0};

#define idx(i, j, k) ((k - 1) * P * Q + (i - 1) * Q + j)

inline void add(int uu, int vv, int ff, int ty) {
    v[++ e] = vv, f[e] = ff, nex[e] = beg[uu], beg[uu] = e;
    if (ty != -1) add(vv, uu, ty, -1);
}

inline bool isin(int x, int y) { return x >= 1 && x <= P && y >= 1 && y <= Q; }

int sap(int u, int flow)
{
    if (u == T) return flow;
    int tmp, res = flow;
    for (register int i = beg[u]; i; i = nex[i]) if (f[i] && d[v[i]] + 1 == d[u]) {
        tmp = sap(v[i], min(res, f[i]));
        f[i] -= tmp, f[i ^ 1] += tmp;
        if (!(res -= tmp)) return flow;
    }
    if (!-- gap[d[u]]) d[S] = tot;
    ++ gap[++ d[u]];
    return flow - res;
}

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

    //Input
    P = read(), Q = read(), R = read(), D = read();
    For(i, 1, R) For(j, 1, P) For(k, 1, Q) w[j][k][i] = read();

    //Modeling
    S = P * Q * (R + 1) + 1, T = tot = P * Q * (R + 1) + 2, e = 1;
    For(i, 1, P) For(j, 1, Q) {
        add(S, idx(i, j, 1), INF, 0), add(idx(i, j, R + 1), T, INF, 0);
        For(k, 1, R) add(idx(i, j, k), idx(i, j, k + 1), w[i][j][k], 0);
        rep(l, 4) if (isin(i + dt[l][0], j + dt[l][1]))
            For(k, 1, R + 1) {
                if (k >= D + 1) add(idx(i, j, k), idx(i + dt[l][0], j + dt[l][1], k - D), INF, 0);
                if (k + D <= R + 1) add(idx(i + dt[l][0], j + dt[l][1], k + D), idx(i, j, k), INF, 0);
            }
    }

    //Get the max flow
    int Ans = 0;
    for (gap[0] = tot; d[S] < tot; ) Ans += sap(S, INF);
    printf("%d\n", Ans);

    return 0;
}
//假令风歇时下来，犹能簸却沧溟水。
//    -- 李白《上李邕》