A065678 - OEIS

%I #16 Jun 13 2015 00:50:30

%S 0,1,1,1,1,3,3,4,9,11,13,31,37,44,105,125,149,355,423,504,1201,1431,

%T 1705,4063,4841,5768,13745,16377,19513,46499,55403,66012,157305,

%U 187427,223317,532159,634061,755476,1800281,2145013,2555757,6090307,7256527

%N Minimum value t such that all quadruples of Diffy_length >= n have a maximal value >= t.

%C Another version of A045794, which has further information including a formula.

%C For quadruples of nonnegative integers a, b, c, d we let diffy([a, b, c, d]) := [|a-b|, |b-c|, |c-d|, |d-a|] (i.e. the quadruple of absolute differences of neighboring values, cyclically speaking) and Diffy_length([a, b, c, d]) := min { n in N | diffy^n([a, b, c, d]) = [0, 0, 0, 0] } (i.e. the minimum number of diffy iterations needed to convert [a, b, c, d] into [0, 0, 0, 0]).

%C The "inverse" of sequence A065677 (i.e. A065678(n) = min {m | A065677(m) >= n})

%H Colin Barker, <a href="/A065678/b065678.txt">Table of n, a(n) for n = 0..1000</a>

%H A. Behn, C. Kribs-Zaleta and V. Ponomarenko, <a href="http://www.jstor.org/stable/30037493">The convergence of difference boxes</a>, Amer. Math. Monthly 112 (2005), no. 5, 426-439.

%H J. Copeland and J. Haemer, <a href="http://alumnus.caltech.edu/~copeland/work/PDF/1999-02-women.pdf">Work: Differences Among Women</a>, SunExpert, 1999, pp. 38-43.

%H Raymond Greenwell, <a href="http://www.jstor.org/stable/3618447">The Game of Diffy</a>, Math. Gazette, Oct 1989, p. 222.

%H Peter J. Kernan (pete(AT)theory2.phys.cwru.edu), <a href="http://theory2.phys.cwru.edu/~pete/sequence.html">Algorithm and code</a> [Broken link]

%H Dawn J. Lawrie, <a href="http://www.cs.loyola.edu/~lawrie/CS630/F03/Projects/PA1/index.html">The Diffy game</a>.

%H Univ. Mass. Computer Science 121, <a href="http://www-unix.oit.umass.edu/~cs121/projects/project3/p3.htm">The Diffy Game</a> [Broken link]

%H <a href="/index/Rec#order_09">Index entries for linear recurrences with constant coefficients</a>, signature (0,0,3,0,0,1,0,0,1).

%F From _Colin Barker_, Feb 18 2015: (Start)

%F a(n) = 3*a(n-3)+a(n-6)+a(n-9).

%F G.f.: x*(x-1)*(x^8+x^6+x^5+x^4+x^3+3*x^2+2*x+1) / (x^9+x^6+3*x^3-1).

%F (End)

%e Since Diffy_length([0,0,0,0]) = 0 and Diffy_length([0,0,0,1]) = 4, we have A065678(1) = A065678(2) = A065678(3) = A065678(4) = 1.

%o (PARI) concat(0, Vec(x*(x-1)*(x^8+x^6+x^5+x^4+x^3+3*x^2+2*x+1)/(x^9+x^6+3*x^3-1) + O(x^100))) \\ _Colin Barker_, Feb 18 2015

%Y Cf. A065677.

%K nonn,easy

%O 0,6

%A _Jens Voß_, Nov 13 2001