小凯的疑惑
题目背景:
NOIP2017 D1T1
分析:结论 or 扩展欧几里得
正解答案就是x * y - x - y,可以用剩余系比较简单的证明,然而我用了扩欧来写,然后今天花了一段时间来证明他是等价的。下面来讲讲我自己的结论证明。
首先因为可以构造出的每一个数,都应该是形如ax + by的形式,那么要将ax + by变成ax + by + 1实际上就是减少一些x变成
小凯的疑惑
题目背景:
NOIP2017 D1T1
分析:结论 or 扩展欧几里得
正解答案就是x * y - x - y,可以用剩余系比较简单的证明,然而我用了扩欧来写,然后今天花了一段时间来证明他是等价的。下面来讲讲我自己的结论证明。
首先因为可以构造出的每一个数,都应该是形如ax + by的形式,那么要将ax + by变成ax + by + 1实际上就是减少一些x变成