NOIP2017提高组Day1T1（小凯的疑惑）题解

题目信息

题目传送门

解题思路

小凯他不会百度吗？！

结论

若a和b满足gcd(a, b) == 1，即a与b互质，等式ax + by = n中n的最大值为ab - a - b。

证明：反证法

• 我们可以试着证明这个东东是错的，即：ax + by ≠ ab - a - b
• 假设存在x和y符合条件，则证明：
  

代码实现

#include <bits/stdc++.h>
using namespace std;
int main() {
    int a, b;
    cin >> a >> b;
    cout << 1ll * a * b - a - b << '\n';    // 注意1e9 * 1e9会爆int
    return 0;
}

（好简洁的代码啊）