%I #27 Oct 15 2023 12:25:58
%S 2,7,10,4,15,18,20,23,9,28,31,12,36,39,41,44,17,49,52,54,57,22,62,65,
%T 25,70,73,75,78,30,83,86,33,91,94,96,99,38,104,107,109,112,43,117,120,
%U 46,125,128,130,133,51,138,141,143,146,56,151,154,59,159,162,164,167
%N Kim-sums: "Kimberling sums" K_n + K_3.
%C Let W(i,j) denote the index of that row of the extended Wythoff array (see A035513) that contains the sequence formed by the sum of rows i and j. Then a(n) = W(2,n). - _N. J. A. Sloane_, Mar 07 2016
%D J. H. Conway, Posting to Math Fun Mailing List, Dec 02 1996.
%D M. LeBrun, Posting to Math Fun Mailing List Jan 10 1997.
%H J. H. Conway, Allan Wechsler, Marc LeBrun, Dan Hoey, and N. J. A. Sloane, <a href="/A269725/a269725.txt">On Kimberling Sums and Para-Fibonacci Sequences</a>, Correspondence and Postings to Math-Fun Mailing List, Nov 1996 to Jan 1997
%p Ki := proc(n,i)
%p option remember;
%p local phi ;
%p phi := (1+sqrt(5))/2 ;
%p if i= 0 then
%p n;
%p elif i=1 then
%p floor((n+1)*phi) ;
%p else
%p procname(n,i-1)+procname(n,i-2) ;
%p end if;
%p end proc:
%p Kisum := proc(n,m)
%p local ks,a,i;
%p ks := [seq( Ki(n,i)+Ki(m,i),i=0..5)] ;
%p for i from 0 to 2 do
%p for a from 0 do
%p if Ki(a,0) = ks[i+1] and Ki(a,1) = ks[i+2] then
%p return a;
%p end if;
%p if Ki(a,0) > ks[i+1] then
%p break;
%p end if;
%p end do:
%p end do:
%p end proc:
%p A022414 := proc(n)
%p if n = 0 then
%p 2;
%p else
%p Kisum(n-1,2) ;
%p end if;
%p end proc:
%p seq(A022414(i),i=0..80) ; # _R. J. Mathar_, Sep 03 2016
%t Ki[n_, i_] := Ki[n, i] = Which[i == 0, n, i == 1, Floor[(n + 1)* GoldenRatio], True, Ki[n, i - 1] + Ki[n, i - 2]];
%t Kisum [n_, m_] := Module[{ks, a, i}, ks = Table[Ki[n, i] + Ki[m, i], {i, 0, 5}]; For[i = 0, i <= 2, i++, For[a = 0, True, a++, If[Ki[a, 0] == ks[[i + 1]] && Ki[a, 1] == ks[[i + 2]], Return@a]; If[Ki[a, 0] > ks[[i + 1]], Break[]]]]];
%t a[n_] := If[n == 0, 2, Kisum[n - 1, 2]];
%t Table[a[n], {n, 0, 80}] (* _Jean-François Alcover_, Oct 15 2023, after _R. J. Mathar_ *)
%Y Cf. A000201, A035513.
%Y The "Kim-sums" K_n + K_i for i = 2 through 12 are given in A022413, A022414, A022415, A022416, ..., A022423.
%K nonn,easy
%O 0,1
%A _Marc LeBrun_
|