SCU3185 Black and white（二分图最大点权独立集）

题目大概说有几个黑色、白色矩阵，问能选出黑白不相交的矩形面积和的最大值。

建二分图，黑色矩阵为X部的点，白色为Y部，XY的点权都为其矩阵面积，如果有个黑白矩阵相交则它们之间有一条边，那样问题就是要从这个二分图中选出最大的点使其没有公共边且点权和最大。

即二分图的最大点权独立集。可以建容量网络用最小割求解，在二分图基础上加源点汇点，源点向X部连容量为权值的边，Y部向汇点连容量为权值的边，X部与Y部的无向边改为容量INF的有向边，最后的结果就是所有点权和-最小割。

 #include<cstdio>
 #include<cstring>
 #include<queue>
 #include<algorithm>
 using namespace std;
 #define INF (1<<30)
 #define MAXN 444
 #define MAXM 444*444*2
 struct Edge{
     int v,cap,flow,next;
 }edge[MAXM];
 int vs,vt,NV,NE,head[MAXN];
 void addEdge(int u,int v,int cap){
     edge[NE].v=v; edge[NE].cap=cap; edge[NE].flow=;
     edge[NE].next=head[u]; head[u]=NE++;
     edge[NE].v=u; edge[NE].cap=; edge[NE].flow=;
     edge[NE].next=head[v]; head[v]=NE++;
 }
 int level[MAXN];
 int gap[MAXN];
 void bfs(){
     memset(level,-,sizeof(level));
     memset(gap,,sizeof(gap));
     level[vt]=;
     gap[level[vt]]++;
     queue<int> que;
     que.push(vt);
     while(!que.empty()){
         int u=que.front(); que.pop();
         for(int i=head[u]; i!=-; i=edge[i].next){
             int v=edge[i].v;
             if(level[v]!=-) continue;
             level[v]=level[u]+;
             gap[level[v]]++;
             que.push(v);
         }
     }
 }
 int pre[MAXN];
 int cur[MAXN];
 int ISAP(){
     bfs();
     memset(pre,-,sizeof(pre));
     memcpy(cur,head,sizeof(head));
     int u=pre[vs]=vs,flow=,aug=INF;
     gap[]=NV;
     while(level[vs]<NV){
         bool flag=false;
         for(int &i=cur[u]; i!=-; i=edge[i].next){
             int v=edge[i].v;
             if(edge[i].cap!=edge[i].flow && level[u]==level[v]+){
                 flag=true;
                 pre[v]=u;
                 u=v;
                 aug=min(aug,edge[i].cap-edge[i].flow);
                 if(v==vt){
                     flow+=aug;
                     for(u=pre[v]; v!=vs; v=u,u=pre[u]){
                         edge[cur[u]].flow+=aug;
                         edge[cur[u]^].flow-=aug;
                     }
                     aug=INF;
                 }
                 break;
             }
         }
         if(flag) continue;
         int minlevel=NV;
         for(int i=head[u]; i!=-; i=edge[i].next){
             int v=edge[i].v;
             if(edge[i].cap!=edge[i].flow && level[v]<minlevel){
                 minlevel=level[v];
                 cur[u]=i;
             }
         }
         if(--gap[level[u]]==) break;
         level[u]=minlevel+;
         gap[level[u]]++;
         u=pre[u];
     }
     return flow;
 }
 struct Rect{
     int x1,y1,x2,y2;
 }black[],white[];
 bool isOver(Rect &r1,Rect &r2){
     if(r1.x1>=r2.x2 || r2.x1>=r1.x2 || r1.y1>=r2.y2 || r2.y1>=r1.y2) return ;
     return ;
 }
 int getArea(Rect &r){
     return (r.x2-r.x1)*(r.y2-r.y1);
 }
 int main(){
     int t,n,m,x1,y1,x2,y2;
     scanf("%d",&t);
     while(t--){
         scanf("%d%d",&n,&m);
         vs=; vt=n+m+; NV=vt+; NE=;
         memset(head,-,sizeof(head));
         int tot=;
         for(int i=; i<=n; ++i){
             scanf("%d%d%d%d",&black[i].x1,&black[i].y1,&black[i].x2,&black[i].y2);
             addEdge(vs,i,getArea(black[i]));
             tot+=getArea(black[i]);
         }
         for(int i=; i<=m; ++i){
             scanf("%d%d%d%d",&white[i].x1,&white[i].y1,&white[i].x2,&white[i].y2);
             addEdge(i+n,vt,getArea(white[i]));
             tot+=getArea(white[i]);
         }
         for(int i=; i<=n; ++i){
             for(int j=; j<=m; ++j){
                 if(isOver(black[i],white[j])) addEdge(i,j+n,INF);
             }
         }
         printf("%d\n",tot-ISAP());
     }
     return ;
 }