对两个正整数a1,a2,则不能由这两个数组和成的数最大不超过a1*a2

对两个正整数a1,a2,则不能由这两个数组和成的数[如果存在的话]最大不超过a1 * a2
证明:
证明不能由这两个数组和成的数最大不超过a1 * a2,可以证明超过a1 * a2的整数都可以由a1,a2组和而成
即存在非负整数k1, k2使 k1 * a1 + k2 * a2 = c (c >= a1 * a2)
即不定方程ax + by = c (a, b > 0,c >= ab)存在一组非负整数解(xn, yn)
设不定方程存在一组整数解(x0, y0),由不定方程通解式得:
xn = x0 + b * t ,yn = y0 - a * t (t是整数)令 xn,yn >= 0,解出-(x0 / b) <= t <= (y0 / a)
因为c >= a * b,即a * x0 + b * y0 >= a * b,两边同除a * b,得:y0 / a - ( - x0 / b ) >= 1
所以一定存在整数t使得- (x0 / b) <= t <= (y0 / a)。所以方程一定有非负整数解
得证。
参考:USACO题解(NOCOW整理版)

对应usaco 题目 Beef McNuggets


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值