luogu P3263 [JLOI2015]有意义的字符串

luogu

兄弟会背叛你,女人会离开你,金钱会诱惑你,生活会刁难你,只有数学不会,不会就是不会,怎么学都不会。

先记\(A=\frac{b+\sqrt{d}}{2}\),出现这种东西不妨考虑他的"共轭项"",记\(B=\frac{b-\sqrt{d}}{2}\).可以发现\(A+B=b,AB=\frac{b^2-d}{4}\),并且由于\(b\bmod 2=1,d\bmod 4=1\),所以\(AB\)的值一定是个整数

现在要求\(\lfloor A^n\rfloor\),由于我们有\(A+B,AB\),所以可以考虑求\(\lfloor A^n+B^n-B^n\rfloor\),记\(f(i)=A^i+B^i\),有\(f(i)=(A+B)f(i-1)+ABf(i-2)\),所以\(f(i)\)可以矩阵快速幂求,后面的\(-B^n\),有\(-1<-B^n<1\),那只要讨论一下\(B\)是否为0以及\(n\)的奇偶性即可

#include<bits/stdc++.h>
#define LL long long
#define uLL unsigned long long

using namespace std;
const uLL mod=7528443412579576937;
uLL rd()
{
    uLL x=0,w=1;char ch=0;
    while(ch<'0'||ch>'9'){if(ch=='-') w=-1;ch=getchar();}
    while(ch>='0'&&ch<='9'){x=x*10+(ch^48);ch=getchar();}
    return x*w;
}
uLL pls(uLL a,uLL b){a+=b,a-=a>=mod?mod:0;return a;}
uLL mul(uLL a,uLL b){uLL an=0;while(b){if(b&1) an=pls(an,a);a=pls(a,a),b>>=1;}return an;}
struct matrix
{
    uLL a[2][2];
    matrix(){memset(a,0,sizeof(a));}
    matrix operator * (const matrix &bb) const
    {
        matrix an;
        for(int i=0;i<=1;++i)
            for(int j=0;j<=1;++j)
                an.a[i][j]=pls(mul(a[i][0],bb.a[0][j]),mul(a[i][1],bb.a[1][j]));
        return an;
    }
}aa,bb;
uLL n,b,d;

int main()
{
    b=rd(),d=rd(),n=rd();
    if(!n){puts("1");return 0;}
    bool fg=(n&1)^1,f2=b*b==d;
    aa.a[0][0]=b%mod,aa.a[0][1]=f2?0:2;
    bb.a[0][0]=b%mod,bb.a[1][0]=pls(0,mod-((LL)b*(LL)b-(LL)d)/4),bb.a[0][1]=1;
    --n;
    while(n)
    {
        if(n&1) aa=aa*bb;
        bb=bb*bb,n>>=1;
    }
    printf("%llu\n",pls(aa.a[0][0],mod-(!f2&&fg)));
    return 0;
}

原文地址:https://www.cnblogs.com/smyjr/p/12347295.html

时间: 2024-11-08 22:07:35

luogu P3263 [JLOI2015]有意义的字符串的相关文章

bzoj4002[JLOI2015]有意义的字符串

bzoj4002[JLOI2015]有意义的字符串 题意: 求((b+√d)/2)^n的整数部分.b*b<d<10^18,n<10^18,d%4==1,b*b%4==1,模数约等于7*10^18 题解: 神题.由一些性质可以得出一个数列:An=bAn-1+(d-b*b)/4*An-2,且这个数列的通项公式为An=((b+√d)/2)^n+((b-√d)/2)^n,且由题目条件得(d-b*b)/4为正整数,故可以用矩阵乘法求出An,由于(b-√d)/2∈(-1,0],故答案为(An)-1当

JLOI2015 有意义的字符串

Description Input 一行三个整数b, d, n. Output 一行一个数表示模7528443412579576937 之后的结果. Sample Input 输入1:1 5 9输入2:11 125 6715504 Sample Output 输出1:76输出2:1499928102740042526 Data Constraint 好吧.一直没看懂题目名到底有意义在哪= = 进入正题 首先我们发现(b+sqrt(d))/2可以是某个方程的解,它符合(-b+sqrt(b*b-4a

bzoj 4002: [JLOI2015]有意义的字符串

这个题... 1 #include <bits/stdc++.h> 2 #define rep(i, a, b) for (int i = a; i <= b; i++) 3 #define drep(i, a, b) for (int i = a; i >= b; i--) 4 #define REP(i, a, b) for (int i = a; i < b; i++) 5 #define mp make_pair 6 #define pb push_back 7 #d

【bzoj4002】[JLOI2015]有意义的字符串 数论+矩阵乘法

题目描述 B 君有两个好朋友,他们叫宁宁和冉冉.有一天,冉冉遇到了一个有趣的题目:输入 b;d;n,求 输入 一行三个整数 b;d;n 输出 一行一个数表示模 7528443412579576937 之后的结果. 样例输入 1 5 9 样例输出 76 提示 其中 0<b^2<=d<(b+1)^2<=10^18,n<=10^18,并且 b mod 2=1,d mod 4=1 题解 数论 高中数学 注意题目中给出的0<b^2<=d<(b+1)^2,这说明了什么?

【BZOJ】【4002】【JLOI2015】有意义的字符串

构造线性递推式+矩阵乘法 题解戳PoPoQQQ 为了自己以后看的方便手打一遍好了>_> 求$( \frac{b+\sqrt{d}}{2} )^n$的整数部分对p取模后的值 其中$b\mod 2=1,d\mod 4=1,b^2 \leq d<(b+1)^2,n\leq10^{18}$ 思路: 构造数列$a_n=b*a_{n-1}+\frac{d-b^2}{4}*a_{n-2}$ 其中$a_0=2,a_1=b$ 然后我们求出这个数列的通项公式,得到$a_n=(\frac{b+\sqrt{d}

【BZOJ4002】【JLOI2015】有意义的字符串 推公式+矩阵乘法

链接: #include <stdio.h> int main() { puts("转载请注明出处[vmurder]谢谢"); puts("网址:blog.csdn.net/vmurder/article/details/45174449"); } 题解: 公式推导部分:见大爷博客http://blog.csdn.net/popoqqq/article/details/45148309 公式: fi=b×fi?1+ (d?b2)4ai?2 f0=2,f1

JLOI 2015--有意义的字符串(矩阵乘法)

知道公式就不难了系列... 感觉吉林省选好变态...这还只是第一题呀... %dalaoPoPoQQQ... 看了大佬的题解...懵逼了一晚... 今天早上的时候终于想明白了!!! 于是飞快地A过此题... 题意 B 君有两个好朋友,他们叫宁宁和冉冉.有一天,冉冉遇到了一个有趣的题目:输入 b;d;n,求 注意:其中 0<b^2< = d<(b+1)^2< = 10^18,  n< = 10^18,并且 b mod 2=1,d mod 4=1 Solution 构造特征方程.

BZOJ 4002 有意义的字符串

WA一下午的原因是矩阵有两个值打反了... #include<iostream> #include<cstdio> #include<cstring> #include<algorithm> #include<cmath> #define ll unsigned long long #define mod 7528443412579576937UL using namespace std; struct matrix { ll a[3][3];

luogu3263/bzoj4002 有意义的字符串 (数学+矩阵快速幂)

首先我们发现$\frac{b+\sqrt{d}}{2}$这个形式好像一元二次方程的求根公式啊(???反正我发现不了) 然后我们又想到虽然这个东西不好求但是$(\frac{b-\sqrt{d}}{2})^n$好像挺好求的啊(???反正我想不到)(由题目给的范围,这玩意在(-1,1)) 于是把这个方程写出来:$x^2-b+\frac{b^2-d}{4}=0$,设它的两根是$x_1=\frac{b+\sqrt{d}}{2} , x_2=\frac{b-\sqrt{d}}{2}$ 于是就是要求$\lfl