当前位置: 首页 > news >正文

BZOJ 3168 Heoi2013 钙铁锌硒维生素 矩阵求逆+匈牙利算法

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

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

那么这个图怎么建呢?

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

我们能够设矩阵C满足CA=B,那么C=BA1
Ci,j0表示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;
}

相关文章:

  • 【自定义view-水波纹动画】
  • android studio 修改gradle引用本地文件
  • 【烈日炎炎战后端】JAVA基础(3.4万字)
  • GZFramework代码生成器插件使用教程
  • 【烈日炎炎战后端】JAVA集合(1.8万字)
  • CSS3 伪类选择器 nth-child() 的用法
  • poi导入excel
  • 【烈日炎炎战后端】JAVA虚拟机(3.6万字)
  • 2013编程之美全国挑战赛第一场-传话游戏
  • 接口调试方法
  • 【烈日炎炎战后端】JAVA多线程(11.2万字)
  • 托管和非托管转换新方法:Marshaling Library(zz) 【转】
  • 为什么要重写equals()方法与hashCode()方法
  • 【烈日炎炎战后端】计算机网络(4.2万字)
  • linux中c语言errno的使用
  • [Vue CLI 3] 配置解析之 css.extract
  • 03Go 类型总结
  • docker容器内的网络抓包
  • JS专题之继承
  • Laravel深入学习6 - 应用体系结构:解耦事件处理器
  • Redis在Web项目中的应用与实践
  • Terraform入门 - 1. 安装Terraform
  • 阿里中间件开源组件:Sentinel 0.2.0正式发布
  • 和 || 运算
  • 基于MaxCompute打造轻盈的人人车移动端数据平台
  • 聊聊flink的BlobWriter
  • 容器服务kubernetes弹性伸缩高级用法
  • 系统认识JavaScript正则表达式
  • postgresql行列转换函数
  • zabbix3.2监控linux磁盘IO
  • 关于Android全面屏虚拟导航栏的适配总结
  • ​如何防止网络攻击?
  • ###C语言程序设计-----C语言学习(6)#
  • #162 (Div. 2)
  • (k8s中)docker netty OOM问题记录
  • (react踩过的坑)Antd Select(设置了labelInValue)在FormItem中initialValue的问题
  • (react踩过的坑)antd 如何同时获取一个select 的value和 label值
  • (论文阅读26/100)Weakly-supervised learning with convolutional neural networks
  • (每日持续更新)信息系统项目管理(第四版)(高级项目管理)考试重点整理第3章 信息系统治理(一)
  • (免费领源码)Java#Springboot#mysql农产品销售管理系统47627-计算机毕业设计项目选题推荐
  • (免费领源码)python#django#mysql校园校园宿舍管理系统84831-计算机毕业设计项目选题推荐
  • (切换多语言)vantUI+vue-i18n进行国际化配置及新增没有的语言包
  • (详细版)Vary: Scaling up the Vision Vocabulary for Large Vision-Language Models
  • *_zh_CN.properties 国际化资源文件 struts 防乱码等
  • .equals()到底是什么意思?
  • .net framwork4.6操作MySQL报错Character set ‘utf8mb3‘ is not supported 解决方法
  • .Net Remoting(分离服务程序实现) - Part.3
  • .NET 自定义中间件 判断是否存在 AllowAnonymousAttribute 特性 来判断是否需要身份验证
  • .net打印*三角形
  • .NET国产化改造探索(一)、VMware安装银河麒麟
  • @Responsebody与@RequestBody
  • @RestControllerAdvice异常统一处理类失效原因
  • [ACL2022] Text Smoothing: 一种在文本分类任务上的数据增强方法
  • [AutoSAR 存储] 汽车智能座舱的存储需求
  • [BZOJ 2142]礼物(扩展Lucas定理)