http://www.lydsy.com/JudgeOnline/problem.php?id=3571 (题目链接)

题意

  给出一个$2*N$个点的二分图,$N*N$条边,连接$i$和$j$的边有两个权值$A[i][j]$和$B[i][j]$。求$A$的和与$B$的和之积最小是多少。

Solution

  很经典的一个模型,右转题解→_→:http://blog.csdn.net/thy_asdf/article/details/50382556

  对于一类乘积最小的题目的方法,我们都可以把每种方案的$x$之和与$y$之和作为它们的坐标$(x,y)$

  要让乘积最小,那么作为答案的点一定在下凸壳上

  我们先求出$x$最小的方案的坐标,再求出$y$最小的方案的坐标

  这就是凸壳的两个端点$A$和$B$

  然后考虑分治,每次找出离直线$AB$最远的点$C$,再继续递归处理

  要使距离最远,那么就是使向量$AB$与$AC$的叉积最大

  即最大化:$(c.x-a.x)*(b.y-a.y)-(c.y-a.y)*(b.x-a.x)$

  即:$c.x*(b.y-a.y)+c.y*(a.x-b.x)-a.x*(b.y-a.y)+a.y*(b.x-a.x)$

  后面一部分是常数不用管,我们只要使$c.x*(b.y-a.y)+c.y*(a.x-b.x)$最大化

  那么把$A[i][j]*(b.y-a.y)+B[i][j]*(a.x-b.x)$做$i$匹配$j$的边权

  跑一遍KM求出最大匹配即可得出叉积最大的匹配

  对于其他的最小乘积XXX,就类似地每次跑一遍XXX的算法求出离$AB$最远的方案即可

  直到不可以继续细分下去就返回两端点的匹配较小的一个即可

  虽然可以通过把所有方案构造在凸壳上卡掉这个算法,但随机情况下还是很快的

  

  然而我还不会KM,还学习了一发KM。

  对于边$(x,y)$

  1.$x$,$y$都在当前匹配$lx[x]-=d$,$ly[y]+=d$和不变,原来在新图中,现在还在新图中;

  2.$x$在,$y$不在,$lx[x]-=d$,$ly[y]$不变,原来不在新图中,现在和减小了,可能出现在新图中;

  3.$x$不在,$y$在,$lx[x]$不变,$ly[y]+=d$,原来不在新图中,现在和变大了,不会进入新图中;

  4.$x$,$y$都不在,那么$lx[x]$,$ly[y]$都不变,原来不在新图中,现在也不在新图中。

  所以只有情况$2$会产生新边,不会有边消失,那么新图的边数会越来越大,直到找到一个完备匹配。

细节

  听说这题卡常。。

  这样是$O(n^4)$的,所以有一个优化,记录一个$slack$数组$slack[y]=min(lx[x]+ly[y]-g[x][y])$($x$与$y$有边)。每次求$d$就只要对不在匹配中的$y$的$slack$取$min$即可

代码

// bzoj3571
#include<algorithm>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<cstdio>
#include<cmath>
#include<queue>
#define LL long long
#define inf (1ll<<30)
#define MOD 1000000007
#define Pi acos(-1.0)
#define free(a) freopen(a".in","r",stdin),freopen(a".out","w",stdout);
using namespace std; const int maxn=100;
int vx[maxn],vy[maxn],lx[maxn],ly[maxn],p[maxn],sla[maxn];
int n,g[maxn][maxn],A[maxn][maxn],B[maxn][maxn]; struct point {int x,y;
friend bool operator == (point a,point b) {
return a.x==b.x && a.y==b.y;
}
}L,R; int match(int x) {
vx[x]=1;
for (int y=1;y<=n;y++) if (!vy[y]) {
int t=lx[x]+ly[y]-g[x][y];
if (!t) {
vy[y]=1;
if (!p[y] || match(p[y])) {p[y]=x;return 1;}
}
else sla[y]=min(sla[y],t);
}
return 0;
}
point KM() {
memset(lx,0,sizeof(lx));
memset(ly,0,sizeof(ly));
memset(p,0,sizeof(p));
for (int i=1;i<=n;i++)
for (int j=1;j<=n;j++) lx[i]=max(lx[i],g[i][j]);
for (int x=1;x<=n;x++) {
memset(sla,0x7f,sizeof(sla));
while (1) {
memset(vx,0,sizeof(vx));memset(vy,0,sizeof(vy));
if (match(x)) break;
int d=inf;
for (int i=1;i<=n;i++) if (!vy[i]) d=min(d,sla[i]);
for (int i=1;i<=n;i++) {
if (vx[i]) lx[i]-=d;
if (vy[i]) ly[i]+=d;
}
}
}
point ans=(point){0,0};
for (int i=1;i<=n;i++) ans.x+=A[p[i]][i],ans.y+=B[p[i]][i];
return ans;
}
int solve(point l,point r) {
for (int i=1;i<=n;i++)
for (int j=1;j<=n;j++) g[i][j]=A[i][j]*(r.y-l.y)+B[i][j]*(l.x-r.x);
point mid=KM();
if (l==mid || r==mid) return min(l.x*l.y,r.x*r.y);
return min(solve(l,mid),solve(mid,r));
}
int main() {
int T;scanf("%d",&T);
while (T--) {
scanf("%d",&n);
for (int i=1;i<=n;i++)
for (int j=1;j<=n;j++) scanf("%d",&A[i][j]);
for (int i=1;i<=n;i++)
for (int j=1;j<=n;j++) scanf("%d",&B[i][j]);
for (int i=1;i<=n;i++)
for (int j=1;j<=n;j++) g[i][j]=-A[i][j];
L=KM();
for (int i=1;i<=n;i++)
for (int j=1;j<=n;j++) g[i][j]=-B[i][j];
R=KM();
printf("%d\n",solve(L,R));
}
return 0;
}

最新文章

  1. LeetCode(124) Binary Tree Maximum Path Sum
  2. myBatis+SpringMVC+Maven整合
  3. 暴雪HASH算法(转)
  4. Nancy 自定义JsonSerializer
  5. KinderEditor编辑器使用
  6. filebeat安装与基础用法
  7. Windows系统镜像自动添加驱动程序
  8. Toad 中的compare使用方法
  9. Android studio mac版本快捷键
  10. 虎说:bootstrap源码解读(重置模块)
  11. Image File Execution Options(2)
  12. 糖果大战 hdu1204
  13. SpringMVC的相关知识
  14. zepto.js-定制zepto步骤
  15. Yarn的Linking dependencies特别慢的优化方法
  16. kafka-connect-hdfs重启,进去RECOVERY状态,从hadoop hdfs拿租约,很正常,但是也太久了吧
  17. Linux 实时查看tomcat 日志--less命令
  18. 01Flask基础
  19. MySQL视图(view)
  20. HttpServletRequest接收参数的几种方法

热门文章

  1. JavaWeb-Servlet-Tomcat
  2. Django_分页
  3. Vue 事件处理
  4. 最新的CocoaPods 安装及使用
  5. linux后退文件夹命令
  6. 20172319 2018.04.01-04.11 《Java程序设计》第5周学习总结
  7. 20172319 2018.04.11-16 《Java程序设计教程》 第6周学习总结
  8. HTML和CSS &lt;h1&gt; --1-- &lt;h1&gt;
  9. Windows服务器安全配置指南
  10. 消息队列第一篇:MessageQueue介绍