More generally, if they want to to issue d denominations of stamps so that by using no more than s stamps on an envelope, citizens can pay for any postage up to some maximum amount, what should the denominations be, and what is the maximum amount?

Joseph DeVincentis was the first to find the solution to my first problem: you can do from 1 to 36 dinars using the denominations {1,4,6,14,15}. Gerben Dirksen found yet another solution: {–6,4,9,11,12}. He says sales of these stamps will be "interesting". He also solved some of the other problems.

And special thanks to Trevor Green for the humorous subject line: "Dinar's on me tonight"

Define **N(d,s)** to be the maximum value of N so that up to s stamps of d denominations can be used to get 1 dinar through N dinars. Define **S(d,s)** to be the optimal stamp denominations.

Jeremy Galvagni, Joseph DeVincentis, Trevor Green, Sasha Ravsky, and Jim Ferry found that N(1,s)=s with S(1,s)={1}, and N(d,1)=d, and S(d,1)={1,2,3,...d}. They also showed that N(2,s)=(s^{2}+6s+1)/4 with S(2,s)={1,(s+3)/2}.

Joseph DeVincentis showed that N(3,s)≥s(s+2) using S={1,s+1,s+2}, but this is not even optimal for n=4. Jeremy Galvagni also made some conjectures about N(3,s). Sasha Ravsky calculated N(3,s) for s≤64. and N(4,s) for s≤21.

Trevor Green gave the bound N(d,2) ≥ (d^{2} – a^{2})/4 + 2d, where -2≤a≤2 and a=d (mod 4). This construction uses S={1, 2, 3, ... , k–2, k–1, 2k–1, ... , (n–1)k–1, (n–1)k, (n–1)k+1, ..., nk–2}, where d+1 = 4(k–1) + a + 1 and n = 2k + a.

Jim Ferry noticed that with the exception of d=10, S(d,2) is always symmetric, and wondered whether this continues to occur. Philippe Fondanaiche conjectured that for d>3, N(d,s+1)>N(d+1,s).

Trevor Green gave the obvious bound N(d,s) ≤ (d+1)^{s}, and the less obvious bound N(d,s) ≤ (s+1)^{d}. He also proved N(d,3) ≤ (d^{3} + 18d^{2} + 23d)/6. Boris Bukh found that Hofmeister proved that N(3,s) = 4s^{3}/81 + 2s^{2}/3 + O(s) in the article "A postage stamp problem" (R. Alter and J. A. Barnett, Amer. Math. Monthly, 87 (1980), 206-210).

Boris Bukh sends that if s is fixed and d is large, then this problem reduces to the classical problem of finding thin additive bases of order s. The error term introduced by allowing to have less than s summands is obviously O(d^{s-1}), and so doesn't affect the asymptotics below. It is known that
in this case c_{1}(s) N(d,s)^{1/s}≤d ≤ c_{2}(s) N(d,s)^{1/s}. He says that in "Sequences'' by
Halberstam and Roth (1st ed. 1966, pages 35-37) there are even better bounds.

Boris Bukh also considered the case when d is fixed and s is large. In this case a good lower bound is obtained by taking the denominations to be 1, t, t^{2}, ..., t^{d–1} where t=s/d, which shows N(d,s) ≥ (1+O(1/s))(s/d)^{d}.
He believes that this is sharp, but hasn't proved it yet.

Trevor Green noted that if N(d,s) = N–1, then m(2d,2s) ≥ N^{2}–1, using S(d,s) and N S(d,s). Extending this argument shows that if d and s grow at the same rate, N(d,s) grows exponentially.

Here are the results known, most of which came from Jim Ferry and Sasha Ravsky. Joseph DeVincentis sent me more than half of these results, which he found by hand! Philippe Fondanaiche also sent many solutions, not all of which were optimal. Jean-Charles Meyrignac sent me the middle of the third column. Herbert Kociemba improved one of these entries.

Richard Mathar sent me a reference published by Svein Mossige in the "Mathematics of Computation" 36 (April 1981) pages 575-582. This gives the answers for some of the entries for d=4 and d=5.

In 2010, this problem was used as the Son of Darts contest at Al Zimmerman's Programming Contests.

d \ s | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|

1 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 |

2 | 2 | 4 | 7 | 10 | 14 | 18 | 23 | 28 | 34 | 40 | 47 | 54 | 62 | 70 | 79 | 88 | 98 | 108 | 119 | 130 |

3 | 3 | 8 | 15 | 26 | 35 | 52 | 69 | 89 | 112 | 146 | 172 | 212 | 259 | 302 | 354 | 418 | 476 | 548 | 633 | 714 |

4 | 4 | 12 | 24 | 44 | 71 | 114 | 165 | 234 | 326 | 427 | 547 | 708 | 873 | 1094 | 1383 | 1650 | 1935 | 2304 | 2782 | 3324 |

5 | 5 | 16 | 36 | 70 | 126 | 216 | 345 | 512 | 797 | 1055 | 1475 | 2047 | 2659 | 3403 | 4422 | 5629 | 6865 | 8669 | 10835 | 12903 |

6 | 6 | 20 | 52 | 108 | 211 | 388 | 664 | 1045 | 1617 | 2510 | 3607 | 5118 | 7066 | 9748 | 12793 | 17061 | 22342 | 28874 | 3560 | 45745 |

7 | 7 | 26 | 70 | 162 | 336 | 638 | 1137 | 2001 | 3191 | 5047 | 7820 | 11568 | 17178 | |||||||

8 | 8 | 32 | 93 | 228 | 524 | 1007 | 1911 | 3485 | ||||||||||||

9 | 9 | 40 | 121 | 310 | 726 | 1545 | ||||||||||||||

10 | 10 | 46 | 154 | 422 | 1016 | 2287 | ||||||||||||||

11 | 11 | 54 | 186 | 550 | 1393 | |||||||||||||||

12 | 12 | 64 | 225 | 700 | 1871 | |||||||||||||||

13 | 13 | 72 | 271 | 878 | 2494 | |||||||||||||||

14 | 14 | 80 | 323 | 1079 | 3196 | |||||||||||||||

15 | 15 | 92 | 385 | 1344 | 4063 | |||||||||||||||

16 | 16 | 104 | 450 | 1606 | 5113 | |||||||||||||||

17 | 17 | 116 | 515 | 1944 | 6511 | |||||||||||||||

18 | 18 | 128 | 606 | 2337 | 7949 | |||||||||||||||

19 | 19 | 140 | 684 | 2766 | 9865 | |||||||||||||||

20 | 20 | 152 | 788 | 3195 | 11589 | |||||||||||||||

21 | 21 | 164 | 865 | 3668 | ||||||||||||||||

22 | 22 | 180 | 977 | 4251 | ||||||||||||||||

23 | 23 | 196 | 1091 | 4923 | ||||||||||||||||

24 | 24 | 212 | 1201 | 5631 | ||||||||||||||||

25 | 25 | ? | 1361 | 6429 |

Many rows and columns of this table (and the table itself) form sequences in the On-Line Encyclopedia of Integer Sequences. You should also inform them of any extensions.

If you can extend any of these results, please e-mail me. Click here to go back to Math Magic. Last updated 6/21/10.