NOIP2017 D1T1 小凯的疑惑

洛谷P3951

看到题目，很容易想到这一题是求使ax+by=c(a,b,c∈N)无非负整数解的最大c

由裴蜀定理可知方程一定有整数解（a,b互素,gcd(a,b)=1|c）

解法一：暴力枚举

看到题目我的第一想法是求出ax+by=1的解然后枚举c使x,y扩大c倍后仍无非负整数解

枚举c应该要从1到a*b……看看数据范围就知道会WA掉4个点

这个解法很傻瓜我就不再赘述了……代码略

期望得分：60

解法二：小学奥数

虽然我不想承认但真**是小学奥数！！

因为a,b,c都>0，所以方程的解最多有一个负数

不妨设y<0,则x≥0

那么对于c=ax+by，y=-1时c取最大值，c=ax-b

接下来我们来看x

事实上0≤x≤b-1

为什么呢？

首先注意到这样一个事实：线性方程ax+by=c的整数解可以表示为{x-kb,y+ka}(k∈Z)

因为当x≤b-1时，一定不存在k∈Z使得x-kb≥0且y+ka≥0

这样可能看着不是很清楚，那么我们再反证一下会更容易明白

当x≥b时，显然x-b≥0且y+a≥0（此时k=1），与假设矛盾，故不成立

这样我们就证明了0≤x小于等于号怎么≤b-1

上面我们得出c=ax-b

那么当x=b-1时c取最大值a(b-1)-b=ab-a-b

综上，当y=-1,x=b-1时c取最大值ab-a-b

有的人可能会说，上面假设的是y<0，那x<0的时候c最大值还是不是ab-a-b呢？

很简单，同理，将x=-1,y=a-1代入，c=-a+b(a-1)=ab-a-b

期望得分：100

AC代码（有必要吗……）：

 #include<cstdio>
 int main()
 {
     long long a,b;//a,b足够大时a*b会爆int
     scanf("%lld%lld",&a,&b);
     printf("%lld",a*b-a-b);
     return ;
 }