[NOIP2017 提高组] 小凯的疑惑 / [蓝桥杯 2013 省] 买不到的数目

题目背景

NOIP2017 提高组 D1T1

题目描述

小凯手中有两种面值的金币，两种面值均为正整数且彼此互素。每种金币小凯都有无数个。在不找零的情况下，仅凭这两种金币，有些物品他是无法准确支付的。现在小凯想知道在无法准确支付的物品中，最贵的价值是多少金币？注意：输入数据保证存在 小凯无法准确支付的商品。

输入格式

两个正整数 $a$ 和 $b$，它们之间用一个空格隔开，表示小凯中金币的面值。

输出格式

一个正整数 $N$，表示不找零的情况下，小凯用手中的金币不能准确支付的最贵的物品的价值。

样例 #1

样例输入 #1

3 7

样例输出 #1

11

提示

【输入输出样例 1 说明】

小凯手中有面值为 $3$ 和 $7$ 的金币无数个，在不找零的前提下无法准确支付价值为 $1,2,4,5,8,11$ 的物品，其中最贵的物品价值为 $11$，比 $11$ 贵的物品都能买到，比如：

$12=3\times 4+7\times 0$；

$13=3\times 2+7\times 1$；

$14=3\times 0+7\times 2$；

$15=3\times 5+7\times 0$。

【数据范围与约定】

对于 $30\%$ 的数据： $1\le a,b\le 50$。

对于 $60\%$ 的数据： $1\le a,b\le 10^4$。

对于$ 100%$ 的数据：$1\le a,b\le 10^9$。

思路

这道题目本来应该是 O(n) 的时间复杂度，但是我经过几个自制样例的验证，发现了更为简单的、时间复杂度为 O(1) 的公式。下面来看。

推敲出来的公式

首先我们看样例，输入3和7就会输出11，具体为什么是11题目已经解释。这是我们可以找一下：3、7、11之间有什么关系呢？
没错，3*7-3-7=11，那么公式则为$a\times b-a-b=c$。但是只有一个样例说明不了这个公式是对的，我们再来一个样例。
假设小凯现在有无限个2和3面值的硬币，那么他不能支付的则有：1。
没错，只有1。像4、6、8、25都可以支付。因为：
$2+2=4$
$3+3=6$
$2+3+3=8$
$3+3+3+3+3+3+3+2+2=25$
再套入我们的公式$a\times b-a-b=c$，发现$2\times 3-2-3=1$是对的，所以我们就直接在代码中用这个公式就可以AC啦！

代码

#include<iostream>
using namespace std;
long long a,b;
int main()
{
    cin>>a>>b;
    cout<<a*b-a-b;
}

后记

点个赞吧！