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

我们考虑建立一个二分图。假设Ai能换成Bj。就在i−>j之间连接一条边

那么这个图怎么建呢?

考虑一个行向量Bi,我们在A中找到最小的行向量集合满足Bi能够被这些行向量线性表出,那么显然Bi仅仅能替换这些行向量

我们能够设矩阵C满足C∗A=B,那么C=B∗A−1

Ci,j≠0表示Bi的线性表出须要Aj,因此CT就是这个二分图的邻接矩阵

如今我们有了一个二分图,怎样求字典序最小的完备匹配呢?

我们能够枚举每一条边,然后推断剩余的图是否存在一个完备匹配。可是这样做是O(n4)的

我们能够跑两遍匈牙利算法,第一遍求出随意一个完备匹配。第二遍对于每一个点贪心选最小的出边推断是否能找到不影响前面点的交错环

总时间复杂度O(n3)

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define M 330
#define MOD 999911657
using namespace std;
int n;
bool state[M];
int result[M];
long long Quick_Power(long long x,int y)
{
long long re=1;
while(y)
{
if(y&1) (re*=x)%=MOD;
(x*=x)%=MOD; y>>=1;
}
return re;
}
struct Matrix{
int a[M][M];
Matrix() {}
Matrix(bool flag)
{
int i;
memset(a,0,sizeof a);
for(i=1;i<=n;i++)
a[i][i]=flag;
}
int* operator [] (int x)
{
return a[x];
}
friend istream& operator >> (istream &_,Matrix &a)
{
int i,j;
for(i=1;i<=n;i++)
for(j=1;j<=n;j++)
scanf("%d",&a[i][j]);
return _;
}
friend Matrix operator * (Matrix x,Matrix y)
{
Matrix z(false);
int i,j,k;
for(i=1;i<=n;i++)
for(j=1;j<=n;j++)
for(k=1;k<=n;k++)
(z[i][j]+=(long long)x[i][k]*y[k][j]%MOD)%=MOD;
return z;
}
friend Matrix Get_Inv(Matrix a)
{
Matrix re(true);
int i,j,k;
for(i=1;i<=n;i++)
{
for(k=i;k<=n;k++)
if(a[k][i])
break;
for(j=1;j<=n;j++)
{
swap(a[i][j],a[k][j]);
swap(re[i][j],re[k][j]);
}
long long inv=Quick_Power(a[i][i],MOD-2);
for(j=1;j<=n;j++)
{
a[i][j]=a[i][j]*inv%MOD;
re[i][j]=re[i][j]*inv%MOD;
}
for(k=1;k<=n;k++)
if(k!=i)
{
long long temp=(MOD-a[k][i])%MOD;
for(j=1;j<=n;j++)
{
(a[k][j]+=a[i][j]*temp%MOD)%=MOD;
(re[k][j]+=re[i][j]*temp%MOD)%=MOD;
}
}
}
return re;
}
}A,B,C,f;
bool DFS1(int x)
{
int i;
for(i=1;i<=n;i++)
if(f[x][i]&&!state[i])
{
state[i]=true;
if( !result[i] || DFS1(result[i]) )
{
result[i]=x;
return true;
}
}
return false;
}
bool DFS2(int x,int from)
{
int i;
for(i=1;i<=n;i++)
if(f[x][i]&&!state[i])
{
state[i]=true;
if( result[i]==from || result[i]>from && DFS2(result[i],from) )
{
result[i]=x;
return true;
}
}
return false;
}
int main()
{
int i,j;
cin>>n>>A>>B;
C=B*Get_Inv(A);
for(i=1;i<=n;i++)
for(j=1;j<=n;j++)
f[i][j]=(bool)C[j][i];
for(i=1;i<=n;i++)
{
memset(state,0,sizeof state);
if( !DFS1(i) )
return puts("NIE"),0;
}
puts("TAK");
for(i=1;i<=n;i++)
{
memset(state,0,sizeof state);
DFS2(i,i);
}
for(i=1;i<=n;i++)
for(j=1;j<=n;j++)
if(result[j]==i)
printf("%d\n",j);
return 0;
}

BZOJ 3168 Heoi2013 钙铁锌硒维生素 矩阵求逆+匈牙利算法的更多相关文章

  1. BZOJ 3168: [Heoi2013]钙铁锌硒维生素 [线性基 Hungary 矩阵求逆]

    3168: [Heoi2013]钙铁锌硒维生素 题意:给一个线性无关组A,再给一个B,要为A中每个向量在B中选一个可以代替的向量,替换后仍然线性无关.判断可行和求字典序最小的解 PoPoQQQ orz ...

  2. BZOJ 3168 [Heoi2013]钙铁锌硒维生素 ——矩阵乘法 矩阵求逆

    考虑向量ai能否换成向量bj 首先ai都是线性无关的,然后可以a线性表出bj c1*a1+c2*a2+...=bj 然后移项,得 c1/ci*a1+...-1/ci*bj+...=ai 所以当ci不为 ...

  3. BZOJ 3168 Luogu P4100 [HEOI2013]钙铁锌硒维生素 (矩阵求逆、二分图匹配)

    线性代数+图论好题. 题目链接: (bzoj) https://www.lydsy.com/JudgeOnline/problem.php?id=3168 (luogu) https://www.lu ...

  4. 【BZOJ】3168: [Heoi2013]钙铁锌硒维生素

    题解 Ca Fe Zn Se 显然我们既然初始矩阵就能通过线性变换变成单位矩阵,则该矩阵一定有逆 没有逆输出NIE 而且因为这些向量两两正交,则表示一个向量的时候表示方法唯一 那么我们求一个逆可以求出 ...

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

    [BZOJ3168][Heoi2013]钙铁锌硒维生素 Description 银河队选手名单出来了!小林,作为特聘的营养师,将负责银河队选手参加宇宙比赛的饮食.众所周知,前往宇宙的某个星球,通常要花 ...

  6. 洛谷 P4100 [HEOI2013]钙铁锌硒维生素 解题报告

    P4100 [HEOI2013]钙铁锌硒维生素 题目描述 银河队选手名单出来了!小林,作为特聘的营养师,将负责银河队选手参加 宇宙比赛的饮食. 众所周知,前往宇宙的某个星球,通常要花费好长好长的时间, ...

  7. bzoj 1059: [ZJOI2007]矩阵游戏【匈牙利算法】

    注意到怎么换都行,但是如果把某个黑方块用在对角线上,它原来所在的行列的的黑方块就都不能用 所以要选出n组不重的行列组合,这里用匈牙利算法做二分图匹配即可(用了时间戳优化) #include<io ...

  8. [bzoj]1059矩阵游戏<二分图匹配*匈牙利算法>

    题目链接:http://www.lydsy.com/JudgeOnline/problem.php?id=1059 初见此题,我觉得这是水题,我认为只要每一行和每一列至少存在一个黑格就可以出现对角线, ...

  9. BZOJ3168: [Heoi2013]钙铁锌硒维生素

    设$A^TC=B^T$,这样$C_{ij}$表示$B_j$的线性表出需要$A_i$,那么$B_j$可以替换$A_i$,根据$C=(A^T)^{-1}B^T$求出$C$.要求字典序最小完美匹配,先求任意 ...

随机推荐

  1. 【java错误】System.out.println()出错

    今天想测试java的System的类,没想到居然出错了.在同一个包下的java文件System全错,而其他包中的System没错.上网查了下资料,原来我是重定义了System类,覆盖了原来的Syste ...

  2. 在JS中如何把毫秒转换成规定的日期时间格式

    最近做的一个项目,从后台查询到日期数据传到前台JS中遍历之后显示的是以"14"开头的毫秒数,刚开始想用"simpleDateFormat"类处理,结果显示都不显 ...

  3. Eclipse 配置 maven 的两个 settings 文件

    eclipse配置的settings文件名完全可以自定义,而本机maven只认识settings.xml文件. eclipse里配置maven有一个叫全局的,有一个叫用户的.这两个文件可以和本机mav ...

  4. Django Redis配合Mysql验证用户登录

    1.redis_check.py # coding:utf-8 import pymysql import redis import sys def con_mysql(sql): db = pymy ...

  5. Ubuntu16安装GPU版本TensorFlow(个人笔记本电脑)

    想着开始学习tf了怎么能不用GPU,网上查了一下发现GeForce GTX确实支持GPU运算,所以就尝试部署了一下,在这里记录一下,避免大家少走弯路. 使用个人笔记本电脑thinkpadE570,内存 ...

  6. leetCode题解之求二叉树最大深度

    1.题目描述 Given a binary tree, find its maximum depth. The maximum depth is the number of nodes along t ...

  7. C# List<T>的并集、交集、差集

    集合的并集是合并集合的项,如下图所示: List<,,,,, }; List<,,,,,}; IEnumerable<int> unionLs = ls1.Union(ls2) ...

  8. swift关于UIView设置frame值的extension

    swift关于UIView设置frame值的extension 使用 说明 1. 使用如上图,很简单,不再赘述 2. 在extension给添加的计算属性提供getter,setter方法即可 源码 ...

  9. UIView的无损截图

    UIView的无损截图 说明 1. 烂大街的代码 2. 写成category后,方便直接从drawRect中获取绘制出来的图片 3. 可以直接绘制图片供按钮设置背景图片用 4. 无损截图(包括alph ...

  10. Matlab绘图——对称曲线绘制(转)

    转自 http://blog.csdn.net/lyqmath/article/details/6004885 目的:对曲线数据做对称绘制 思想:根据两曲线按a对称,则x1 + x2 = 2a的原则 ...