|
%I #25 Aug 04 2021 15:44:24
%S 1,2,3,4,5,10,20,25,50,75,100,200,300,400,500,600,700,800,900,1000,
%T 1100,1200,1300,1400,1500,1600,1700,1800,1900,2000,2100,2200,2300,
%U 2400,2500,2600,2700,2800,2900,3000,3100,3200,3300,3400,3500,3600,3700
%N An example of a collection of five sets (based on U.S. coinage) which is not an additive number system.
%C The five sets are the following:
%C 1, 2, 3, 4;
%C 5;
%C 10, 20;
%C 25, 50, 75;
%C 100, 200, 300, 400, 500, 600, 700, 800, 900, 1000, 1100, 1200, ...
%C (the last set being infinite).
%C In contrast to A282032 this is not an additive number system because 26 for example can be represented in two ways as a sum of numbers from distinct sets (26 = 1+5+20 = 1+25).
%H Colin Barker, <a href="/A282033/b282033.txt">Table of n, a(n) for n = 1..1000</a>
%H Michael Maltenfort, <a href="http://www.jstor.org/stable/10.4169/amer.math.monthly.124.2.132">Characterizing Additive Systems</a>, The American Mathematical Monthly 124.2 (2017): 132-148. See Fig. 3.
%H <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (2,-1).
%F From _Colin Barker_, Apr 16 2020: (Start)
%F G.f.: x*(1 + 4*x^5 + 5*x^6 - 5*x^7 + 20*x^8 + 75*x^11) / (1 - x)^2.
%F a(n) = 2*a(n-1) - a(n-2) for n>12.
%F (End)
%t LinearRecurrence[{2,-1},{1,2,3,4,5,10,20,25,50,75,100,200,300,400},50] (* or *) CoefficientList[Series[x (1+4x^5+5x^6-5x^7+ 20x^8+ 75x^11)/ (1-x)^2, {x,0,50}],x] (* _Harvey P. Dale_, Aug 04 2021 *)
%o (PARI) Vec(x*(1 + 4*x^5 + 5*x^6 - 5*x^7 + 20*x^8 + 75*x^11) / (1 - x)^2 + O(x^50)) \\ _Colin Barker_, Apr 16 2020
%Y Cf. A032174, A282032, A282034 are legitimate examples of additive number systems.
%K nonn,tabf,easy
%O 1,2
%A _N. J. A. Sloane_, Feb 20 2017
|
