数论
文章平均质量分 72
本居小鈴
无尽深渊中,唯有你与我共行。
展开
-
三元不定方程求解
三元不定方程求解原题:UVA12775 Gift Dilemma题意给定四个数:aaa, bbb,ccc,ppp,求以下方程的非负整数解个数:ax+by+cz=pax+by+cz=pax+by+cz=p思路这个方程乍一看有点类似于ax+by=cax+by=cax+by=c这个方程。既然类似,那么就把上面的方程转化为这个形式就好了:ax+by=p−czax+by=p-czax+by=p−cz这样,利用扩展欧几里得算法,可以快速的求出上面方程的非负整数解个数。zzz要怎么处理?一种简单原创 2022-03-30 07:52:15 · 968 阅读 · 0 评论 -
【补题】上帝与集合的正确用法(扩展欧拉定理的简单应用)
上帝与集合的正确用法题目传送门:P4139 上帝与集合的正确用法题意给定一个数字ppp,求:222⋯ mod p2^{2^{2^{\cdots}}} \bmod p222⋯modp思路因为可能存在ppp与2不互质的情况,所以要使用扩展欧拉定理。使用扩展欧拉定理构造一个同余式子:222⋯≡2222⋯ mod φ(p)+φ(p)(modp)2^{2^{2^{\cdots}}} \equiv 2^{ 2^{2^{2^{\cdots}}} \bmod \varphi(p) + \varphi(原创 2022-03-28 15:21:05 · 525 阅读 · 0 评论 -
【日志】扩展中国剩余定理
扩展中国剩余定理(P4777 【模板】扩展中国剩余定理)原题传送门中国剩余定理被划分为useless算法了不过中国剩余定理能做的,扩展中国剩余定理(应该)都能做到过程考虑两个同余方程。x≡a(modb)x≡c(modd)x \equiv a \pmod b\\x \equiv c \pmod dx≡a(modb)x≡c(modd)从模的定义上,可以将第一个式子转化为:x=bt+ax = bt + ax=bt+a之后再将方程带入二式,得:bt+a≡c(modd)bt + a \原创 2022-03-25 00:10:37 · 1353 阅读 · 0 评论 -
【日志】常用的判断素数方法——Miller-Rabin素性检验
Miller-Rabin素性检验Miller-Rabin素性检验是一种能够判断素性的高效算法。费马小定理当ppp是一个素数,且1≤a≤p−11\le a \le p-11≤a≤p−1时,有:ap−1≡1(modp)a^{p-1} \equiv 1 \pmod pap−1≡1(modp)这就是费马小定理。通过费马小定理进行素性检验如果逆着推过来,当1≤a≤p−11\le a \le p-11≤a≤p−1时,如果上述式子成立,则ppp不就是一个素数了嘛?然而,这个是错误的。仍然存在一些(无穷原创 2022-03-21 00:51:43 · 275 阅读 · 0 评论 -
【补题】P1082 [NOIP2012 提高组] 同余方程
P1082 [NOIP2012 提高组] 同余方程题目传送门:P1082 NOIP2012 提高组 同余方程。思路是一道使用扩展欧几里得算法的模板题。扩展欧几里得算法可以求出两个整数xxx和yyy,使得:ax+by=gcd(a,b)ax+by=\gcd(a,b)ax+by=gcd(a,b)题目要求的式子则为:ax≡1(modb)ax \equiv 1 \pmod bax≡1(modb)(实际上是求a在模b意义下的逆)。所以,可以直接使用Exgcd求出解。代码一种可行的c++代原创 2022-03-18 00:00:10 · 1340 阅读 · 0 评论 -
【日志】逆元
逆元逆元,听起来有点高深(之前学长讲解逆元的时候只给了个公式,然后说对除法取模要用逆元)。逆元的简单定义简单来说,逆元的条件需要先满足下面这个式子:ax≡1(modm)ax \equiv 1 \pmod max≡1(modm)其中,gcd(a,m)=1\gcd(a,m)=1gcd(a,m)=1,也就是aaa和mmm是互质的。这时候,xxx就是aaa的逆元,可以记为a−1a^{-1}a−1。(如果你想要更专业的说明的话,请看一本书,叫做《初等数论及其应用》,机械工业出版社(也就是黑皮书)的)原创 2022-03-05 00:44:13 · 88 阅读 · 0 评论