二分图匹配+floyd求图中节点是否可达。模型很容易想到。此题我认为用网络流最好解释，如果有device有重复的话。二分图建模比较麻烦。一开始没想到这点，用二分图做的,但是AC了，数据应该没有device重复的情况。然后就是判断一个插头通过适配器能转化成什么其他的插头，刚开始用矩阵乘法来判断这个关系，数据一开到500运行时就运行错误(感觉也不是很大啊，至今还不知道原因)，后来在网上发现有用floyd做，想了想，确实可以，而且还简单，就是个DP的过程。
1 #include <iostream> 2 #include <cstdio> 3 #include <cstring> 4 #include <cmath> 5 #include <map> 6 #include <string> 7 using namespace std; 8 const int maxn=500+10; 9 int n,m,k,tot; 10 map<string,int> a1; 11 map<string,int> a2; 12 int bi[maxn][maxn]; 13 int x[maxn],y[maxn],ch[maxn],mark[maxn]; 14 int g[maxn][maxn]; 15 int dfs(int u) 16 { 17 int v; 18 for(v=1;v<=n;v++) 19 { 20 if(bi[u][v]&&!ch[v]) 21 { 22 ch[v]=1; 23 if(!y[v]||dfs(y[v])) 24 { 25 y[v]=u;x[u]=v; 26 return 1; 27 } 28 //ch[v]=0; ch[v]不用置为0,从v没有增广路，以后不管那条只要走到v肯定还没有增广路，所以直接把他标记，省的以后再来搞她 29 } 30 } 31 return 0; 32 } 33 int MaxMatch() 34 { 35 memset(x,0,sizeof(x)); 36 memset(y,0,sizeof(y)); 37 int i,sum=0; 38 for(i=1;i<=m;i++) 39 { 40 memset(ch,0,sizeof(ch)); 41 if(dfs(i)) sum++; 42 } 43 return sum; 44 } 45 void floyd() 46 { 47 int i,j,k; 48 for(k=1;k<=tot;k++) 49 { 50 for(i=1;i<=tot;i++) 51 { 52 for(j=1;j<=tot;j++) 53 g[i][j]=g[i][j]||(g[i][k]&&g[k][j]); 54 } 55 } 56 } 57 int main() 58 { 59 scanf("%d",&n); 60 int i; 61 string s1,s2; 62 tot=0; 63 for(i=0;i<n;i++) 64 { 65 cin>>s1; 66 a1[s1]=++tot; 67 } 68 scanf("%d",&m); 69 int u,v; 70 for(i=1;i<=m;i++) 71 { 72 cin>>s1>>s2; 73 if(!a1[s2]) a1[s2]=++tot; 74 v=a1[s2]; 75 mark[i]=v; 76 } 77 scanf("%d",&k); 78 for(i=0;i<k;i++) 79 { 80 cin>>s1>>s2; 81 if(!a1[s1]) a1[s1]=++tot; if(!a1[s2]) a1[s2]=++tot; 82 u=a1[s1]; v=a1[s2]; 83 g[u][v]=1; 84 } 85 for(i=1;i<=tot;i++) g[i][i]=1; 86 floyd(); 87 for(i=1;i<=m;i++) 88 { 89 u=mark[i]; 90 for(v=1;v<=n;v++) 91 { 92 if(g[u][v]) bi[i][v]=1; 93 } 94 } 95 printf("%d ",m-MaxMatch()); 96 return 0; 97 }