青蛙的约会,35岁之后找不到工作怎么办

36 阅读6分钟

img img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上物联网嵌入式知识点,真正体系化!

由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、电子书籍、讲解视频,并且后续会持续更新

如果你需要这些资料,可以戳这里获取

r1 = r2*q3 + r3

……

由第一式有r1 = a - q1*b,所以r1能写成k1*a + l1*b的形式(这时k1 = 1, l1 = -q1)。由第二式有r2 = b - r1*q2 = b - (k1*a + l1*b)*q2 = -q2*k1*a + (1 - q2*l1)*b = k2*a + l2*b。

显然,这过程通过这一串余数可重复下去,直到得到一个表达式rn = k*a + l*b,也就是d = k*a + l*b,这就是我们所要证明的。

 

所以说咯,ax0 + by0 = d一定有解!那么应该怎么求x0和y0呢?要用到一种叫做扩展欧基里得的算法(NND,第一次听说,我还是太弱了啊~~~)!

求法如下:由于gcd(a, b) = gcd(b, a%b) (这个不用证明了吧???地球人都知道!),有ax0 + by0 = gcd(a, b) = gcd(b, a%b) = bx1 + (a%b)y1,而a%b又可以写成a-a/b*b(a/b*b不等于a啊!记得为了这个SB问题还被骂过~),所以=bx1 + (a-a/b*b)y1 = ay1 + b**(x1-a/b*y1)**,所以如果我们求出gcd(b, a%b) = bx1 + (a%b)y1的x1和y1,那么通过观察就可以求出x0 = y1,y0 = (x1 - a/b*y1)。那我们怎样求x1和y1呢?当然是求x2和y2了,做法一样滴。一直求到gcd(an, 0) = an*xn + 0 * yn,这时令xn=1,yn=0就完事了,就可以求xn-1和yn-1,然后xn-2和yn-2,然后一直求到x0和y0了。

所以得到ax0 + by0 = gcd(a, b)求整数x0、y0的扩展欧基里得算法(到这里烦到死啊!我做到这一步都差不多要放弃了!弱啊弱,55555~~~)

复制代码

long long extgcd(long long a, long long b, long long &x, long long &y)
{
 long long d, t;
 if (b == 0) { x = 1; y = 0; return a; }
 d = extgcd(b, a % b, x, y);
 t = x - a/b\*y; x = y; y = t;
 return d;
}

复制代码

long long?为什么要long long?因为我用int给Wrong Answer了啊!然后百度查才知道有long long这玩意儿,就是说int是32位,long long是64位,可以表示更大的整数。这题好恶心,干嘛欺负我小菜??!!不过这样就可以求出x0和y0了。

然后求ax + by = c,判断c如果不能被d整除就Impossible,否则就令x = c/d * x0就可以得到一个x解了。

但有无数个解满足ax + by = c的。为神马呢?ax + by = c其实就等价于ax ≡ c (mod b)对不?如果我得到一个特解x*,那么加上若干倍b还是这个方程的解,因为a(x*+k*b) = ax* + a*k*b ≡ c + 0 ≡ c (mod b)。因而方程在[0, b-1]上一定有整数解(假如小于0,你加上若干倍b啊,就可以让它保持在0b-1中;如果大于b-1,你减去若干倍b啊,它也保持0b-1)。

那么怎样求最小的非负整数x呢?又要用到两个定理:

定理二:若gcd(a, b) = 1,则方程ax ≡ c (mod b)在[0, b-1]上有唯一解。

证明:由定理一知,总可以找到或正或负的整数k和l使a*k + b*l = gcd(a, b) = 1,即我们可以求出ax ≡ 1 (mod b)的解x0。当然,两边乘以c有a(cx0) ≡ c (mod b),所以有x = cx0就是ax ≡ c (mod b)的解。由于加上或减去若干倍b都是该方程的解,所以x在[0, b-1]上有解。那么怎样确定它的唯一性呢?我花了一个小时终于证明出来了,证明方法就是,假设x1和x2都是[0, b-1]上的解,那么就有ax1 ≡ c (mod b),ax2 ≡ c (mod b),两式相减就有a(x1-x2) ≡ 0 (mod b),即a(x1-x2)可以被b整除。但gcd(a, b) = 1啊!所以a和b之间没有共同的语言可以交流,所以只能说(x1-x2)被b整除了。但x1和x2都在[0, b-1]上,所以x1-x2也在[0, b-1]上,所以只能说x1-x2=0了,因此x1=x2。这就证明了解的唯一性!

这个定理不过是为了证明定理三方便而已,定理三才是王道:

定理三:若gcd(a, b) = d,则方程ax ≡ c (mod b)在[0, b/d - 1]上有唯一解。

证明:上面说过,这个该死的方程等价于ax + by = c,如果有解,两边同除以d,就有a/d * x + b/d * y = c/d,即a/d * x ≡ c/d (mod b/d),显然gcd(a/d, b/d) = 1,所以由定理二知道x在[0, b/d - 1]上有唯一解。所以ax + by = c的x在[0, b/d - 1]上有唯一解,即ax ≡ c (mod b)在[0, b/d - 1]上有唯一解,得证!

有了上面几个该死的定理,小菜我终于把最小非负整数的问题解决了。如果得到ax ≡ c (mod b)的某一特解X,那么我令r = b/gcd(a, b),可知x在[0, r-1]上有唯一解,所以我用x = (X % r + r) % r就可以求出最小非负整数解x了!(X % r可能是负值,此时保持在[-(r-1), 0]内,正值则保持在[0, r-1]内。加上r就保持在[1, 2r - 1]内,所以再模一下r就在[0, r-1]内了)。

这么多证明这么多话语却只换来了21行代码,无奈啊!人生苦短啊!ACM,想说爱你不容易!下面果断贴代码:

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21 |

#include <iostream>

using  namespace  std;

long  long  extgcd( long  long  a, long  long  b, long  long  &x, long  long  &y)

{

long  long  d, t;

if  (b == 0) { x = 1; y = 0; return  a; }

d = extgcd(b, a % b, x, y);

t = x - a / b * y; x = y; y = t;

return  d;

}

int  main()

{

收集整理了一份《2024年最新物联网嵌入式全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升的朋友。 img img

如果你需要这些资料,可以戳这里获取

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人

都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!