AcWing 1205.买不到的数目

题目描述

原题链接：1205.买不到的数目

解题思路

1.有解的情况

当$gcd(a,b)=c>1$的时候，设$a=pc,b=qc$，则$ax+by=kc$，那么一个数只要它不能被$c$整除，那么它就不能被$a$和$b$组合而成，因此就没有解。

2.方法1：打表查看规律

当$n=3$时，

/*
3 4 5
3 5 7
3 7 11
3 8 13
3 10 17
*/

可以看到$m$每增加1，结果都会增加2

继续尝试当$n=4$时：

/*
4 5 11
4 7 17
4 9 23
4 11 29
4 13 35

可以看出当$m$每增加1，结果都会增加3。

大胆猜测，当$n=3$时，结果应该是$2m-x_1$
当$n=4$时，结果应该是$3m-x_2$
因此得出规律，结果应该是$(n-1)\ast m-x$，而根据对称性，$n$和$m$的形式应该相同，因此变形一下就是$(n-1)\ast (m-1)-x$，带入一下数字可以求得$x=1$。
因此最后的公式就是：
$res=(n-1)\ast (m-1)-1$

3.方法2：动态规划

枚举从$1$到$10^6+100$的数，假如这个数比$n$或$m$大，那么说明这个数就可以被$n$或$m$拓展而来。
即：$st[i]=st[i-n]|st[i-m]$

代码

方法1（$o(1)$）

#include<iostream>
using namespace std;
int main()
{
    int n,m;
    cin >> n >> m;
    cout << (n-1) * (m-1) - 1;
    return 0;
}

方法2（$o(n)$）

#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 1000100;
int n,m;
bool st[N];
int main()
{
    cin >> n >> m;
    st[0] = true;
    st[n] = true;
    st[m] = true;
    for(int i = min(n, m); i < N; i++)
    {
        if(i-m >= 0) st[i] = st[i-m];
        if(i-n >= 0) st[i] = st[i] | st[i-n];
    }
    int ans = 0;
    for(int i = 1; i < N; i++)
        if(!st[i]) ans = i;
    cout << ans;
}