BZOJ 1467 Pku3243 clever Y EXBSGS

题意:链接

方法: EXBSGS

解析:

这题与BSGS不同的地方就是模数可能不是质数了。

那怎么办呢?

其实也没什么,就是我们不断地分解A和当前的C的最大公约数,注意是当前的C。

假设我们最多分出来了K个最大公约数。

Akd1?d2…?dk?Ax?k=Bd1?d2…?dk(modCd1?d2…?dk)

那么怎么做呢?

首先暴力枚举[0,logC]的值是否可以成为解。

为什么取log呢?因为每一次拿出来的最大公约数一定是大于1的,也就是说我们至多拿出来了logC个数,此时的k就是logC,而我们只能求解x-k的部分,所以k的部分就暴力枚举。

然后呢,将左边Akd1?d2…?dk搞个逆元乘过去,再求BSGS即可。

别忘答案加上k

另外吐槽:这题BSGS就能过,没有C不是质数的数据,差评,但是POJ上就过不了了据说。

代码:

#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define mod 140345
typedef long long ll;
ll A,B,C,ans;
int cnt,head[mod+10];
struct node
{
    ll from,to,val;
    int next;
}edge[mod+10];
void init()
{
    memset(head,-1,sizeof(head));
    cnt=1;
}
void edgeadd(ll from,ll to,ll val)
{
    edge[cnt].from=from,edge[cnt].to=to,edge[cnt].val=val;
    edge[cnt].next=head[from];
    head[from]=cnt++;
}
ll quick_my(ll x,ll y)
{
    ll ret=1;
    while(y)
    {
        if(y&1)ret=(ret*x)%C;
        x=(x*x)%C;
        y>>=1;
    }
    return ret;
}
ll gcd(ll a,ll b)
{
    while(b)
    {
        ll t=b;
        b=a%b;
        a=t;
    }
    return a;
}
void exgcd(ll a,ll b,ll &x,ll &y,ll &gcd)
{
    if(!b)
    {
        x=1,y=0,gcd=a;
        return;
    }
    exgcd(b,a%b,y,x,gcd);
    y=y-a/b*x;
}
ll get_inv(ll x,ll MOD)
{
    ll X,Y,GCD;
    exgcd(x,MOD,X,Y,GCD);
    return (X%MOD+MOD)%MOD;
}
void BSGS(ll A,ll B,ll C)
{
    //A^x=B(mod C)
    init();
    ll m=(int)ceil(sqrt(C));
    ll k=1;
    for(int i=0;i<m;i++)
    {
        int flag=0;
        for(int j=head[k%mod];j!=-1;j=edge[j].next)
        {
            if(edge[j].val==k){flag=1;break;}
        }
        if(!flag)edgeadd(k%mod,i,k);
        k=k*A%C;
    }
    ll invk=get_inv(k,C);
    ll invD=1;
    for(int i=0;i<=m;i++)
    {
        ll tmpB=B*invD%C;
        for(int j=head[tmpB%mod];j!=-1;j=edge[j].next)
        {
            if(edge[j].val==tmpB){ans=edge[j].to+i*m;return;}
        }
        invD=invD*invk%C;
    }
}
int main()
{
    while(~scanf("%lld%lld%lld",&A,&C,&B))
    {
        if(A==0&&B==0&&C==0)break;
        int top=(int)ceil(log2(C));
        int flag=0;
        for(int i=0;i<=top;i++)
        {
            if(quick_my(A,i)==B)
            {
                printf("%d\n",i);
                flag=1;
                break;
            }
        }
        if(flag)continue;
        ll cntk=0;
        ll d=gcd(A,C);
        ll pile=1;
        while(d!=1)
        {
            cntk++;
            if(B%d!=0){puts("No Solution");flag=1;break;}
            pile*=d;
            C/=d,B/=d;
            d=gcd(A,C);
        }
        if(flag)continue;
        ll inv1=get_inv(pile,C);
        ll wait_to_be_inv=quick_my(A,cntk)*inv1%C;
        ll tmp=get_inv(wait_to_be_inv,C);
        B=B*tmp%C;
        ans=-1;
        BSGS(A,B,C);
        if(ans!=-1)printf("%lld\n",ans+cntk);
        else puts("No Solution");
    }
}

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

时间: 2024-10-25 07:35:55

BZOJ 1467 Pku3243 clever Y EXBSGS的相关文章

【BZOJ1467/2480】Pku3243 clever Y/Spoj3105 Mod EXBSGS

[BZOJ1467/2480]Pku3243 clever Y/Spoj3105 Mod Description 已知数a,p,b,求满足a^x≡b(mod p)的最小自然数x. Input 每个测试文件中最多包含100组测试数据. 每组数据中,每行包含3个正整数a,p,b. 当a=p=b=0时,表示测试数据读入完全. Output 对于每组数据,输出一行. 如果无解,输出“No Solution”(不含引号),否则输出最小自然数解. Sample Input 5 58 33 2 4 3 0 0

【EXT-BSGS算法求离散对数】POJ Clever Y 3243

Clever Y Time Limit: 5000MS Memory Limit: 65536K Total Submissions: 7259 Accepted: 1795 Description Little Y finds there is a very interesting formula in mathematics: XY mod Z = K Given X, Y, Z, we all know how to figure out K fast. However, given X,

POJ 3243 Clever Y BSGS

Clever Y Time Limit: 5000MS   Memory Limit: 65536K Total Submissions: 6861   Accepted: 1676 Description Little Y finds there is a very interesting formula in mathematics: XY mod Z = K Given X, Y, Z, we all know how to figure out K fast. However, give

poj 3243 Clever Y 高次方程

1 Accepted 8508K 579MS C++ 2237B/** 2 hash的强大,,还是高次方程,不过要求n不一定是素数 3 **/ 4 #include <iostream> 5 #include <cstdio> 6 #include <cmath> 7 #include <cstring> 8 #include <algorithm> 9 using namespace std; 10 long long a,b,n; 11 co

Clever Y POJ - 3243 (扩展BSGS)

Clever Y POJ - 3243 题意:给a,c,b,求最小的x使得 ax≡b (mod c). 扩展BSGS算法~ 1 #include <cstdio> 2 #include <cstring> 3 #include <iostream> 4 #include <cmath> 5 #define ll long long 6 using namespace std; 7 const int mod=99991; 8 ll head[mod],nex

bzoj-1467 clever Y / JDFZ-2940 EXBSGS

题意: 求解方程A^x=B (mod C)在[0,C)中的最小解: C<=10^9: 题解: 此题C并不是质数,所以要用一种叫做EXBSGS的东西来解: 考虑BSGS的适用条件,主要是在于A^k也就是A不一定对于C有逆元: 那么约下去一些怎么样? 令d=gcd(A,C),那么一定有 d|B或者x=0,B=1: x=0的情况比较特殊,直接特判即可: 那么若没有d|B则无解: 而如果同时除一个B之后,方程即为A/d*A^(x-1)=B/d (mod C/d): 多次执行该操作,直到gcd(A,C/d

BZOJ 3243 Clever Y

Description Little Y finds there is a very interesting formula in mathematics: XY mod Z = K Given X, Y, Z, we all know how to figure out K fast. However, given X, Z, K, could you figure out Y fast? Input Input data consists of no more than 20 test ca

【数论】【ex-BSGS】poj3243 Clever Y

用于求解高次同余方程A^x≡B(mod C),其中C不一定是素数. http://blog.csdn.net/tsaid/article/details/7354716 这篇题解写得最好. 那啥,这题的坑点请去看discuss. #include<cstdio> #include<cstring> #include<algorithm> #include<cmath> using namespace std; typedef long long ll; vo

MOD - Power Modulo Inverted(SPOJ3105) + Clever Y(POJ3243) + Hard Equation (Gym 101853G ) + EXBSGS

思路: 前两题题面相同,代码也相同,就只贴一题的题面了.这三题的意思都是求A^X==B(mod P),P可以不是素数,EXBSGS板子题. SPOJ3105题目链接:https://www.spoj.com/problems/MOD/ POJ3243题目链接:http://poj.org/problem?id=3243 题目: 代码实现如下: 1 #include <set> 2 #include <map> 3 #include <queue> 4 #include