【BZOJ5104】Fib数列（BSGS，二次剩余）

【BZOJ5104】Fib数列（BSGS，二次剩余）

题面

BZOJ

题解

首先求出斐波那契数列的通项：
令\(A=\frac{1+\sqrt 5}{2},B=\frac{1-\sqrt 5}{2}\)，那么\(f[n]=\frac{1}{\sqrt 5}(A^n-B^n)\)。
然后有\(A=-\frac{1}{B}\)，所以有：\(f[n]=\frac{1}{\sqrt 5}((-\frac{1}{B})^n-B^n)\)。
令\(x=B^n\)，这里需要考虑一下\(n\)的奇偶性：
如果\(n\)是偶数，有：\(\sqrt 5 f[n]=\frac{1}{x}-x\)，转成一元二次方程可以直接求解\(x\)，然后再\(BSGS\)还原。
\(n\)是奇数类似。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<vector>
#include<map>
using namespace std;
#define MOD 1000000009
int fpow(int a,int b){int s=1;while(b){if(b&1)s=1ll*s*a%MOD;a=1ll*a*a%MOD;b>>=1;}return s;}
namespace SQRT
{
    bool check(int n){return fpow(n,(MOD-1)>>1)==1;}
    int w;struct Num{int a,b;};
    Num operator*(Num a,Num b){return (Num){(1ll*a.a*b.a+1ll*a.b*b.b%MOD*w)%MOD,(1ll*a.a*b.b+1ll*a.b*b.a)%MOD};}
    Num fpow(Num a,int b){Num s=(Num){1,0};while(b){if(b&1)s=s*a;a=a*a;b>>=1;}return s;}
    int Sqrt(int n)
    {
        if(!check(n))return -1;
        int a;do a=rand()%MOD;while(check((1ll*a*a+MOD-n)%MOD));
        w=(1ll*a*a-n+MOD)%MOD;
        return fpow((Num){a,1},(MOD+1)>>1).a;
    }
}
namespace BSGS
{
    map<int,int> M;
    const int m=sqrt(MOD);
    int BSGS(int x,int y)
    {
        M.clear();
        for(int i=0,t=1;i<m;++i,t=1ll*t*x%MOD)M[1ll*y*t%MOD]=i;
        for(int i=1,p=fpow(x,m),t=p;i<=m;++i,t=1ll*t*p%MOD)
            if(M.find(t)!=M.end())
                return i*m-M[t];
        return 2e9;
    }
}
int n,ans=2e9;
int main()
{
    int sqrt5=SQRT::Sqrt(5);
    scanf("%d",&n);
    int A=MOD-1,B=(MOD-1ll*sqrt5*n%MOD)%MOD;
    int d1=(1ll*B*B%MOD+MOD-4ll*A%MOD)%MOD;
    int d2=(1ll*B*B%MOD+4ll*A%MOD)%MOD;
    if(SQRT::check(d1))
    {
        int vd=SQRT::Sqrt(d1);
        int x1=1ll*(0ll+MOD-B+vd)%MOD*fpow(A+A,MOD-2)%MOD;
        int x2=1ll*(0ll+MOD-B+MOD-vd)%MOD*fpow(A+A,MOD-2)%MOD;
        int beta=1ll*(1+MOD-sqrt5)*fpow(2,MOD-2)%MOD;
        int n1=BSGS::BSGS(beta,x1);
        int n2=BSGS::BSGS(beta,x2);
        if(!(n1&1))ans=min(ans,n1);
        if(!(n2&1))ans=min(ans,n2);
    }
    if(SQRT::check(d2))
    {
        int vd=SQRT::Sqrt(d2);
        int x1=1ll*(0ll+MOD-B+vd)%MOD*fpow(A+A,MOD-2)%MOD;
        int x2=1ll*(0ll+MOD-B+MOD-vd)%MOD*fpow(A+A,MOD-2)%MOD;
        int beta=1ll*(1+MOD-sqrt5)*fpow(2,MOD-2)%MOD;
        int n1=BSGS::BSGS(beta,x1);
        int n2=BSGS::BSGS(beta,x2);
        if(n1&1)ans=min(ans,n1);
        if(n2&1)ans=min(ans,n2);
    }
    printf("%d\n",ans<MOD?ans:-1);
    return 0;
}

转载于:https://www.cnblogs.com/cjyyb/p/10834901.html