1. 程式人生 > >[BZOJ3239][BSGS]Discrete Logging

[BZOJ3239][BSGS]Discrete Logging

題意

AxB(modP)的最小非負整數解

BSGS裸題

自己推一下:

x=im+jm=q

AimAjB(modP)

AjBinv(Aim)(modP)

已知inv(1)=1

由費馬小定理得inv(Aim)=inv(A(i1)m)Ap1mmodP(詳細見程式碼後*)

那麼inv就可以處理出來了。

A0...mhash存一下

再求

Binv(A(1...m)m)在hash表中查詢。

#include <cstdio>
#include <map>
#include <iostream>
#include <cmath>

using namespace std;

typedef long long ll;

int p,b,n;
map<int,int> Mp;

inline int powf(ll x,int y,int p){
  int k=1; x%=p;
  while(y){
    if(y&1) k=k*x%p;
    x=x*x%p;
    y>>=1
; } return k; } inline void solve(int y,int z,int p){ y%=p; if(!y&&!z) {puts("1");return;} if(!y) {puts("no solution");return;} ll t=ceil(sqrt(p)),k=1,ine=1; Mp.clear(); Mp[1]=0; for(int i=1;i<t;i++){ k=1ll*k*y%p; if(Mp.count(k)) continue; Mp[k]=i; } int tmp=powf(y,p-t-1
,p); for(int i=0;i<t;i++){ if(Mp.count(z*ine%p)) {printf("%d\n",i*t+Mp[z*ine%p]);return;} ine=1ll*ine*tmp%p; } puts("no solution"); } int main(){ while(~scanf("%d%d%d",&p,&b,&n)) solve(b,n,p); }

*inv(Aim)=inv(A(i1)m)Ap1mmodP

proof.

inv(A(i1)m)=1Aimm

inv(A(i1)m)Ap1m=Ap1mAimm上下同乘Am

Ap1mAimm=Ap1Aim

又因為費馬小定理Ap11(modp)