OrangeRED

摘要： 0x1f Bézout 定理 如果 \(a,b\) 均为整数，则方程 \(ax + by = \gcd(a,b)\) 一定有解。 可以使用构造法证明，也就是 \(exgcd\)。。。 证明： 对于 \(ax + by = c\)，对其进行变换 \(bx + (a \% b)y = c\)。 如果我们 阅读全文

摘要： 0x1f 关于猜想 看完题目后，注意力好的同学可能会发现：有解的充要条件是所有所需的金属编号模 \(\gcd(A,B)\) 同余。 0x2f 关于证明： 根据题意，我们可以将 \(i\) 分解成 \(j\) 这个操作，看作是 \(i\) 经过若干次减 \(A\) 和若干次减 \(B\) 得到了 \( 阅读全文