对两个正整数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整理版)
证明:
证明不能由这两个数组和成的数最大不超过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