2023-12-02:用go语言,如何求模立方根?

x^3=a mod p,

p是大于等于3的大质数,

a是1到p-1范围的整数常数,

x也是1到p-1范围的整数,求x。

p过大,x不能从1到p-1遍历。

答案2023-12-02:

灵捷3.5

大体步骤如下:

1.判断是否存在模立方根。有0,1,3个根这三种情况。

1.1.求p-1和3的最大公约数gcd(p-1,3)。最后结果要么是1,要么是3。如果是1,那肯定模立方根,但只有1个根。如果是3,进行下一步。

1.2.欧拉判别法。a**[(p-1)/3]==1 mod p。如果等于1,那就有3个根。如果不等于1,那就是0个根。

2.Peralta算法。求y。

2.1.当只有0个根时,直接返回。

2.2.当只有1个根时,a ^ ((p-1)/3) mod p就是答案。

2.3.当有3个根时,这个很难描述,具体见代码。

2.3.1.定义复数乘法和复数的快速幂。这虽然叫复数,但跟传统意义上的复数是不一样的。

2.3.2.确定一个常数r(r>=1并且r<p),使得 x ^ 3=r ^ 3 - a mod p 无根。

2.3.3.确定一个复数根,对这个复数根作复数的快速幂运算,指数是(p^2+p+1)/3,最终结果就是需要的根。

时间复杂度为 O((log p)^3)。

额外空间复杂度为 O(1)。

go完整代码如下:

package main

import (
"fmt"
"math/big"
) func main() {
if true { if false {
p := big.NewInt(0)
p.SetString("FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F", 16)
for c := big.NewInt(20000); c.Cmp(big.NewInt(30000)) <= 0; c.Add(c, big.NewInt(1)) {
fmt.Println("c = ", c, "-------------")
r := ModCbrt(c, p)
fmt.Println("答案:", r)
for i := 0; i < len(r); i++ {
if big.NewInt(0).Exp(r[i], big.NewInt(3), p).Cmp(c) == 0 { } else {
fmt.Println("答案错误", r[i], ",c = ", big.NewInt(0).Exp(r[i], big.NewInt(3), p))
return
}
}
}
return
}
if true {
p := big.NewInt(0)
p.SetString("FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141", 16)
for c := big.NewInt(20000); c.Cmp(big.NewInt(30000)) <= 0; c.Add(c, big.NewInt(1)) {
fmt.Println("c = ", c, "-------------")
r := ModCbrt(c, p)
fmt.Println("答案:", r)
for i := 0; i < len(r); i++ {
if big.NewInt(0).Exp(r[i], big.NewInt(3), p).Cmp(c) == 0 { } else {
fmt.Println("答案错误", r[i], ",c = ", big.NewInt(0).Exp(r[i], big.NewInt(3), p))
return
}
}
}
return
} if true {
p := big.NewInt(997)
for c := big.NewInt(1); c.Cmp(big.NewInt(0).Add(p, big.NewInt(-1))) <= 0; c.Add(c, big.NewInt(1)) {
fmt.Println("c = ", c, "-------------")
r := ModCbrt(c, p)
fmt.Println("答案:", r)
for i := 0; i < len(r); i++ {
if big.NewInt(0).Exp(r[i], big.NewInt(3), p).Cmp(c) == 0 { } else {
fmt.Println("答案错误", r[i], ",c = ", big.NewInt(0).Exp(r[i], big.NewInt(3), p))
return
}
}
}
}
return
}
fmt.Println("")
} // 求模立方根的个数0,1,3
func ModCbrtCount(c, p *big.Int) int {
t := big.NewInt(0)
t.Add(p, big.NewInt(-2))
t.Mod(t, big.NewInt(3))
if t.Cmp(big.NewInt(0)) == 0 {
return 1
}
t = big.NewInt(0).Add(p, big.NewInt(-1))
t.Div(t, big.NewInt(3))
if big.NewInt(0).Exp(c, t, p).Cmp(big.NewInt(1)) == 0 {
return 3
} else {
return 0
}
} // Peralta Method
func ModCbrt(a, p *big.Int) (ans []*big.Int) {
ans = make([]*big.Int, 0)
count := ModCbrtCount(a, p)
if count == 1 { //有1个解
t := big.NewInt(0).Lsh(p, 1)
t.Mod(t, p)
t = t.Add(t, big.NewInt(-1))
t.Mod(t, p)
t.Mul(t, big.NewInt(0).ModInverse(big.NewInt(3), p))
t.Mod(t, p)
ans = append(ans, big.NewInt(0).Exp(a, t, p))
} else if count == 3 { //有3个解,Peralta Method算法 w := big.NewInt(0)
p3 := big.NewInt(0).Add(p, big.NewInt(-1)) //(p-1)/3
p3.Mul(p3, big.NewInt(0).ModInverse(big.NewInt(3), p))
p3.Mod(p3, p)
for i := big.NewInt(1); i.Cmp(p) < 0; i.Add(i, big.NewInt(1)) {
w.Exp(i, p3, p)
if w.Cmp(big.NewInt(1)) != 0 {
break
}
}
var x *big.Int
key := big.NewInt(0)
for x = big.NewInt(1); x.Cmp(p) < 0; x.Add(x, big.NewInt(1)) {
key.Exp(x, big.NewInt(3), p) //key=x^3-a
key.Add(key, big.NewInt(0).Neg(a))
key.Mod(key, p)
if key.Cmp(big.NewInt(0)) != 0 && ModCbrtCount(key, p) == 0 {
break
}
}
r := Ring{x, big.NewInt(0).Add(p, big.NewInt(-1)), big.NewInt(0), key}
pp := big.NewInt(0).Mul(p, p) // pp = (p*p+p+1)/3,注意pp是不能 mod p的,有点反直觉
pp.Add(pp, p)
pp.Add(pp, big.NewInt(1))
pp.Div(pp, big.NewInt(3))
ansr := powerModI(r, pp, p)
ans0 := ansr.a
ans1 := big.NewInt(0)
ans1.Mul(ans0, w)
ans1.Mod(ans1, p)
ans2 := big.NewInt(0)
ans2.Mul(ans1, w)
ans2.Mod(ans2, p)
ans = append(ans, ans0, ans1, ans2)
}
return
} type Ring struct {
a *big.Int
b *big.Int
c *big.Int
w *big.Int
} // 复数乘法
func mulI(x Ring, y Ring, p *big.Int) Ring {
var res Ring
res.a = big.NewInt(0)
res.b = big.NewInt(0)
res.c = big.NewInt(0)
res.w = x.w
w := x.w a1 := big.NewInt(0)
a2 := big.NewInt(0)
a3 := big.NewInt(0)
a1.Mul(x.a, y.a) //x.a*y.a
a1.Mod(a1, p)
a2.Mul(x.b, y.c) //x.b*y.c*key
a2.Mod(a2, p)
a2.Mul(a2, w)
a2.Mod(a2, p)
a3.Mul(x.c, y.b) //x.c*y.b*key
a3.Mod(a3, p)
a3.Mul(a3, w)
a3.Mod(a3, p)
res.a.Add(a1, a2)
res.a.Mod(res.a, p)
res.a.Add(res.a, a3)
res.a.Mod(res.a, p) b1 := big.NewInt(0)
b2 := big.NewInt(0)
b3 := big.NewInt(0)
b1.Mul(x.a, y.b) //x.a*y.b
b1.Mod(b1, p)
b2.Mul(x.b, y.a) //x.b*y.a
b2.Mod(b2, p)
b3.Mul(x.c, y.c) //x.c*y.c*key
b3.Mod(b3, p)
b3.Mul(b3, w)
b3.Mod(b3, p)
res.b.Add(b1, b2)
res.b.Mod(res.b, p)
res.b.Add(res.b, b3)
res.b.Mod(res.b, p) c1 := big.NewInt(0)
c2 := big.NewInt(0)
c3 := big.NewInt(0)
c1.Mul(x.a, y.c) //x.a*y.c
c1.Mod(c1, p)
c2.Mul(x.b, y.b) //x.b*y.b
c2.Mod(c2, p)
c3.Mul(x.c, y.a) //x.c*y.a
c3.Mod(c3, p)
res.c.Add(c1, c2)
res.c.Mod(res.c, p)
res.c.Add(res.c, c3)
res.c.Mod(res.c, p) return res
} // 复数快速幂,注意b不能取模
func powerModI(a Ring, b, p *big.Int) Ring {
res := Ring{big.NewInt(1), big.NewInt(0), big.NewInt(0), a.w}
for b.Cmp(big.NewInt(0)) != 0 {
if big.NewInt(0).Mod(b, big.NewInt(2)).Cmp(big.NewInt(1)) == 0 {
res = mulI(res, a, p)
}
a = mulI(a, a, p)
b.Rsh(b, 1)
}
return res
}

2023-12-02:用go语言,如何求模立方根? x^3=a mod p, p是大于等于3的大质数, a是1到p-1范围的整数常数, x也是1到p-1范围的整数,求x。 p过大,x不能从1到p-1遍的更多相关文章

  1. n对mod求模整除时转化成mod的数学式

    n对mod求模,它的值在0到mod-1之间,如果要求模整除的时候转化成mod可以用下面的式子: n = (n - 1 % mod + mod) % mod +1 这里先减一,模上mod再加一,这样如果 ...

  2. LoadRunner 12.02 安装教程及中文语言包安装

    注意事项: 安装前,把所有的杀毒软件和防火墙关闭. 若以前安装过LoadRunner,则将其卸载. 安装路径不要带中文字符. LoadRunner 12已经不再支持xp系统,仅支持win7和win8系 ...

  3. HP LoadRunner 12.02 Tutorial T7177-88037教程独家中文版

    HP LoadRunner 12.02 Tutorial T7177-88037教程独家中文版 Tylan独家呕血翻译 转载请注明出自“天外归云”的博客园 Welcome to the LoadRun ...

  4. LoadRunner 12.02 安装以及汉化教程

    LoadRunner 12.02 安装 一.下载 首先下载Loadrunner12安装包. 下载后有四个安装包: HP_LoadRunner_12.02_Community_Edition_Addit ...

  5. 12天学好C语言——记录我的C语言学习之路(Day 11)

    12天学好C语言--记录我的C语言学习之路 Day 11: 因为指针部分比较的难,所以我们花费的时间也是最长的,希望大家耐的住性子,多多理解,多多打代码.好了,废话不多说,来看第11天的学习. //编 ...

  6. 12天学好C语言——记录我的C语言学习之路(Day 10)

    12天学好C语言--记录我的C语言学习之路 Day 10: 接着昨天的指针部分学习,有这么一个题目: //还是四个学生,四门成绩,只要有学生一门功课没及格就输出这个学生的所有成绩 /*//progra ...

  7. 12天学好C语言——记录我的C语言学习之路(Day 9)

    12天学好C语言--记录我的C语言学习之路 Day 9: 函数部分告一段落,但是我们并不是把函数完全放下,因为函数无处不在,我们今后的程序仍然会大量运用到函数 //转入指针部分的学习,了解指针是什么 ...

  8. 12天学好C语言——记录我的C语言学习之路(Day 8)

    12天学好C语言--记录我的C语言学习之路 Day 8: 从今天开始,我们获得了C语言中很有力的一个工具,那就是函数.函数的魅力不仅于此,一个程序到最后都是由众多函数组成的,我们一定要用好函数,用熟练 ...

  9. 12天学好C语言——记录我的C语言学习之路(Day 7)

    12天学好C语言--记录我的C语言学习之路 Day 7: 昨天进行了一天的数组学习,今天大家可以先写几个昨天的程序热热身,回顾回顾,然后今天第一个新程序也是关于数组的,比较难,准备好就开始啦! //输 ...

  10. 12天学好C语言——记录我的C语言学习之路(Day 6)

    12天学好C语言--记录我的C语言学习之路 Day 6: 今天,我们要开始学习数组了. //①数组部分,数组的大小不能够动态定义.如下: //int n;   scanf("%d,& ...

随机推荐

  1. Prompt Playground 7月开发记录

    Prompt Playground 2023年7月开发记录 上个月的时候,出于日常工作需求,做了一个简单的提示词调试工具 Prompt Playground. 这个工具的初衷是为了方便测试,所以没有做 ...

  2. 《深入理解Java虚拟机》笔记:垃圾收集算法和HotSpot的算法实现

    一.垃圾收集算法 由于垃圾收集算法的实现涉及大量的程序细节,而且各个平台的虚拟机操作内存的方法又各不相同,因此本节不打算过多地讨论算法的实现,只是介绍几种算法的思想及其发展过程. 垃圾收集算法概要 1 ...

  3. docker 安装 Redis环境

    一.Docker搜索redis镜像 命令:docker search <镜像名称> docker search redis 二.Docker拉取镜像 命令::docker pull < ...

  4. 【RocketMQ】MQ消息发送总结

    RocketMQ是通过DefaultMQProducer进行消息发送的,它实现了MQProducer接口,MQProducer接口中定义了消息发送的方法,方法主要分为三大类: send同步进行消息发送 ...

  5. MySql Workbench 迁移工具 migration 提示缺少pyodbc 2.1.8 的解决方法

    想把公司的数据库转到MySQL,所以想装个MySQL测试,发现新版的MySQL(8.0.34)默认安装还是有不少问题, 一.譬如表.字段大小写的问题: lower_case_table_names=0 ...

  6. [ABC150E] Change a Little Bit

    2023-03-10 题目 题目传送门 翻译 翻译 难度&重要性(1~10):7 题目来源 AtCoder 题目算法 数学,贪心 解题思路 显然 \(C_i\) 越小的位越早被修改越好.所以我 ...

  7. 三维模型OSGB格式轻量化技术在大规模场景的加载和渲染的作用分析

    三维模型OSGB格式轻量化技术在大规模场景的加载和渲染的作用分析 在移动设备上,大规模场景的加载和渲染是一个不容忽视的问题.对于OSGB格式轻量化处理来说,大规模场景的加载和渲染也是其中一项重要的任务 ...

  8. 物理服务器不重启分配raid

    一.MegaCli 命令的安装及使用 目录 一.MegaCli 命令的安装及使用 1.下载rpm包 2.安装 3.安装完,就会在/opt/下创建个MegaRAID目录,文件都在里面 4.添加软连接 5 ...

  9. DHorse v1.4.0 发布,基于 k8s 的发布平台

    版本说明 新增特性 提供Fabric8客户端操作k8s(预览)的功能,可以通过指定-Dkubernetes-client=fabric8参数开启: Vue.React应用增加Pnpm.Yarn的构建方 ...

  10. 基于 Wiki.js 搭建知识库系统

    前言 本文介绍如何使用 Wiki.js 搭建知识库系统. Wiki.js 官网 安装 前提准备 Wiki.js 几乎可以在任何支持 Node.js 的系统上运行.它可以运行在 Linux .Windo ...