欧几里得(gcd,exgcd,crt,乘法逆元)
文章平均质量分 79
gcd,exgcd,crt,乘法逆元等
Happig丶
我的孤独,虽败犹荣
展开
-
扩展欧几里得算法及应用
欧几里得算法即利用辗转相除法求最大公因数ll gcd(ll a,ll b){ return b==0?a:gcd(b,a%b);}裴蜀定理(贝祖定理)若a,b是整数,那么一定存在整数x,y,使ax+by=gcd(a,b)成立重要推论:a和b互质的充要条件是存在整数x,y,有ax+by=1扩展欧几里得算法扩展欧几里得算法又称exgcd,就是利用欧几里得算法,求出贝祖定理ax+by...原创 2020-02-02 16:25:04 · 242 阅读 · 0 评论 -
POJ - 2142 The Balance(扩欧性质)
传送门本题是扩欧的裸题了,但是需要知道一点性质否则求最小的和时会很难受。那就是扩展欧几里得求得的是最小整数解,也就是说求得的xxx或者yyy原创 2020-08-20 08:22:25 · 228 阅读 · 0 评论 -
洛谷 P5656 【模板】二元一次不定方程 (exgcd+分类讨论)
传送门刚刚写题以为是exgcdexgcdexgcd板子出问题了,就去洛谷上找到这个板子题搞一波本题肯定是板子题,但是需要知道exgcdexgcdexgcd求出的最小整数解会有哪几种情况,因为a,b,ca,b,ca,b,c均为正整数:x>0x>0x>0,y<=0y<=0y<=0x<=0x<=0x<=0,y>0y>0y>0x>0x>0x>0,y>0y>0y>0先给出扩欧求二元一次不定方程原创 2020-08-21 11:01:42 · 368 阅读 · 0 评论 -
中国剩余定理及扩展
问题引入现在有一个数xxx,它除以333余222,除以555余333,除以777余222,求xxx前置知识关于取模的两个重要性质:若a%b=ca\%b=ca%b=c,那么有(a+kb)%b=c(a+kb)\%b=c(a+kb)%b=c若aa%b=ca,那么(a∗k)%b=k∗c(a*k)\%b=k*c(a∗k)%b=k∗c逆元的定义:若ax≡1(mod p)ax \equiv 1 (mod~~p)ax≡1(mod p) ,且aaa与ppp原创 2020-08-21 17:45:53 · 131 阅读 · 1 评论 -
SGU - 106 The equation(扩欧+细节处理)
传送门题目大意给出ax+by+c=0ax+by+c=0ax+by+c=0这一二元一次不定方程,求满足{(x,y)∣x∈[lx,rx],y∈[ly,ry]}\{(x,y) | x \in [lx,rx],y\in [ly,ry]\}{(x,y)∣x∈[lx,rx],y∈[ly,ry]}解的个数。解题思路自以为写了不少扩欧的题目,已经了如指掌,可是这道题又再次打脸,wawawa到怀疑人生…首先不难想到如果ccc挪到等式右边仍然是负数那么应该将ccc变号,与此同时a,ba,ba,b也应该变号,但是此时原创 2020-11-01 10:14:38 · 1020 阅读 · 5 评论