cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A261953 Start with a single equilateral triangle for n=0; for the odd n-th generation add a triangle at each expandable side of the triangles of the (n-1)-th generation (this is the "side to side" version); for the even n-th generation use the "vertex to vertex" version; a(n) is the number of triangles added in the n-th generation.

This page as a plain text file.
%I A261953 #41 Aug 10 2025 06:02:35
%S A261953 1,3,9,12,18,21,27,30,36,39,45,48,54,57,63,66,72,75,81,84,90,93,99,
%T A261953 102,108,111,117,120,126,129,135,138,144,147,153,156,162,165,171,174,
%U A261953 180,183,189,192,198,201,207,210,216,219,225,228,234,237,243,246,252
%N A261953 Start with a single equilateral triangle for n=0; for the odd n-th generation add a triangle at each expandable side of the triangles of the (n-1)-th generation (this is the "side to side" version); for the even n-th generation use the "vertex to vertex" version; a(n) is the number of triangles added in the n-th generation.
%C A261953 See a comment on V-V and V-S at A249246.
%C A261953 There are a total of 16 combinations as shown in the table below:
%C A261953 +-------------------------------------------------------+
%C A261953 | Even n-th version    V-V      S-V      V-S      S-S   |
%C A261953 +-------------------------------------------------------+
%C A261953 | Odd n-th  version                                     |
%C A261953 |      V-V           A008486  A248969  A261951  A261952 |
%C A261953 |      S-V           A261950  A008486  A008486  A261956 |
%C A261953 |      V-S           A249246  A008486  A008486  A261957 |
%C A261953 |      S-S             a(n)   A261954  A261955  A008486 |
%C A261953 +-------------------------------------------------------+
%C A261953 Note: V-V = vertex to vertex, S-V = side to vertex,
%C A261953       V-S = vertex to side,   S-S = side to side.
%C A261953 From _Manfred Boergens_, Sep 21 2021: (Start)
%C A261953 For finite sets of random points in the real plane with exactly n nearest neighbors, a(n) for n >= 2 is a lower bound for the maximal number of points. Conjecturally, a(n) equals this number.
%C A261953 The randomness provides for pairwise different distances with probability = 1.
%C A261953 A point A is called a nearest neighbor if there is a point B with smaller distance to A than to any other point C.
%C A261953 In graph theory terms: Let G be a finite simple digraph; the vertices of G are arbitrary placed points in R^2 with pairwise different distances; the edges of G are arrows joining each point (tail end) to its nearest neighbor (head end). If G contains exactly n nearest neighbors and b(n) is the maximal number of points in any such graph then a(n) is the best lower bound known as yet for b(n).
%C A261953 a(n) for n >= 2 can be seen as an "inverse" to A347941.
%C A261953 a(n) is built by constructing G with m points and n nearest neighbors, m chosen as maximal as possible, then defining a(n)=m. The start is a(2)=9 and a(3)=12. We call the pairs (m,n)=(9,2) and (m,n)=(12,3) "anchor pairs" and proceed to bigger n by combining graphs with these anchor pairs to bigger graphs. So the next anchor pairs are (18,4), (21,5) and (27,6).
%C A261953 We conjecture that a(n) is optimal. This claim is true if the following assumptions hold:
%C A261953 - The anchor pairs (9,2) and (12,3) are optimal.
%C A261953 - All bigger anchor pairs (m,n) are constructed by combining copies of (9,2) if n is even and adding one (12,3) if n is odd.
%C A261953 (End)
%H A261953 Kival Ngaokrajang, <a href="/A261953/a261953.pdf">Illustration of initial terms</a>
%H A261953 Manfred Boergens, <a href="https://github.com/maboerg/Next-neighbours">Next-neighbours</a>
%H A261953 <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (1,1,-1).
%F A261953 a(0)=1, a(1)=3; for n >= 2, a(n) = a(n-1) + 6, if mod(n,2) = 0, otherwise a(n) = a(n-1) + 3.
%F A261953 From _Colin Barker_, Sep 10 2015: (Start)
%F A261953 a(n) = (3*(-1+(-1)^n+6*n))/4.
%F A261953 a(n) = a(n-1)+a(n-2)-a(n-3) for n>3.
%F A261953 G.f.: (x^3+5*x^2+2*x+1) / ((x-1)^2*(x+1)). (End)
%F A261953 a(n) = 3 * A032766(n) for n>=1. - _Michel Marcus_, Sep 13 2015
%F A261953 a(0)=1; for n >= 1, a(n) = 9n/2 for even n, a(n) = (9n-3)/2 for odd n. - _Manfred Boergens_, Sep 21 2021
%e A261953 If the graph G in the comment by Manfred Boergens has 5 nearest neighbors there are at most 21 vertices in G (conjectured; it is proved that there are G with 5 nearest neighbors and 21 vertices but it is not yet proved that 21 is the maximum). - _Manfred Boergens_, Sep 21 2021
%t A261953 Join[{1}, Table[If[OddQ[n], (9 n - 3)/2, 9 n/2], {n, 1, 100}]] (* _Manfred Boergens_, Sep 21 2021 *)
%o A261953 (PARI) {a=3; print1("1, ", a, ", "); for(n=2, 100, if (Mod(n,2)==0, a=a+6, a=a+3); print1(a, ", "))}
%Y A261953 Cf. A032766, A008486, A248969, A249246, A347941.
%K A261953 nonn,easy
%O A261953 0,2
%A A261953 _Kival Ngaokrajang_, Sep 06 2015