%I #21 Mar 30 2012 16:52:03
%S 2,3,3,3,4,4,4,4,4,4,5,5,5,5,5,5,5,5,5,5,6,6,6,6,6,6,6,6,6,6,6,6,6,6,
%T 6,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,8,8,8,8,8,8,8,8,8,8,8,8,
%U 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,10,10,10,10
%N Write n = C(i,3)+C(j,2)+C(k,1) with i>j>k>=0; sequence gives i values.
%C Each n >= 0 has a unique representation as n = C(i,3)+C(j,2)+C(k,1) with i>j>k>=0. This is the combinatorial number system of degree t = 3, where we get [A194847, A194848, A056558]. For degree t = 2 we get [A002024, A002262] and A138036.
%D D. E. Knuth, The Art of Computer Programming, vol. 4A, Combinatorial Algorithms, Section 7.2.1.3, Eq. (20), p. 360.
%F Equals A056556(n) + 2.
%e The i,j,k coordinates for n equal to 0 through 10 are:
%e 0, [2, 1, 0]
%e 1, [3, 1, 0]
%e 2, [3, 2, 0]
%e 3, [3, 2, 1]
%e 4, [4, 1, 0]
%e 5, [4, 2, 0]
%e 6, [4, 2, 1]
%e 7, [4, 3, 0]
%e 8, [4, 3, 1]
%e 9, [4, 3, 2]
%e 10, [5, 1, 0]
%p # Given x and a list a, returns smallest i such that x >= a[i].
%p whereinlist:=proc(x,a) local i:
%p if whattype(a) <> list then ERROR(`a not a list`); fi:
%p for i from 1 to nops(a) do if x < a[i] then break; fi; od:
%p RETURN(i-1); end:
%p t3:=[seq(binomial(n,3),n=0..50)];
%p t2:=[seq(binomial(n,2),n=0..50)];
%p t1:=[seq(binomial(n,1),n=0..50)];
%p for n from 0 to 200 do
%p i3:=whereinlist(n,t3);
%p i2:=whereinlist(n-t3[i3],t2);
%p i1:=whereinlist(n-t3[i3]-t2[i2],t1);
%p L[n]:=[i3-1,i2-1,i1-1];
%p od:
%p [seq(L[n][1],n=0..200)];
%Y The [i,j,k] values are [A194847, A194848, A056558], or equivalently [A056556+2, A056557+1, A056558]. See A194849 for the union list of triples.
%Y Cf. also A002024, A002262, A138036.
%K nonn
%O 0,1
%A _N. J. A. Sloane_, Sep 03 2011