思路:想做图论,不想天天线段树,就去搜了题,这个正好见过,可相交的最小路径覆盖,建图跑匈牙利就可以了,匈牙利也很简单,就一个深搜,数据规模二百,也不用任何优化。
ps:不相交的话,就把弗洛伊德那一段代码删了就是答案。
当然二分图还有一个km算法也很重要,就是匈牙利的加强版。
n,m=map(int,input().split())
vis=[[False for i in range(200)] for i in range(200)]
mp=[[0 for i in range(m+1)] for i in range(n+1)] #带编号的图
cnt=1
#处理输入
for i in range(n):
mid=input()
for j in range(m):
if (mid[j]=="1"):
mp[i+1][j+1]=cnt
cnt+=1
#print(cnt)
#单向边初始化图
for i in range(1,1+n):
for j in range(1,m+1):
if ((i+1)<=n) and mp[i+1][j]:
vis[mp[i][j]][mp[i+1][j]]=1
if ((j+1)<=m) and mp[i][j+1]:
vis[mp[i][j]][mp[i][j+1]]=1
del mp #顺手把空间处理一下
#跑弗洛伊德,处理每个点所有能到的点,因为是可以相交
for k in range(1,cnt):
for i in range(1,cnt):
for j in range(1,cnt):
vis[i][j]|=(vis[i][k]&vis[k][j])
#匈牙利求最大匹配
match=[0 for i in range(200)]
def fun(x):
global v
for i in range(1,cnt):
if (vis[x][i]==0): continue
if (v[i]):continue
v[i]=1
if (match[i]==0 or fun(match[i])):
match[i]=x
return 1
return 0
ans=0
for i in range(1,cnt):
v=[0 for i in range(200)]
ans+=fun(i)
#print(ans)
print(cnt-1-ans)
通过情况: