HDU3589-雅可比符号

最新推荐文章于 2020-05-14 18:16:34 发布

weixin_30781775

最新推荐文章于 2020-05-14 18:16:34 发布

阅读量912

点赞数

CC 4.0 BY-SA版权

文章标签： c/c++

原文链接：http://www.cnblogs.com/shuiming/p/7820080.html

本文介绍了如何计算雅可比符号，包括使用勒让德符号的欧拉判别法及一种类似欧几里得算法的方法，并提供了C++实现代码。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

题意

给出a,n满足n是奇数，$1<a,n\leqslant 1000000$，求雅可比符号$\left(\frac{a}{n}\right)$

分析

可以拿定义硬上，因子分解然后用勒让德符号

勒让德符号的欧拉判别法：设p是奇素数，a是不被p整除的正整数，则

$\left(\frac{a}{n}\right)=a^{\frac{n-1}{2}} (mod\,p)$

雅可比符号是勒让德符号的推广

设n是正奇数，其素幂因子分解式为$n={p_1}^{t_1}{p_2}^{t_2}\cdots{p_m}^{t_m}$

令a是与n互素的正整数，则雅可比符号定义是

$\left(\frac{a}{n}\right)=\prod\limits_{i=0}^{m}\left(\frac{a}{p_i}\right)^{t_i}$

其中等式的右边是勒让德符号

这里给出另外一种方法，类比于欧几里得算法

设a和b是正整数，令$R_0=a,R_1=b$，利用带余除法，并提取出余数中2的最高次幂得

$R_0=R_1q_1+2^{s_1}R_2$

其中$s_1$是非负整数，$R_2$是小于$R_1$的正奇数

反复使用带余除法，并提取出余数中的2的最高次幂得

$R_1=R_2q_2+2^{s_2}R_3$

$R_2=R_3q_3+2^{s_3}R_4$

$\cdots$

$R_{n-3}=R_{n-2}q_{n-2}+2^{s_{n-2}}R_{n-1}$

$R_{n-2}=R_{n-1}q_{n-1}+2^{s_{n-1}}\cdot 1$

计算雅可比符号的定理：

$\left(\frac{a}{b}\right)=(-1)^{\sum\limits_{i=1}^{n-1}(s_1\frac{{R_i}^2-1}{8}+\frac{(R_i-1)(R_{i+1}-1)}{4})}$

代码

#include <cstdio>
#include <cstring>
using namespace std;
int r[100],s[100];
int gcd(int a,int b){return b==0?a:gcd(b,a%b);}
int jcb(int a,int b){
    if(gcd(a,b)>1)return 0;
    r[0]=a;r[1]=b;
    memset(s,0,sizeof s);
    int n=1;
    while(r[n++]!=1){
        r[n]=r[n-2]%r[n-1];
        while(r[n]&1^1)r[n]>>=1,s[n-1]++;
    }
    int p=0;
    for(int i=1;i<n;i++)r[i]&=7,s[i]&=1;
    for(int i=1;i<n;i++){
        p^=(s[i]*((r[i]*r[i])-1)/8)&1;
        p^=((r[i]-1)*(r[i+1]-1)/4)&1;
    }
    return 1-2*p;
}
int main(){
    int a,n;
    while(~scanf("%d%d",&a,&n)){
        printf("%d\n",jcb(a,n));
    }
    return 0;
}

转载于:https://www.cnblogs.com/shuiming/p/7820080.html