BZOJ 4128 Matrix BSGS+矩阵求逆

题意:链接

方法: BSGS+矩阵求逆

解析:

这题就是把Ax=B(mod C)的A和B换成了矩阵。

然而别的地方并没有改动。

所以就涉及到矩阵的逆元这个问题。

矩阵的逆元怎么求呢?

先在原矩阵后接一个单位矩阵,不妨设右对角线

先把原矩阵进行高斯消元

且消成严格右对角线的单位矩阵的形式。

然后在消元的同时把单位矩阵的部分一并计算,最后单位矩阵就变成了它的逆矩阵。

这道题保证矩阵有逆

然而没有逆矩阵的情况就是高斯消元搞不成。

所以判断应该也好判断。

另外,刚刚实测本题数据,关于将矩阵的hash,直接取右下角的值就行了。太弱了数据

代码:

#include <map>
#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define N 75
#define M 140345
#define base 0
using namespace std;
int n,p;
struct Matrix
{
    int map[N][N];
}A,B,ret;
struct node
{
    int from,to,next;
    int val;
}edge[M+10];
int cnt,head[M+10];
void init()
{
    memset(head,-1,sizeof(head));
    cnt=1;
}
void edgeadd(int from,int to,int val)
{
    edge[cnt].from=from,edge[cnt].to=to,edge[cnt].val=val;
    edge[cnt].next=head[from];
    head[from]=cnt++;
}
Matrix mul(Matrix a,Matrix b)
{
    memset(ret.map,0,sizeof(ret.map));
    for(int i=1;i<=n;i++)
        for(int j=1;j<=n;j++)
            for(int k=1;k<=n;k++)
                ret.map[i][j]=(ret.map[i][j]+a.map[i][k]*b.map[k][j])%p;
    return ret;
}
int quick_my(int x,int y)
{
    int ret=1;
    while(y)
    {
        if(y&1)ret=(ret*x)%p;
        x=(x*x)%p;
        y>>=1;
    }
    return ret;
}
int hash(Matrix x)
{
    return x.map[n][n];
}
Matrix get_inv(Matrix x)
{
    memset(ret.map,0,sizeof(ret.map));
    for(int i=1;i<=n;i++)ret.map[i][i]=1;
    for(int i=1;i<=n;i++)
    {
        int chose=-1;
        for(int j=i;j<=n;j++)
            if(x.map[j][i]!=0){chose=j;break;}
        //if(chose==-1)
        //  return -1
        //无解我脑补应该是这样吧。
        for(int j=1;j<=n;j++)
            swap(x.map[i][j],x.map[chose][j]),swap(ret.map[i][j],ret.map[chose][j]);
        int inv=quick_my(x.map[i][i],p-2);
        for(int j=1;j<=n;j++)
        {
            x.map[i][j]=x.map[i][j]*inv%p;
            ret.map[i][j]=ret.map[i][j]*inv%p;
        }
        for(int j=1;j<=n;j++)
        {
            if(i==j)continue;
            int pre=x.map[j][i];//一定要提前记录不然肯定会影响答案,因为这个值被改变=-=我也是脑残了。
            for(int k=1;k<=n;k++)
            {
                x.map[j][k]=((x.map[j][k]-pre*x.map[i][k])%p+p)%p;
                ret.map[j][k]=((ret.map[j][k]-pre*ret.map[i][k])%p+p)%p;
            }
        }
    }
    return ret;
}
int BSGS(Matrix A,Matrix B,int C)
{
    init();
    int m=(int)ceil(sqrt(C));
    Matrix tmp;
    memset(tmp.map,0,sizeof(tmp.map));
    for(int i=1;i<=n;i++)tmp.map[i][i]=1;
    for(int i=0;i<m;i++)
    {
        int hashtmp=hash(tmp);
        int flag=1;
        for(int j=head[hashtmp%M];j!=-1;j=edge[j].next)
            if(edge[j].val==hashtmp){flag=0;break;}
        if(flag)edgeadd(hashtmp%M,i,hashtmp);
        tmp=mul(tmp,A);
    }
    Matrix inv=get_inv(tmp);
    for(int i=0;i<=m;i++)
    {
        int hashB=hash(B);
        for(int j=head[hashB%M];j!=-1;j=edge[j].next)
            if(edge[j].val==hashB)return i*m+edge[j].to;
        B=mul(B,inv);
    }
    return -1;
}
int main()
{
    scanf("%d%d",&n,&p);
    for(int i=1;i<=n;i++)
        for(int j=1;j<=n;j++)
            scanf("%d",&A.map[i][j]);
    for(int i=1;i<=n;i++)
        for(int j=1;j<=n;j++)
            scanf("%d",&B.map[i][j]);
    printf("%d\n",BSGS(A,B,p));
}

版权声明:本文为博主原创文章,未经博主允许不得转载。

时间: 2024-08-02 23:59:11

BZOJ 4128 Matrix BSGS+矩阵求逆的相关文章

【题解】Matrix BZOJ 4128 矩阵求逆 离散对数 大步小步算法

传送门:http://www.lydsy.com/JudgeOnline/problem.php?id=4128 大水题一道 使用大步小步算法,把数字的运算换成矩阵的运算就好了 矩阵求逆?这么基础的线代算法我也不想多说,还是自行百度吧 需要注意的是矩阵没有交换律,所以在计算$B\cdot A^{-m}$的时候不要把顺序搞混 代码: 1 #include <cstring> 2 #include <cstdio> 3 #include <algorithm> 4 #inc

【BZOJ 4128】 matrix

题目其实很简单,BSGS可以一眼看出来,但这就需要矩阵求逆,然而我并不会... 于是发现了一种BSGS的非求逆方法,借此介绍一下. aix?y=b(modP) 推出 aix=b?ay(modP) 因此我们只需要对每个b?ayhash一下就好了,然后穷举i,验证是否存在即可.code: #include<cstdio> #include<cstring> #include<cmath> #include<map> using namespace std; in

bzoj 4128 矩阵求逆

1 /************************************************************** 2 Problem: 4128 3 User: idy002 4 Language: C++ 5 Result: Accepted 6 Time:4932 ms 7 Memory:4152 kb 8 ****************************************************************/ 9 10 #include <ios

bzoj 3283 扩展BSGS + 快速阶乘

T2  扩展BSGS T3 快速阶乘 给定整数n,质数p和正整数c,求整数s和b,满足n! / pb = s mod pc 考虑每次取出floor(n/p)个p因子,然后将问题转化为子问题. 1 /************************************************************** 2 Problem: 3283 3 User: idy002 4 Language: C++ 5 Result: Accepted 6 Time:1704 ms 7 Memor

Matrix_tree Theorem 学习笔记

Matrix_tree Theorem: 给定一个无向图, 定义矩阵A A[i][j] = - (<i, j>之间的边数) A[i][i] = 点i的度数 其生成树的个数等于 A的任意n - 1阶主子式的值. 关于定理的相关证明 可以看这篇文章, 讲得非常详细, 耐心看就能看懂: 关于求行列式, 可以用高斯消元. 如果是模域下求行列式, 可以用欧几里得算法. 具体实现看这篇文章 模域下求行列式 模板题:SPOJ DETER3 代码: 1 #include <cstdio> 2 #i

【BZOJ 3122】 [Sdoi2013]随机数生成器 (BSGS)

3122: [Sdoi2013]随机数生成器 Time Limit: 10 Sec  Memory Limit: 256 MBSubmit: 1442  Solved: 552 Description Input 输入含有多组数据,第一行一个正整数T,表示这个测试点内的数据组数. 接下来T行,每行有五个整数p,a,b,X1,t,表示一组数据.保证X1和t都是合法的页码. 注意:P一定为质数 Output 共T行,每行一个整数表示他最早读到第t页是哪一天.如果他永远不会读到第t页,输出-1. Sa

【BZOJ 1319】 Sgu261Discrete Rootsv (原根+BSGS+EXGCD)

1319: Sgu261Discrete Roots Time Limit: 1 Sec  Memory Limit: 64 MBSubmit: 389  Solved: 172 Description 给出三个整数p,k,a,其中p为质数,求出所有满足x^k=a (mod p),0<=x<=p-1的x. Input 三个整数p,k,a. Output 第一行一个整数,表示符合条件的x的个数. 第二行开始每行一个数,表示符合条件的x,按从小到大的顺序输出. Sample Input 11 3

BZOJ 2242 [SDOI2011]计算器(快速幂+Exgcd+BSGS)

[题目链接] http://www.lydsy.com/JudgeOnline/problem.php?id=2242 [题目大意] 给出T和K 对于K=1,计算 Y^Z Mod P 的值 对于K=2,计算满足 xy≡ Z ( mod P ) 的最小非负整数 对于K=3,计算满足 Y^x ≡ Z ( mod P) 的最小非负整数 [题解] K=1情况快速幂即可 K=2情况用exgcd求解 K=3用BSGS求解 [代码] #include <cstdio> #include <cmath&

BZOJ 2242: [SDOI2011]计算器( 快速幂 + 扩展欧几里德 + BSGS )

没什么好说的... --------------------------------------------------------------------- #include<cstdio> #include<cmath> #include<map> using namespace std; typedef long long ll; int MOD; void gcd(int a, int b, int& d, int& x, int& y)