两个互质整数的线性组合问题

两个互质整数的线性组合问题

本文我们讨论两个互质整数的线性组合问题，以及相关的二元一次不定方程。

两个互质整数的线性组合

已知两个整数$a$和$b$互质，即$\gcd (a,b)=1$，那么对于任意两个非负整数$x,y$来说，线性组合$ax+by$，能表示的整数数是多少，不能表示的整数又是多少，最大是多少，以及不能表示的整数的个数是多少呢？

能表示整数的下界

设能表示的数为$K$，则有$ax+by=K$，对两边同时取$b$的模，则$ax\mathrm{m}\mathrm{o}\mathrm{d}b=K\mathrm{m}\mathrm{o}\mathrm{d}b$，即为线性同余方程$ax\equiv K\mathrm{m}\mathrm{o}\mathrm{d}b$。又因为$\gcd (a,b)=1$，因此该线性同余方程一定有解，且有一个解，但是这个解必须满足实际，即$x\ge 0,y\ge 0$。

题目中说凑不出来一个数$K$，说明$ax+by=K$，中$x\ge 0,y<0$。$x$的解空间为$[0,b-1]$因此当$x=b-1$时，令$c=a(b-1)\mathrm{m}\mathrm{o}\mathrm{d}b$，那么$K$等于序列$c+ib,i\in Z$，并且$K$应该小于$a(b-1)$，这样才能令$y<0$，因此我们就解不等式$c+ib<a(b-1)$，取最大的$i^{\prime }$，那么$c+i^{\prime }b$就是我们想要的答案了。

不妨设$a<b$，那么$c=b-a$，因此，$i^{\prime }=\frac{a(b-1)-c}{b}-1$。因此$i^{\prime }=a-2$，带入算式$c+i^{\prime }b$，结果$b-a+b(a-1)=ab-a-b$。

因此，一个严格的下界（最小能表示）就是$ab-a-b+1$。

而$lcm(a,b)$是一个最小公倍数下界，$ab-a$或$ab-b$称为不严格下界。

不能表示整数的个数

根据上面的思路，我们设$x=b-n$，$n\in [1,b]$，则$c=a(b-n)\mathrm{m}\mathrm{o}\mathrm{d}b=b-an+\lfloor \frac{an}{b}\rfloor b$，让不等式$c+ib<a(b-n)$有解，$i$至少为$0$，因此$c<a(b-n)$，化简得到$\lfloor \frac{an}{b}\rfloor <a-1$，因为$a<b$，因此$n<b-1$，因此$n\in [1,b-2]$。

接下来，找到最大的$i^{\prime }$，解得$i^{\prime }=a-\lfloor \frac{an}{b}\rfloor -2$。

因此，个数为：

$$\sum _{n=1}^{b-2}(a-\lfloor \frac{an}{b}\rfloor -1)=(a-1)(b-2)-\sum _{n=1}^{b-2}\lfloor \frac{an}{b}\rfloor$$

题解

P3951

int main()
{
    ll a,b;
    cin >> a >> b;
    ll mi = min(a,b);
    ll ma = max(a,b);
    ll upper = ma * (mi-1);
    ll base = (upper)% mi;
    ll ans = 0;
    if((upper - base) % mi == 0)
    {
        ans = (((upper - base) / mi)-1) * mi + base;
    }
    else
    {
        ans = ((upper - base) / mi) * mi + base;
    }

    cout << ans;
    return 0;
}

由此我们可以知道数论题的第一个套路，寻找等式关系，对等式两个取模。构建同余线性方程。