【数论】买不到的数目

小明开了一家糖果店。他别出心裁:把水果糖包成4颗一包和7颗一包的两种。糖果不能拆包卖。

小朋友来买糖的时候,他就用这两种包装来组合。当然有些糖果数目是无法组合出来的,比如要买 10 颗糖。

你可以用计算机测试一下,在这种包装情况下,最大不能买到的数量是17。大于17的任何数字都可以用4和7组合出来。

本题的要求就是在已知两个包装的数量时,求最大不能组合出的数字。
 
输入:
两个正整数,表示每种包装中糖的颗数(都不多于1000)
 
要求输出:
一个正整数,表示最大不能买到的糖数
 
不需要考虑无解的情况
 
例如:
用户输入:
4 7
程序应该输出:
17
 
再例如:
用户输入:
3 5
程序应该输出:

7



设两包糖的个数分别是x,y

若x , y互质,则本题的结果是 xy - x - y

若不互质,则无解


证明下面两个命题:

1. xy - x - y 不能被表示为 ax+by的形式
2. 大于等于xy - x - y都能被表示为 ax+by的形式


(1)反证法:

设xy - x - y = ax+by(a >= 0,b >= 0)

=> (a+1)x + (b+1)y = xy

=> a+1整除y,设a+1 = cy(c > 0)

=> b+1整除x,设b+1 = dx(d > 0)

=> (c + d)xy = xy

=> c + d = 1,与题设矛盾,命题得证

(2)

证明ax + by = xy - x - y + c(c >= 1且为整数)

考虑 ax + by = c 这个式子,由于 x,y互质,由裴蜀定理得到该式必然有无穷多个整数解

取其中的一个解a0,b0

不妨设a0 * x - b0 * y = c(a0 >= 1,b0 >= 0),同时使b0 <= x - 1(由于b的所有解都是mod x同余的,所以一定有解在<= x - 1这个范围)

则 xy - x - y + c = xy - x - y +  a0 * x - b0 * y = (a0 - 1) * x + (x - 1 - b0) * y(a0 - 1 >= 0,x - 1- b0 >= 0)

则命题得证




评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值