Problem:
and are positive integers. Find the smallest for which we can construct subsets of each with elements such that each integer can be written as a sum of one element from each of the subsets.
Problem:
and are positive integers. Find the smallest for which we can construct subsets of each with elements such that each integer can be written as a sum of one element from each of the subsets.
Solution:
We can form at most distinct sums, so must be .
Now consider , , .
Then for any non-negative integer , we can write with digits in base (using leading zeros as necessary) and hence as a sum of one element from each .
This subset works for . For smaller above we cannot use all the elements given above, but we do not need them, so we just replace the elements which are too large by arbitrary elements under .
For example, suppose , . We need . So we form , , , . Now are unnecessary, so we pad out and with other elements. We could take , .