蓝桥杯这题有bug，附ac代码

以下是ac代码

/**
 * 买不到的数目
小明开了一家糖果店。他别出心裁：把水果糖包成4颗一包和7颗一包的两种。糖果不能拆包卖。
小朋友来买糖的时候，他就用这两种包装来组合。当然有些糖果数目是无法组合出来的，比如要买 10 颗糖。
你可以用计算机测试一下，在这种包装情况下，最大不能买到的数量是17。大于17的任何数字都可以用4和7组合出来。
本题的要求就是在已知两个包装的数量时，求最大不能组合出的数字。
输入：两个正整数，表示每种包装中糖的颗数(都不多于1000)
要求输出：一个正整数，表示最大不能买到的糖数
例如：用户输入：4 7程序应该输出：17
再例如：用户输入：3 5程序应该输出：7
 */
#include<iostream>
#include<cstring>
#include<vector>
using namespace std;

int gcd(int x,int y){
	if(y==0) return x;
	return gcd(y,x%y);
}

int main(){
	//糖果包的大小 
	int a, b;
	cin >> a >> b;
	int gvalue = gcd(a,b);
	//两个数互质的话有公式 
	if(gvalue==1) cout<<(a*b-a-b);
	//不互质的话 
	/*else{
		int N = a*b/gvalue; 
		vector<int> dp(N+1,N+1);
		dp[0] = 0;
		//定义糖果大小的数组 
		int candypkg[2];
		candypkg[0] = a;
		candypkg[1] = b;
		//填写dp数组 
		for(int i=1;i<=N;i++){
			for(int j=0;j<2;j++){
				if(i-candypkg[j]<0) continue;
				dp[i] = min(dp[i-candypkg[j]]+1,dp[i]);
			}
		}
		//遍历出最大不能被表示值 
		for(int i=N;i>=0;i--){
			if(dp[i]==N+1){
				cout<<i;
				break;
			}
		}
		
	}*/
	
	return 0;
} 

个人观点，可能有错误，但感觉是题目描述有问题

说明：

• 为啥我说有bug，今天做这道题的时候，我自己举了个例子2，4（两个数不互质），按照网上的ac程序和我的是一样的输出3，但是很明显。3不是2，4不能表示的最大整数。
• 然后我就冥思苦想，最后我还是提交了一下，竟然对了。而且我观察到耗时为0，我就猜测，oj只考虑了互质一种情况（因为互质的时候有公式）。
• 然后我果断把不互质的情况给注释了，事实证明我的猜想是对的。oj只会给出互质的用例。

感想：

• 可能是题目不太严谨，或者我想错了。不过这个思考的过程还是不错了。

题解思路：

• 感觉互质的情况也可以用dp做吧，不过公式真的香。