题意:度度熊有一个可能是整数规划的问题:
给定 n×n 个整数 ai,j(1≤i,j≤n),要找出 2n 个整数 x1,x2,…,xn,y1,y2,…,yn 在满足 xi+yj≤ai,j(1≤i,j≤n) 的约束下最大化目标函数 ∑ni=1xi+∑ni=1yi,
你需要帮他解决这个整数规划问题,并给出目标函数的最大值。
思路:这是一类可以用KM算法解决的特殊线性规划的问题。
我们考虑KM算法的原理。
KM算法
对于每一条边,每个顶标的值都满足 L[ i ] + R[ j ] >= w[ i,j ]。KM算法满足这一条件并使得顶标之和最小 。
本题的不等式 xi + yj >= -w(i,j)
-----》 -xi - yj <= w(i,j)(且可以取等)
#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
typedef LL lint;
const int maxn = 205;
namespace KM {
const int N = 205;
const lint inf = 0x3f3f3f3f3f3f3f;
int n;
lint cost[N][N];
lint lx[N], ly[N], match[N], slack[N];
int prev[N];
bool vy[N];
void init(int n) {
KM::n = n;
/*for (int i = 1; i <= n; i++)
for (int j = 1; j <= n; j++)
cost[i][j] = -io.rll();
*/
}
void augment(int root) {
fill(vy + 1, vy + n + 1, false);
fill(slack + 1, slack + n + 1, inf);
int py;
match[py = 0] = root;
do {
vy[py] = true;
int x = match[py], yy;
lint delta = inf;
for (int y = 1; y <= n; y++) {
if (!vy[y]) {
if (lx[x] + ly[y] - cost[x][y] < slack[y]) {
slack[y] = lx[x] + ly[y] - cost[x][y];
prev[y] = py;
}
if (slack[y] < delta) {
delta = slack[y];
yy = y;
}
}
}
for (int y = 0; y <= n; y++) {
if (vy[y]) {
lx[match[y]] -= delta;
ly[y] += delta;
} else
slack[y] -= delta;
}
py = yy;
} while (match[py] != -1);
do {
int pre = prev[py];
match[py] = match[pre];
py = pre;
} while (py);
}
lint KM() {
for (int i = 1; i <= n; i++) {
lx[i] = ly[i] = 0;
match[i] = -1;
for (int j = 1; j <= n; j++) lx[i] = max(lx[i], cost[i][j]);
}
lint answer = 0;
for (int root = 1; root <= n; root++) augment(root);
for (int i = 1; i <= n; i++) {
answer += lx[i];
answer += ly[i];
}
return answer;
}
}
int main(){
int T,ca = 0;
scanf("%d",&T);
while(T--){
int n,v;scanf("%d",&n);
KM::init(n);
for( int i = 1;i <= n;i++ ){
for( int j = 1;j <= n;j++ ){
scanf("%d",&v);
KM::cost[i][j] = -v;
}
}
LL ans = KM::KM();
printf("Case #%d: %lld\n",++ca,-ans);
}
return 0;
}