A Plug for UNIX POJ - 1087(map + 思维拆点建图 + 二分图匹配最大流)

一、题意

给你n，m，k。n代表房间中的插座数量，m代表设备的数量，k代表转换器的数量。
一种设备对应一种插座，转换器可以将不同型号的接口进行相互转化(提供无限个)。问有多少台设备不能充电。

二、建图

坑点，他输入的时候可能有重复的名字，所以在每次输入插座和设备的时候都要判断一下是否原来出现过，没有出现过的话，我们用map为这个设备更新下标号。

将插座进行拆点，拆成插座1，插座2，这样插座1与插座2的权值为1，限制了一个插座只能使用一次。

1. 建立超级源点与每台设备进行相连，权值为inf
2. 每台设备与设备对用的插座1相连，权值为1
3. 房间中的插座1与插座2相连，权值为1
4. 转换器之间，转换器对应的插座1与可连接上的插座1相连，权值为inf
5. 所有的插座2与超级汇点相连，权值为inf

三、ACcode

/*
 * @Author: NEFU_马家沟老三
 * @LastEditTime: 2020-11-06 20:35:53
 * @CSDN blog: https://blog.csdn.net/acm_durante
 * @E-mail: 1055323152@qq.com
 * @ProbTitle: 
 */
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <iostream>
#include <string>
#include <vector>
#include <stack>
#include <bitset>
#include <cstdlib>
#include <cmath>
#include <set>
#include <list>
#include <deque>
#include <map>
#include <queue>
#include <iomanip>
using namespace std;
typedef long long ll;
#define rep(i, a, n) for (int i = a; i <= n; i++)
#define per(i, a, n) for (int i = n; i >= a; i--)
const double PI = acos(-1.0);
/*
源点：0
设备：1 - 200；
插座1：201 - 400
插座2：401 - 600
汇点：601
*/
const int N = 808,M = 800000, inf = (1 << 28);
struct edge{
    int v,w,next;
}e[M];
int head[N],d[N],now[N],cnt;

void add(int u,int v,int w){
    e[++cnt].v = v,e[cnt].w = w,e[cnt].next = head[u],head[u] = cnt;
    e[++cnt].v = u,e[cnt].w = 0,e[cnt].next = head[v],head[v] = cnt;
}
string s,ss;
map<string,int>v,vv;
int n,m,k;

void creat_map(){
    memset(head,-1,sizeof(head));
    cnt = 1;
    int pos = 0,pos2 = 0;
    cin >> n;
    rep(i,1,n){//插座1->插座2 || 插座2->汇点
        cin >> s;//输入的是插座
        if(v[s] == 0){
            v[s] = (++pos);
        }
        add(v[s]+200,v[s]+400,1);
        add(v[s]+400,601,inf);
    }
    cin >> m;
    rep(i,1,m){
        cin >> s >> ss;//设备 -> 插座
        if(v[ss] == 0){
            v[ss] = (++pos);
        }
        if(vv[s] == 0){
            vv[s] = (++pos2);
        }
        add(0,vv[s],inf);//s -> 设备
        add(vv[s],v[ss] + 200,1);//设备->插座1
    }
    cin >> k;
    rep(i,1,k){//插座1->插座1
        cin >> s >> ss;
        if(v[s] == 0){
            v[s] = (++pos);
        }
        if(v[ss] == 0){
            v[ss] = (++pos);
        }
        add(v[s]+200,v[ss]+200,inf);
    }
    //for(auto i:v) cout << i.first << " " << i.second << endl;
}

queue<int>q;
bool bfs(int s,int t){//分层图
    memset(d,0,sizeof(d));
    while(!q.empty()) q.pop();
    q.push(s);
    d[s] = 1;
    now[s] = head[s];
    while(!q.empty()){
        int u = q.front();
        q.pop();
        for(int i = head[u]; ~i ;i = e[i].next){
            int v = e[i].v , w = e[i].w;
            if(w && d[v] == 0){
                q.push(v);
                d[v] = d[u] + 1;
                now[v] = head[v];
                if(v == t) return 1;
            }
        }
    }
    return 0;
}

int dfs(int u,int t,int flow){
    if(u == t) return flow;
    int rest = flow, i , k;
    for(i = now[u] ; ~i && rest; i = e[i].next){
        int v = e[i].v , w = e[i].w;
        if(w && d[v] == d[u] + 1){
            k = dfs(v, t ,min(rest,w));
            if(!k) d[v] = 0;
            e[i].w -= k;
            e[i^1].w += k;
            rest -= k;
        }
    }
    now[u] = i;
    return flow - rest; 
}
int dinic(int s,int t){
    int res = 0, flow = 0;
    while(bfs(s,t)){
        while(flow = dfs(s,t,inf)) res += flow;
    }
    return res;
}
int main()
{
    ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
    
    creat_map();//建图
    cout << m - dinic(0,601) << "\n";//dinci
    return 0;
}