login
Dispersion of ([nx+n+1/2]), where x=(golden ratio) and [ ]=floor, by antidiagonals.
1

%I #10 Feb 14 2014 00:28:54

%S 1,3,2,8,5,4,21,13,10,6,55,34,26,16,7,144,89,68,42,18,9,377,233,178,

%T 110,47,24,11,987,610,466,288,123,63,29,12,2584,1597,1220,754,322,165,

%U 76,31,14,6765,4181,3194,1974,843,432,199,81,37,15,17711,10946

%N Dispersion of ([nx+n+1/2]), where x=(golden ratio) and [ ]=floor, by antidiagonals.

%C Background discussion: Suppose that s is an increasing sequence of positive integers, that the complement t of s is infinite, and that t(1)=1. The dispersion of s is the array D whose n-th row is (t(n), s(t(n)), s(s(t(n)), s(s(s(t(n)))), ...). Every positive integer occurs exactly once in D, so that, as a sequence, D is a permutation of the positive integers. The sequence u given by u(n)=(number of the row of D that contains n) is a fractal sequence. Examples:

%C (1) s=A000040 (the primes), D=A114537, u=A114538.

%C (2) s=A022343 (without initial 0), D=A035513 (Wythoff array), u=A003603.

%C (3) s=A007067, D=A035506 (Stolarsky array), u=A133299.

%C More recent examples of dispersions: A191426-A191455.

%e Northwest corner:

%e 1....3....8....21...55...144

%e 2....5....13...34...89...233

%e 4....10...26...68...178..466

%e 6....16...42...110..288..754

%e 7....18...47...123..322..843

%t (* Program generates the dispersion array T of increasing sequence f[n] *)

%t r = 40; r1 = 12; (* r=# rows of T, r1=# rows to show *)

%t c = 40; c1 = 12; (* c=# cols of T, c1=# cols to show *)

%t x = 1 + GoldenRatio;

%t f[n_] := Floor[n*x + 1/2] (* f(n) is complement of column 1 *)

%t mex[list_] := NestWhile[#1 + 1 &, 1, Union[list][[#1]] <= #1 &, 1,

%t Length[Union[list]]]

%t rows = {NestList[f, 1, c]};

%t Do[rows = Append[rows, NestList[f, mex[Flatten[rows]], r]], {r}];

%t t[i_, j_] := rows[[i, j]];

%t TableForm[Table[t[i, j], {i, 1, 10}, {j, 1, 10}]] (* A191433 array *)

%t Flatten[Table[t[k, n - k + 1], {n, 1, c1}, {k, 1, n}]] (* A191433 sequence *)

%t (* Program by _Peter J. C. Moses_, Jun 01 2011 *)

%Y Cf. A114537, A035513, A035506.

%K nonn,tabl

%O 1,2

%A _Clark Kimberling_, Jun 03 2011