告别复杂校验逻辑!Norm的schema/1函数轻松定义结构化数据模型
2026/7/31 19:19:54
欧几里得算法用于计算两个数的最大公约数(gcd),其伪代码如下:
r ← a, r′ ← b, e ← 0 while 2 | r and 2 | r′ do r ← r/2, r′ ← r′/2, e ← e + 1 repeat while 2 | r do r ← r/2 while 2 | r′ do r′ ← r′/2 if r′ < r then (r, r′) ← (r′, r) r′ ← r′ − r until r′ = 0 d ← 2^e · r output d该算法的时间复杂度为 $O(\ell^2)$,其中 $\ell = \max(\text{len}(a), \text{len}(b))$。
扩展欧几里得算法不仅能计算两个非负整数 $a$ 和 $b$ 的最大公约数 $d$,还能找到整数 $s$ 和 $t$,使得 $as + bt = d$。
定理 4.3: