二次剩余定义:

在维基百科中,是这样说的:如果q等于一个数的平方模 n,则q为模 n 意义下的二次剩余。例如:x2≡n(mod p)。否则,则q为模n意义下的二次非剩余。

Cipolla算法:一个解决二次剩余强有力的工具,用来求得上式的x的一个算法。

需要学习的数论及数学基础:勒让德符号欧拉判别准则复数运算

勒让德符号:判断n是否为p的二次剩余,p为奇质数。

欧拉定理为xφ(p)≡1(mod p)

当p为素数时,可知φ(p)=p-1,转化为xp-1≡1(mod p)

开根号后为 x(p1)/2≡±1(mod p),如果等于1就肯定开的了方,为-1一定开不了。所以x是否为n的二次剩余就用这个欧拉判别准则。

qpow(n,(mod-)>>)==mod-

随机找数a,使得a2−n为复数的虚数单位的平方,即

随机一个数a,然后对a2−n进行开方操作(就是计算他勒让德符号的值),直到他们的勒让德符号为-1为止(就是开不了方为止)。 就是找到一个a满足(a2−n)(p1)/2=−1。

    LL a=;
while(qpow((a*a-n+mod)%mod,(mod-)>>)!=mod-) a=rand()%mod;

建立复数乘法运算((a+bi)(c+di)=(ac+bd*(-1))+(bc+ad)i)

建立一个类似的域,前面寻找了一个a使(a2−n)(p1)/2=−1,所以我们定义ω=√(a2−n)。那么现在的ω也像i一样,满足ω2=a2−n=-1

node two(node a,node b)//复数相乘
{
node ans;
ans.x=(a.x*b.x%mod+a.y*b.y%mod*w%mod)%mod;
ans.y=(a.x*b.y%mod+a.y*b.x%mod)%mod;
return ans;
}

答案=(a+ω)(p+1)/2

根据拉格朗日定理,可以得出虚数处的系数一定为0。

 node q_pow(node a,LL b){
node res;
res.x=,res.y=;
while(b){
if(b&)res=two(res,a);
a=two(a,a);
b>>=;
}
return res;
}
     node p;
p.x=a,p.y=,w=(a*a-n+mod)%mod;
node ans=q_pow(p,(mod+)>>);
return ans.x;

2019牛客多校训练营第九场B题为Cipolla算法模板题

 #include<bits/stdc++.h>
#define LL long long
using namespace std;
const LL mod=1e9+;
struct node
{
LL x,y;
};
LL w;
node two(node a,node b)//复数相乘
{
node ans;
ans.x=(a.x*b.x%mod+a.y*b.y%mod*w%mod)%mod;
ans.y=(a.x*b.y%mod+a.y*b.x%mod)%mod;
return ans;
}
node q_pow(node a,LL b)
{
node res;
res.x=,res.y=;
while(b)
{
if(b&)
res=two(res,a);
a=two(a,a);
b>>=;
}
return res;
}
LL qpow(LL a,LL b)
{
LL ans=;
a%=mod;
while(b)
{
if(b&)
ans=ans*a%mod;
a=a*a%mod,b>>=;
}
return ans;
}
LL solve(LL n)
{
if(qpow(n,(mod-)>>)==mod-)//勒让德符号
return -;
else if(n==)
return ;
LL a=;//找随机a
while(qpow((a*a-n+mod)%mod,(mod-)>>)!=mod-)//勒让德符号
a=rand()%mod;
node p;
p.x=a,p.y=,w=(a*a-n+mod)%mod;
node ans=q_pow(p,(mod+)>>);//求出答案
return ans.x;
}
int main()
{
int T;
scanf("%d",&T);
LL q,b,n,x,y,c,t=qpow(,mod-);
while(T--)
{
scanf("%lld%lld",&b,&c);
q=(b*b-*c+mod)%mod;
n=solve(q);
if(n==-)
{
printf("-1 -1\n");
continue;
}
x=((b+n)%mod)*t%mod,y=(b-x+mod)%mod;
if(x>y)
swap(x,y);
printf("%lld %lld\n",x,y);
}
return ;
}

二次剩余定理及Cipolla算法入门到自闭的更多相关文章

  1. 二次剩余Cipolla算法学习笔记

    对于同余式 \[x^2 \equiv n \pmod p\] 若对于给定的\(n, P\),存在\(x\)满足上面的式子,则乘\(n\)在模\(p\)意义下是二次剩余,否则为非二次剩余 我们需要计算的 ...

  2. Cipolla算法学习小记

    转自:http://blog.csdn.net/doyouseeman/article/details/52033204 简介 Cipolla算法是解决二次剩余强有力的工具,一个脑洞大开的算法. 认真 ...

  3. 贝叶斯公式由浅入深大讲解—AI基础算法入门

    1 贝叶斯方法 长久以来,人们对一件事情发生或不发生的概率,只有固定的0和1,即要么发生,要么不发生,从来不会去考虑某件事情发生的概率有多大,不发生的概率又是多大.而且概率虽然未知,但最起码是一个确定 ...

  4. 贝叶斯公式由浅入深大讲解—AI基础算法入门【转】

    本文转载自:https://www.cnblogs.com/zhoulujun/p/8893393.html 1 贝叶斯方法 长久以来,人们对一件事情发生或不发生的概率,只有固定的0和1,即要么发生, ...

  5. Cipolla算法学习笔记

    学习了一下1个$\log$的二次剩余.然后来水一篇博客. 当$p$为奇素数的时候,并且$(n, p) \equiv 1 \pmod{p}$,用Cipolla算法求出$x^2 \equiv n \pmo ...

  6. URAL 1132 Square Root(二次剩余定理)题解

    题意: 求\(x^2 \equiv a \mod p\) 的所有整数解 思路: 二次剩余定理求解. 参考: 二次剩余Cipolla's algorithm学习笔记 板子: //二次剩余,p是奇质数 l ...

  7. 【转】 SVM算法入门

    课程文本分类project SVM算法入门 转自:http://www.blogjava.net/zhenandaci/category/31868.html (一)SVM的简介 支持向量机(Supp ...

  8. 三角函数计算,Cordic 算法入门

    [-] 三角函数计算Cordic 算法入门 从二分查找法说起 减少乘法运算 消除乘法运算 三角函数计算,Cordic 算法入门 三角函数的计算是个复杂的主题,有计算机之前,人们通常通过查找三角函数表来 ...

  9. 循环冗余校验(CRC)算法入门引导

    目录 写给嵌入式程序员的循环冗余校验CRC算法入门引导 前言 从奇偶校验说起 累加和校验 初识 CRC 算法 CRC算法的编程实现 前言 CRC校验(循环冗余校验)是数据通讯中最常采用的校验方式.在嵌 ...

随机推荐

  1. learning scala akka tell pattern(二)

    package com.example import akka.actor._ object Tutorial_02_Tell_Pattern extends App { println(" ...

  2. zeptojs库

    一.简介 ①Zepto是一个轻量级的针对现代高级浏览器的JavaScript库, 它与jquery有着类似的api. ②Zepto的设计目的是提供 jQuery 的类似的API,但并不是100%覆盖 ...

  3. HTML5之contenteditable可编辑属性

    运用contenteditable实现输入框高度自动增加,输入框标题name相对高度自动居中,代码如下: <!DOCTYPE html> <html> <head> ...

  4. centos7---mysql5.7主从复制读写分离

    1 分别在两台centos 7系统上安装mysql 5.7 具体的安装步骤可以见此链接,https://blog.csdn.net/qq_15092079/article/details/816292 ...

  5. 基于Docker部署ETCD集群

    基于Docker部署ETCD集群 关于ETCD要不要使用TLS? 首先TLS的目的是为了鉴权为了防止别人任意的连接上你的etcd集群.其实意思就是说如果你要放到公网上的ETCD集群,并开放端口,我建议 ...

  6. IOC注解方式1.0

    在spring4之后,想要使用注解形式,必须得要引入aop的包 在配置文件当中,还得要引入一个context约束 <?xml version="1.0" encoding=& ...

  7. 秒杀功能压测 jmeter----------windows系统运行jmeter遇到的坑

    最近做了一个安全传输模块,因为怕对性能有较大影响,因此测试安排了针对性的压测 压测的过程出现了一点小问题 发现失败率特别高,测试怀疑是服务端出了错,但是我查看日志发现没有报错.后面我观察TCP链接数排 ...

  8. 无法反序列化的java.util.ArrayList实例出来VALUE_STRING的(Can not deserialize instance of java.util.ArrayList out of VALUE_STRING)

    解决方法: 设置DeserializationConfig.Feature.ACCEPT_SINGLE_VALUE_AS_ARRAY.问题解决.

  9. java8新特性一图整理

    可以右键在新选项卡打开查看大图 原图地址:https://www.processon.com/view/5abb31abe4b027675e42cebc#map

  10. (7)Flask微电影之会员中心页面搭建

    一.添加会员中心页面的路由 修改app/home/views.py内容,追加会员有关的5个路由: # coding:utf8 from . import home from flask import ...