【BZOJ3168】[Heoi2013]钙铁锌硒维生素 高斯消元求矩阵的逆+匈牙利算法

【BZOJ3168】[Heoi2013]钙铁锌硒维生素

Description

银河队选手名单出来了!小林,作为特聘的营养师,将负责银河队选手参加宇宙比赛的饮食。众所周知,前往宇宙的某个星球,通常要花费好长好长的时间,人体情况在这之间会发生变化,因此,需要根据每天的情况搭配伙食,来保证营养。小林把人体需要的营养分成了n种,这些营养包括但不限于铁,钙。他准备了2套厨师机器人,一套厨师机器人有n个,每个厨师机器人只会做一道菜,这道菜一斤能提供第i种营养xi微克。想要吃这道菜的时候,只要输入一个数,就能吃到对应数量的这道菜了。为防止摄入过量对身体造成的伤害,每个机器人还有防过量摄入药,只要输入一个数,就能生成一定剂量的药,吃了这些药,就能减少相当于食用对应数目的这道菜提供的营养。小林之所以准备2套厨师机器人,正是因为旅途漫漫,难以预计,也许某一个厨师机器人在途中坏掉,要是影响了银河队选手的身体,就不好了。因此,第2套厨师机器人被用来做第1套的备用。小林需要为每一个第1套厨师机器人选一个第2套厨师机器人作备份,使得当这个机器人坏掉时,用备份顶替,整套厨师机器人仍然能搭配出任何营养需求,而且,每个第2套厨师机器人只能当一个第1套厨师机器人的备份。

Input

第一行包含一个正整数n。
接下来n行,每行n个整数,表示第1套厨师机器人做的菜每一斤提供的每种营养。
再接下来n行,每行n个整数,表示第2套厨师机器人做的菜每一斤提供的每种营养。
1≤n≤300,所有出现的整数均非负,且不超过10,000。

Output

第一行是一个字符串,如果无法完成任务,输出“NIE”,否则输出“TAK”
并跟着n行,第i行表示第i个第1套机器人的备份是哪一个第2套机器人。
为了避免麻烦,如果有多种可能的答案,请给出字典序最小的那一组。

Sample Input

3
1 0 0
0 1 0
0 0 1
2 3 0
0 7 8
0 0 9

Sample Output

TAK
1
2
3

题解要不是有大爷的题解我还真就不一定能看懂题意。。。

题目大意:给定一个nn的满秩矩阵A和一个nn的矩阵B,求一个字典序最小的1...n的排列a满足将任意一个Ai换成Bai后矩阵A仍然满秩。

是不是清晰多了?求这样的排列实际上是将A乘上一个矩阵C使得CA=B,C=BA-1

求出来C后,我们改变思路,将用边i->j表示B中j号机器人能替换A中i号机器人,然后就得到了一个二分图,而CT正好是二分图的邻接矩阵,我们想求二分图的字典序最小的完美匹配。

一开始以为大爷做麻烦了,直接从后往前做一遍匈牙利算法就行,直到我看了Discuss。。。好吧还是要做两边,第一遍正常跑,第二遍贪心的选编号小的,并且要求后面的点不能影响前面的点。

这里依旧是做一下大爷博客的注释:

1.为什么是CA=B而不是AC=B???(我一开始也死活搞不懂)
因为每个机器人对应一个行向量,而我们想让A中的行向量对应B中另外一个行向量,这显然直接矩乘是不行的,但如果我们将A,B分别转置,就可以做到A中一个列向量对应B中另外一个列向量,然后就是ATC=BT(这里的C指的就是二分图的邻接矩阵),等价于CTA=B

2.不影响前面的交错环是什么鬼?(或者你认为我说的也不是那么清楚?)

直接说方法吧:在第二遍DFS的时候记录一下当前是从那个点开始去寻找增广路的,也就意味着编号比这个点小的点我们都不能影响。所以我们看一下B中的机器人所对应的A中的机器人的编号,如果编号<起始点,就不能更改;如果编号=起始点,而我们已经向让起始点和其它点匹配了,这个点就已经被闲置出来了,就可以更改;如果编号>起始点,那么我们继续寻找增广路就行了。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <cmath>
#define mod 999911657
using namespace std;
const double eps=1e-6;
typedef long long ll;
int n,ans;
ll A[310][610],B[310][310],C[310][310];
int vis[310],from[310],to[310];
ll pm(ll x,ll y)
{
	ll z=1;
	while(y)
	{
		if(y&1)	z=z*x%mod;
		x=x*x%mod,y>>=1;
	}
	return z;
}
int rd()
{
	int ret=0;	char gc=getchar();
	while(gc<'0'||gc>'9')	gc=getchar();
	while(gc>='0'&&gc<='9')	ret=ret*10+gc-'0',gc=getchar();
	return ret;
}
int dfs1(int x)
{
	for(int i=1;i<=n;i++)
	{
		if(C[i][x]&&!vis[i])
		{
			vis[i]=1;
			if(!from[i]||dfs1(from[i]))
			{
				to[x]=i,from[i]=x;
				return 1;
			}
		}
	}
	return 0;
}
int dfs2(int x,int y)
{
	for(int i=1;i<=n;i++)
	{
		if(C[i][x]&&!vis[i])
		{
			vis[i]=1;
			if(from[i]==y||(from[i]>y&&dfs2(from[i],y)))
			{
				from[i]=x,to[x]=i;
				return 1;
			}
		}
	}
	return 0;
}
int main()
{
	n=rd();
	int i,j,k;
	for(i=1;i<=n;i++)	for(j=1;j<=n;j++)	A[i][j]=rd(),A[i][j+n]=(i==j);
	for(i=1;i<=n;i++)	for(j=1;j<=n;j++)	B[i][j]=rd();
	ll t;
	for(i=1;i<=n;i++)
	{
		for(j=i;j<=n;j++)	if(A[j][i])
		{
			for(k=1;k<=2*n;k++)	swap(A[i][k],A[j][k]);
			break;
		}
		t=pm(A[i][i],mod-2);
		for(k=i;k<=2*n;k++)	A[i][k]=A[i][k]*t%mod;
		for(j=1;j<=n;j++)	if(i!=j)
		{
			t=A[j][i];
			for(k=1;k<=2*n;k++)	A[j][k]=(A[j][k]-t*A[i][k]%mod+mod)%mod;
		}
	}
	for(i=1;i<=n;i++)	for(j=1;j<=n;j++)	for(k=1;k<=n;k++)	C[i][j]=(C[i][j]+B[i][k]*A[k][j+n])%mod;
	for(i=1;i<=n;i++)
	{
		memset(vis,0,sizeof(vis));
		ans+=dfs1(i);
	}
	if(ans<n)
	{
		printf("NIE");
		return 0;
	}
	printf("TAK
");
	for(i=1;i<=n;i++)
	{
		memset(vis,0,sizeof(vis));
		dfs2(i,i);
	}
	for(i=1;i<=n;i++)	printf("%d
",to[i]);
	return 0;
}
原文地址:https://www.cnblogs.com/CQzhangyu/p/7054570.html