soj 1454. Pseudoprime numbers

本文介绍了一种使用费马小定理来判断一个数是否为以特定整数为底的伪素数的方法,并通过快速指数运算和Miller-Rabin素性测试来实现算法,有效避免了计算过程中的溢出。
部署运行你感兴趣的模型镜像

描述:

费马小定理指出 for any prime number p and for any integer a > 1, ap == a (mod p)。

对于合数p,如果存在1 < a < p满足上式,那么就称 p 为以 a 为底的伪素数。

给出p和a,问p是不是以a为底的伪素数。2 < p ≤ 1,000,000,000 and 1 < a < p

思路:

先用Miller-Rabin测试p是不是素数,再测试a^p%p是否等于a。a^p%p要用快速指数幂和二分相乘防止溢出。

代码:

#include <cstdio>
#include <ctime>
#include <cstdlib>
using namespace std;
#define Times 12
typedef long long LL;

LL random(LL n)
{
	return (LL)((double)rand()/RAND_MAX * n + 0.5);
}
LL multi(LL a, LL b, LL &m) // (a * b) % m
{
	LL ret = 0;
	while (b)
	{
		if (b & 1) ret = (ret + a) % m;
		b >>= 1;
		a = (a<<1) % m;
	}
	return ret;
}
LL pow(LL a, LL b, LL &m) // (a ^ b) % m
{
	LL ans = 1;
	a %= m;
	while (b)
	{
		if (b & 1) ans = multi(ans, a, m);
		b >>= 1;
		a = multi(a,a,m);
	}
	return ans;
}
bool Witness(LL a, LL n) // if n is base-a pseudoprime
{
	LL m = n-1;
	int j = 0;
	while (! (m & 1))
	{
		j ++;
		m >>= 1;
	}
	LL x = pow(a, m, n);
	if (x == 1 || x == n-1) return false;
	while (j --)
	{
		x = multi(x, x, n);
		if (x == n-1) return false;
	}
	return true;
}
bool Miller_Rabin(LL n) // if n is a prime
{
	if (n < 2) return false;
	if (n == 2) return true;
	if (! (n&1)) return false;
	for (int i = 1; i <= Times; ++ i)
	{
		LL a = random(n-2) + 1;
		if (Witness(a, n)) return false;
	}
	return true;
}
bool PseudoPrime(LL a, LL n)
{
	return pow(a, n, n) == a;
}
int main()
{
	LL n, a;
	while (scanf("%lld %lld", &n, &a))
	{
		if (n == 0 && a == 0) break;
		if (!Miller_Rabin(n) && PseudoPrime(a, n)) printf("yes\n");
		else printf("no\n");
	}
}

您可能感兴趣的与本文相关的镜像

Dify

Dify

AI应用
Agent编排

Dify 是一款开源的大语言模型(LLM)应用开发平台,它结合了 后端即服务(Backend as a Service) 和LLMOps 的理念,让开发者能快速、高效地构建和部署生产级的生成式AI应用。 它提供了包含模型兼容支持、Prompt 编排界面、RAG 引擎、Agent 框架、工作流编排等核心技术栈,并且提供了易用的界面和API,让技术和非技术人员都能参与到AI应用的开发过程中

"Mstar Bin Tool"是一款专门针对Mstar系列芯片开发的固件处理软件,主要用于智能电视及相关电子设备的系统维护与深度定制。该工具包特别标注了"LETV USB SCRIPT"模块,表明其对乐视品牌设备具有兼容性,能够通过USB通信协议执行固件读写操作。作为一款专业的固件编辑器,它允许技术人员对Mstar芯片的底层二进制文件进行解析、修改与重构,从而实现系统功能的调整、性能优化或故障修复。 工具包中的核心组件包括固件编译环境、设备通信脚本、操作界面及技术文档等。其中"letv_usb_script"是一套针对乐视设备的自动化操作程序,可指导用户完成固件烧录全过程。而"mstar_bin"模块则专门处理芯片的二进制数据文件,支持固件版本的升级、降级或个性化定制。工具采用7-Zip压缩格式封装,用户需先使用解压软件提取文件内容。 操作前需确认目标设备采用Mstar芯片架构并具备完好的USB接口。建议预先备份设备原始固件作为恢复保障。通过编辑器修改固件参数时,可调整系统配置、增删功能模块或修复已知缺陷。执行刷机操作时需严格遵循脚本指示的步骤顺序,保持设备供电稳定,避免中断导致硬件损坏。该工具适用于具备嵌入式系统知识的开发人员或高级用户,在进行设备定制化开发、系统调试或维护修复时使用。 资源来源于网络分享,仅用于学习交流使用,请勿用于商业,如有侵权请联系我删除!
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值