The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation. Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 56th year, we are closing in on 350,000 sequences, and we’ve crossed 9,700 citations (which often say “discovered thanks to the OEIS”). Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A131935 a(n) is the number of Khalimsky-continuous functions with four-point codomain and an n-point range. 4

%I

%S 4,7,15,31,65,136,285,597,1251,2621,5492,11507,24111,50519,105853

%N a(n) is the number of Khalimsky-continuous functions with four-point codomain and an n-point range.

%H Shiva Samieinia, <a href="http://www.math.su.se/reports/2007/6/">Digital straight line segments and curves</a>. Licentiate Thesis. Stockholm University, Department of Mathematics, Report 2007:6.

%F Let c^i(n) be the number of Khalimsky-continuous functions f from [0,n-1]_Z to [0,3]_Z such that f(n-1)=i for i=0,1,2,3 and let a(n) be their sum. Then a(n) = a(n-1)+2a(n-2)+c^1(n-3)+c^2(n-3)

%F The sequence is determined by the above recurrence together with the following recurrences:

%F c^0(2k + 1) = c^0(2k) + c^1(2k),

%F c^1(2k + 1) = c^1(2k),

%F c^2(2k + 1) = c^1(2k) + c^2(2k) + c^3(2k),

%F c^3(2k + 1) = c^3(2k) and

%F c^0(2k) = c^0(2k - 1),

%F c^1(2k) = c^0(2k - 1) + c^1(2k - 1) + c^2(2k - 1),

%F c^2(2k) = c^2(2k - 1),

%F c^3(2k) = c^2(2k - 1) + c^3(2k - 1).

%F For the asymptotic behavior, (c^1(n)+c^2(n))/(c^1(n-1)+c^2(n-1)), (c^0(n)+c^3(n))/(c^0(n-1)+c^3(n-1)) ans a(n)/a(n-1) all tend to 1/2( sqrt(7+ sqrt(5)+ sqrt(38+14 sqrt(5)))) =~ 2.095293985.

%F Conjectures from _Colin Barker_, Jan 13 2018: (Start)

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

%F a(n) = a(n-1) + 3*a(n-2) - a(n-3) - a(n-4) for n>4.

%F (End) [Since we have an explicit set of recurrences that produce a(n), it should be straightforward to prove these conjectures. - _N. J. A. Sloane_, Jan 14 2018]

%Y Cf. A131887.

%K nonn,more

%O 1,1

%A Shiva Samieinia (shiva(AT)math.su.se), Oct 05 2007, Oct 09 2007

%E a(11)-a(15) from _Neo Scott_, Jan 12 2018

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified December 5 12:24 EST 2021. Contains 349557 sequences. (Running on oeis4.)