A225227 -id:A225227 - cp's OEIS frontend

A001651 Numbers not divisible by 3.

1, 2, 4, 5, 7, 8, 10, 11, 13, 14, 16, 17, 19, 20, 22, 23, 25, 26, 28, 29, 31, 32, 34, 35, 37, 38, 40, 41, 43, 44, 46, 47, 49, 50, 52, 53, 55, 56, 58, 59, 61, 62, 64, 65, 67, 68, 70, 71, 73, 74, 76, 77, 79, 80, 82, 83, 85, 86, 88, 89, 91, 92, 94, 95, 97, 98, 100, 101, 103, 104

Offset: 1

N. J. A. Sloane

Inverse binomial transform of A084858. - Benoit Cloitre, Jun 12 2003
Earliest monotonic sequence starting with (1,2) and satisfying the condition: "a(n)+a(n-1) is not in the sequence." - Benoit Cloitre, Mar 25 2004. [The numbers of the form a(n)+a(n-1) form precisely the complement with respect to the positive integers. - David W. Wilson, Feb 18 2012]
a(1) = 1; a(n) is least number which is relatively prime to the sum of all the previous terms. - Amarnath Murthy, Jun 18 2001
For n > 3, numbers having 3 as an anti-divisor. - Alexandre Wajnberg, Oct 02 2005
Also numbers n such that (n+1)*(n+2)/6 = A000292(n)/n is an integer. - Ctibor O. Zizka, Oct 15 2010
Notice the property described by Gary Detlefs in A113801: more generally, these numbers are of the form (2*h*n + (h-4)*(-1)^n-h)/4 (h, n natural numbers), therefore ((2*h*n + (h-4)*(-1)^n - h)/4)^2 - 1 == 0 (mod h); in this case, a(n)^2 - 1 == 0 (mod 3). - Bruno Berselli, Nov 17 2010
A001651 mod 9 gives A141425. - Paul Curtz, Dec 31 2010. (Correct for the modified offset 1. - M. F. Hasler, Apr 07 2015)
The set of natural numbers (1, 2, 3, ...), sequence A000027; represents the numbers of ordered compositions of n using terms in the signed set: (1, 2, -4, -5, 7, 8, -10, -11, 13, 14, ...). This follows from (1, 2, 3, ...) being the INVERT transform of A011655, signed and beginning: (1, 1, 0, -1, -1, 0, 1, 1, 0, ...). - Gary W. Adamson, Apr 28 2013
Union of A047239 and A047257. - Wesley Ivan Hurt, Dec 19 2013
Numbers whose sum of digits (and digital root) is != 0 (mod 3). - Joerg Arndt, Aug 29 2014
The number of partitions of 3*(n-1) into at most 2 parts. - Colin Barker, Apr 22 2015
a(n) is the number of partitions of 3*n into two distinct parts. - L. Edson Jeffery, Jan 14 2017
Conjectured (and like even easily proved) to be the graph bandwidth of the complete bipartite graph K_{n,n}. - Eric W. Weisstein, Apr 24 2017
Numbers k such that Fibonacci(k) mod 4 = 1 or 3. Equivalently, sequence lists the indices of the odd Fibonacci numbers (see A014437). - Bruno Berselli, Oct 17 2017
Minimum value of n_3 such that the "rectangular spiral pattern" is the optimal solution for Ripà's n_1 X n_2 x n_3 Dots Problem, for any n_1 = n_2. For example, if n_1 = n_2 = 5, n_3 = floor((3/2)*(n_1 - 1)) + 1 = a(5). - Marco Ripà, Jul 23 2018
For n >= 54, a(n) = sat(n, P_n), the minimum number of edges in a P_n-saturated graph on n vertices, where P_n is the n-vertex path (see Dudek, Katona, and Wojda, 2003; Frick and Singleton, 2005). - Danny Rorabaugh, Nov 07 2017
From Roger Ford, May 09 2021: (Start)
a(n) is the smallest sum of arch lengths for the top arches of a semi-meander with n arches. An arch length is the number of arches covered + 1.
      /\   The top arch has a length of 3. /\   The top arch has a length of 3.
     /  \  Both bottom arches have a      //\\  The middle arch has a length of 2.
    //\/\\ length of 1.                  ///\\\ The bottom arch has a length of 1.
  Example: a(6) = 8     /\      /\
                       //\\ /\ //\\ /\   2 + 1 + 1 + 2 + 1 + 1 = 8. (End)
This is the lexicographically earliest increasing sequence of positive integers such that no polynomial of degree d can be fitted to d+2 consecutive terms (equivalently, such that no iterated difference is zero). - Pontus von Brömssen, Dec 26 2021

			G.f.: x + 2*x^2 + 4*x^3 + 5*x^4 + 7*x^5 + 8*x^6 + 10*x^7 + 11*x^8 + 13*x^9 + ...

N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Vincenzo Librandi, Table of n, a(n) for n = 1..10000
L. Carlitz, R. Scoville and T. Vaughan, Some arithmetic functions related to Fibonacci numbers, Fib. Quart., Vol. 11, No. 4 (1973), pp. 337-386.
Aneta Dudek, Gyula Y. Katona, and A.Pawel Wojda, m_Path Cover Saturated Graphs, Electronic Notes in Discrete Math., Vol. 13 (April 2003), pp. 41-44.
Marietjie Frick and Joy Singleton, Lower Bound for the Size of Maximal Nontraceable Graphs, Electron. J. Combin., 12#R32 (2005), 9 pp.
Aviezri S. Fraenkel, New games related to old and new sequences, INTEGERS, Electronic J. of Combinatorial Number Theory, Vol. 4, Paper G6, 2004. (See Table 5.)
Brian Hopkins, Euler's Enumerations, Enumerative Combinatorics and Applications, Vol. 1, No. 1 (2021), Article #S1H1.
G. Ledin, Jr., Is Eratosthenes out?, Fib. Quart., Vol. 6, No. 4 (1968), pp. 261-265.
Gerard P. Michon, Counting Polyhedra.
Melvyn B. Nathanson, On the fractional parts of roots of positive real numbers, Amer. Math. Monthly, Vol. 120, No. 5 (2013), pp. 409-429 [see p. 417].
M. A. Nyblom, Some curious sequences involving floor and ceiling functions, Am. Math. Monthly, Vol. 109, No. 6 (2002), pp. 559-564, Ex. 2.2.
Simon Plouffe, Approximations de séries génératrices et quelques conjectures, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
Simon Plouffe, 1031 Generating Functions, Appendix to Thesis, Montreal, 1992.
Marco Ripà, The rectangular spiral or the n1 X n2 X ... X nk Points Problem , Notes on Number Theory and Discrete Mathematics, Vol. 20, No. 1 (2014), pp. 59-71.
Eric Weisstein's World of Mathematics, Complete Bipartite Graph, Graph Bandwidth, and RATS Sequence.
Dominika Závacká, Cristina Dalfó, and Miquel Angel Fiol, Integer sequences from k-iterated line digraphs, CEUR: Proc. 24th Conf. Info. Tech. - Appl. and Theory (ITAT 2024) Vol 3792, 156-161. See p. 161, Table 2.
Index entries for linear recurrences with constant coefficients, signature (1,1,-1).

Differs from A059564 after 35 = a(24) = A059564(24).
Cf. A000726, A001082, A003105, A005408 (n=1 or 3 mod 4), A007494, A008585 (complement), A011655, A026386, A032766, A073010, A191967, A225227, A004526, A248897.
Cf. A000027, A000217, A000292, A000982, A001477, A008619, A014437, A040001, A047239, A047257, A077043, A084858, A113801, A141425, A215879.

Filtered([0..110],n->n mod 3<>0); # Muniru A Asiru, Jul 24 2018

a001651 = (`div` 2) . (subtract 1) . (* 3)
a001651_list = filter ((/= 0) . (`mod` 3)) [1..]
-- Reinhard Zumkeller, Jul 07 2012, Aug 23 2011

[3*(2*n-1)/4-(-1)^n/4: n in [1..80]]; // Vincenzo Librandi, Jun 07 2011

A001651 := n -> 3*floor(n/2) - (-1)^n; # Corrected by M. F. Hasler, Apr 07 2015
A001651:=(1+z+z**2)/(z+1)/(z-1)**2; # Simon Plouffe in his 1992 dissertation
a[1]:=1:a[2]:=2:for n from 3 to 100 do a[n]:=a[n-2]+3 od: seq(a[n], n=1..69); # Zerinvary Lajos, Mar 16 2008, offset corrected by M. F. Hasler, Apr 07 2015

Select[Table[n,{n,200}],Mod[#,3]!=0&] (* Vladimir Joseph Stephan Orlovsky, Feb 18 2011 *)
Drop[Range[200 + 1], {1, -1, 3}] - 1 (* József Konczer, May 24 2016 *)
Floor[(3 Range[70] - 1)/2] (* Eric W. Weisstein, Apr 24 2017 *)
CoefficientList[Series[(x^2 + x + 1)/((x - 1)^2 (x + 1)), {x, 0, 70}],
  x] (* or *)
LinearRecurrence[{1, 1, -1}, {1, 2, 4}, 70] (* Robert G. Wilson v, Jul 25 2018 *)

{a(n) = n + (n-1)\2}; /* Michael Somos, Jan 15 2011 */

x='x+O('x^100); Vec(x*(1+x+x^2)/((1-x)*(1-x^2))) \\ Altug Alkan, Oct 22 2015

print([k for k in range(1, 105) if k%3]) # Michael S. Branicky, Sep 06 2021

def A001651(n): return (n<<1)-(n>>1)-1 # Chai Wah Wu, Mar 05 2024

a(n) = 3 + a(n-2) for n > 2.
a(n) = a(n-1) + a(n-2) - a(n-3) for n > 3.
a(2*n+1) = 3*n+1, a(2*n) = 3*n-1.
G.f.: x * (1 + x + x^2) / ((1 - x) * (1 - x^2)). - Michael Somos, Jun 08 2000
a(n) = (4-n)*a(n-1) + 2*a(n-2) + (n-3)*a(n-3) (from the Carlitz et al. article).
a(n) = floor((3*n-1)/2). [Corrected by Gary Detlefs]
a(1) = 1, a(n) = 2*a(n-1) - 3*floor(a(n-1)/3). - Benoit Cloitre, Aug 17 2002
a(n+1) = 1 + n - n mod 2 + (n + n mod 2)/2. - Reinhard Zumkeller, Dec 17 2002
a(1) = 1, a(n+1) = a(n) + (a(n) mod 3). - Reinhard Zumkeller, Mar 23 2003
a(1) = 1, a(n) = 3*(n-1) - a(n-1). - Benoit Cloitre, Apr 12 2003
a(n) = 3*(2*n-1)/4 - (-1)^n/4. - Benoit Cloitre, Jun 12 2003
Nearest integer to (Sum_{k>=n} 1/k^3)/(Sum_{k>=n} 1/k^4). - Benoit Cloitre, Jun 12 2003
Partial sums of A040001. a(n) = A032766(n-1)+1. - Paul Barry, Sep 02 2003
a(n) = T(n, 1) = T(n, n-1), where T is the array in A026386. - Emeric Deutsch, Feb 18 2004
a(n) = sqrt(3*A001082(n)+1). - Zak Seidov, Dec 12 2007
a(n) = A077043(n) - A077043(n-1). - Reinhard Zumkeller, Dec 28 2007
a(n) = A001477(n-1) + A008619(n-1). - Yosu Yurramendi, Aug 10 2008
Euler transform of length 3 sequence [2, 1, -1]. - Michael Somos, Sep 06 2008
A011655(a(n)) = 1. - Reinhard Zumkeller, Nov 30 2009
a(n) = n - 1 + ceiling(n/2). - Michael Somos, Jan 15 2011
a(n) = 3*A000217(n)+1 - 2*Sum_{i=1..n-1} a(i), for n>1. - Bruno Berselli, Nov 17 2010
a(n) = 3*floor(n/2) + (-1)^(n+1). - Gary Detlefs, Dec 29 2011
A215879(a(n)) > 0. - Reinhard Zumkeller, Dec 28 2012 [More precisely, A215879 is the characteristic function of A001651. - M. F. Hasler, Apr 07 2015]
a(n) = 2n - 1 - floor(n/2). - Wesley Ivan Hurt, Oct 25 2013
a(n) = (3n - 2 + (n mod 2)) / 2. - Wesley Ivan Hurt, Mar 31 2014
a(n) = A000217(n) - A000982(n-1). - Bui Quang Tuan, Mar 28 2015
1/1^3 - 1/2^3 + 1/4^3 - 1/5^3 + 1/7^3 - 1/8^3 + ... = 4 Pi^3/(3 sqrt(3)). - M. F. Hasler, Mar 29 2015
E.g.f.: (4 + sinh(x) - cosh(x) + 3*(2*x - 1)*exp(x))/4. - Ilya Gutkovskiy, May 24 2016
a(n) = a(n+k-1) + a(n-k) - a(n-1) for n > k >= 0. - Bob Selcoe, Feb 03 2017
a(n) = -a(1-n) for all n in Z. - Michael Somos, Jul 31 2018
a(n) = n + A004526(n-1). - David James Sycamore, Sep 06 2021
Sum_{n>=1} (-1)^(n+1)/a(n) = Pi/(3*sqrt(3)) (A073010). - Amiram Eldar, Dec 04 2021
From Amiram Eldar, Nov 22 2024: (Start)
Product_{n>=1} (1 - (-1)^n/a(n)) = 1.
Product_{n>=2} (1 + (-1)^n/a(n)) = 2*Pi/(3*sqrt(3)) (A248897). (End)

This is a list, so the offset should be 1. I corrected this and adjusted some of the comments and formulas. Other lines probably also need to be adjusted. - N. J. A. Sloane, Jan 01 2011

Offset of pre-2011 formulas verified or corrected by M. F. Hasler, Apr 07-18 2015 and by Danny Rorabaugh, Oct 23 2015

A056220 a(n) = 2*n^2 - 1.

Original entry on oeis.org

-1, 1, 7, 17, 31, 49, 71, 97, 127, 161, 199, 241, 287, 337, 391, 449, 511, 577, 647, 721, 799, 881, 967, 1057, 1151, 1249, 1351, 1457, 1567, 1681, 1799, 1921, 2047, 2177, 2311, 2449, 2591, 2737, 2887, 3041, 3199, 3361, 3527, 3697, 3871, 4049, 4231, 4417, 4607, 4801

Offset: 0

N. J. A. Sloane, Aug 06 2000

Image of squares (A000290) under "little Hankel" transform that sends [c_0, c_1, ...] to [d_0, d_1, ...] where d_n = c_n^2 - c_{n+1}*c_{n-1}. - Henry Bottomley, Dec 12 2000
Surround numbers of an n X n square. - Jason Earls, Apr 16 2001
Numbers n such that 2*n + 2 is a perfect square. - Cino Hilliard, Dec 18 2003, Juri-Stepan Gerasimov, Apr 09 2016
The sums of the consecutive integer sequences 2n^2 to 2(n+1)^2-1 are cubes, as 2n^2 + ... + 2(n+1)^2-1 = (1/2)(2(n+1)^2 - 1 - 2n^2 + 1)(2(n+1)^2 - 1 + 2n^2) = (2n+1)^3. E.g., 2+3+4+5+6+7 = 27 = 3^3, then 8+9+10+...+17 = 125 = 5^3. - Andras Erszegi (erszegi.andras(AT)chello.hu), Apr 29 2005
X values (other than 0) of solutions to the equation 2*X^3 + 2*X^2 = Y^2. To find Y values: b(n) = 2n*(2*n^2 - 1). - Mohamed Bouhamida, Nov 06 2007
Average of the squares of two consecutive terms is also a square. In fact: (2*n^2 - 1)^2 + (2*(n+1)^2 - 1)^2 = 2*(2*n^2 + 2*n + 1)^2. - Matias Saucedo (solomatias(AT)yahoo.com.ar), Aug 18 2008
Equals row sums of triangle A143593 and binomial transform of [1, 6, 4, 0, 0, 0, ...] with n > 1. - Gary W. Adamson, Aug 26 2008
Start a spiral of square tiles. Trivially the first tile fits in a 1 X 1 square. 7 tiles fit in a 3 X 3 square, 17 tiles fit in a 5 X 5 square and so on. - Juhani Heino, Dec 13 2009
Let A be the Hessenberg matrix of order n, defined by: A[1,j]=1, A[i,i]:=-2, A[i,i-1]=-1, and A[i,j]=0 otherwise. Then, for n >= 1, a(n) = coeff(charpoly(A,x),x^(n-2)). - Milan Janjic, Jan 26 2010
For each n > 0, the recursive series, formula S(b) = 6*S(b-1) - S(b-2) - 2*a(n) with S(0) = 4n^2-4n+1 and S(1) = 2n^2, has the property that every even term is a perfect square and every odd term is twice a perfect square. - Kenneth J Ramsey, Jul 18 2010
Fourth diagonal of A154685 for n > 2. - Vincenzo Librandi, Aug 07 2010
First integer of (2*n)^2 consecutive integers, where the last integer is 3 times the first + 1. As example, n = 2: term = 7; (2*n)^2 = 16; 7, 8, 9, ..., 20, 21, 22: 7*3 + 1 = 22. - Denis Borris, Nov 18 2012
Chebyshev polynomial of the first kind T(2,n). - Vincenzo Librandi, May 30 2014
For n > 0, number of possible positions of a 1 X 2 rectangle in a (n+1) X (n+2) rectangular integer lattice. - Andres Cicuttin, Apr 07 2016
This sequence also represents the best solution for Ripà's n_1 X n_2 X n_3 dots problem, for any 0 < n_1 = n_2 < n_3 = floor((3/2)*(n_1 - 1)) + 1. - Marco Ripà, Jul 23 2018

			a(0) = 0^2-1*1 = -1, a(1) = 1^2 - 4*0 = 1, a(2) = 2^2 - 9*1 = 7, etc.
a(4) = 31 = (1, 3, 3, 1) dot (1, 6, 4, 0) = (1 + 18 + 12 + 0). - _Gary W. Adamson_, Aug 29 2008

Reinhard Zumkeller, Table of n, a(n) for n = 0..10000
Jeremiah Bartz, Bruce Dearden, and Joel Iiams, Classes of Gap Balancing Numbers, arXiv:1810.07895 [math.NT], 2018.
Milan Janjić, Hessenberg Matrices and Integer Sequences, J. Int. Seq., Vol. 13 (2010), Article # 10.7.8.
Mitch Phillipson, Manda Riehl, and Tristan Williams, Enumeration of Wilf classes in Sn ~ Cr for two patterns of length 3, PU. M. A., Vol. 21, No. 2 (2010), pp. 321-338.
Marco Ripà, The rectangular spiral or the n1 X n2 X ... X nk Points Problem , Notes on Number Theory and Discrete Mathematics, Vol. 20, No. 1 (2014), pp. 59-71.
Leo Tavares, Illustration: Twin Squares
Index entries for linear recurrences with constant coefficients, signature (3,-3,1).

Cf. A000105, A000217, A000290, A000384, A001082, A001653, A001844, A002378, A002593, A003215, A005563, A028347, A036666, A046092, A047875, A062717, A069074, A077585, A087475, A119258, A143593, A154685, A162610, A188653, A225227.
Cf. A066049 (indices of prime terms)
Column 2 of array A188644 (starting at offset 1).

List([0..50], n-> 2*n^2-1); # Muniru A Asiru, Jul 24 2018

[2*n^2-1 : n in [0..50]]; // Vincenzo Librandi, May 30 2014

A056220:=n->2*n^2-1; seq(A056220(n), n=0..50); # Wesley Ivan Hurt, Jun 16 2014

Array[2 #^2 - 1 &, 50, 0] (* Robert G. Wilson v, Jul 23 2018 *)
CoefficientList[Series[(x^2 +4x -1)/(1-x)^3, {x, 0, 50}], x] (* or *)
LinearRecurrence[{3, -3, 1}, {-1, 1, 7}, 51] (* Robert G. Wilson v, Jul 24 2018 *)

PARI
```
a(n)=2*n^2-1;
```

[2*n^2-1 for n in (0..50)] # G. C. Greubel, Jul 07 2019

G.f.: (-1 + 4*x + x^2)/(1-x)^3. - Henry Bottomley, Dec 12 2000
a(n) = A119258(n+1,2) for n > 0. - Reinhard Zumkeller, May 11 2006
From Doug Bell, Mar 08 2009: (Start)
a(0) = -1,
a(n) = sqrt(A001844(n)^2 - A069074(n-1)),
a(n+1) = sqrt(A001844(n)^2 + A069074(n-1)) = sqrt(a(n)^2 + A069074(n-1)*2). (End)
a(n) + a(n+1) + 1 = (2n+1)^2. - Doug Bell, Mar 09 2009
a(n) = a(n-1) + 4*n - 2 (with a(0)=-1). - Vincenzo Librandi, Dec 25 2010
a(n) = A188653(2*n) for n > 0. - Reinhard Zumkeller, Apr 13 2011
a(n) = A162610(2*n-1,n) for n > 0. - Reinhard Zumkeller, Jan 19 2013
a(n) = ( Sum_{k=0..2} (C(n+k,3)-C(n+k-1,3))*(C(n+k,3)+C(n+k+1,3)) ) - (C(n+2,3)-C(n-1,3))*(C(n,3)+C(n+3,3)), for n > 3. - J. M. Bergot, Jun 16 2014
a(n) = j^2 + k^2 - 2 or 2*j*k if n >= 2 and j = n + sqrt(2)/2 and k = n - sqrt(2)/2. - Avi Friedlich, Mar 30 2015
a(n) = A002593(n)/n^2. - Bruce J. Nicholson, Apr 03 2017
a(n) = A000384(n) + n - 1. - Bruce J. Nicholson, Nov 12 2017
a(n)*a(n+k) + 2k^2 = m^2 (a perfect square), m = a(n) + (2n*k), for n>=1. - Ezhilarasu Velayutham, May 13 2019
From Amiram Eldar, Aug 10 2020: (Start)
Sum_{n>=1} 1/a(n) = 1/2 - sqrt(2)*Pi*cot(Pi/sqrt(2))/4.
Sum_{n>=1} (-1)^(n+1)/a(n) = sqrt(2)*Pi*csc(Pi/sqrt(2))/4 - 1/2. (End)
From Amiram Eldar, Feb 04 2021: (Start)
Product_{n>=1} (1 + 1/a(n)) = (Pi/sqrt(2))*csc(Pi/sqrt(2)).
Product_{n>=2} (1 - 1/a(n)) = (Pi/(4*sqrt(2)))*csc(Pi/sqrt(2)). (End)
a(n) = A003215(n) - A000217(n-2)*2. - Leo Tavares, Jun 29 2021
Let T(n) = n*(n+1)/2. Then a(n)^2 = T(2n-2)*T(2n+1) + n^2. - Charlie Marion, Feb 12 2023
E.g.f.: exp(x)*(2*x^2 + 2*x - 1). - Stefano Spezia, Jul 08 2023

A261547 The 3 X 3 X ... X 3 dots problem (3, n times): minimal number of straight lines (connected at their endpoints) required to pass through 3^n dots arranged in a 3 X 3 X ... X 3 grid.

Original entry on oeis.org

1, 1, 4, 13, 40, 121, 364, 1093, 3280, 9841, 29524, 88573, 265720, 797161, 2391484, 7174453, 21523360, 64570081, 193710244, 581130733, 1743392200, 5230176601, 15690529804, 47071589413, 141214768240, 423644304721, 1270932914164

Offset: 0

Marco Ripà, Aug 24 2015

nonn

Except for the first term a duplicate of A003462.
This is an n-dimensional generalization of the well-known "Nine Dots Problem".
Except for n < 2, the a(n) represent "outside the box" solutions, but (for any n) the minimal covering trail C(n) is still inside a box of (hyper)volume 3^n units^n. - Marco Ripà, Jul 19 2020

			For n=5, a(5) = 121. You cannot touch (the centers of) the 3^5 = 243 points using fewer than 121 straight lines, following the "Nine Dots Puzzle" basic rules.

Marco Ripà, Solving the 106 years old 3^k Points Problem with the Clockwise-algorithm, ResearchGate, 2020 (DOI: 10.13140/RG.2.2.34972.92802).
Marco Ripà, Solving the n_1 <= n_2 <= n_3 Points Problem for n_3 < 6, ResearchGate, 2020 (DOI: 10.13140/RG.2.2.12199.57769/1).
Marco Ripà, The rectangular spiral or the n1 X n2 X ... X nk Points Problem, Notes on Number Theory and Discrete Mathematics, 2014, 20(1), 59-71.
Wikipedia, Nine dots puzzle

Cf. A003462, A058992, A225227.

Join[{1}, (3^Range[30]-1)/2] (* Paolo Xausa, Jan 31 2024 *)

a(n) = (3^n - 1)/2 = A003462(n), for n >= 1. - Marco Ripà, Jul 19 2020

a(4) added by Marco Ripà, Aug 06 2018

a(3)-a(4) corrected and more terms added by Marco Ripà, Jul 19 2020

A363755 The original n X n X n dots problem: minimal number of straight lines (connected at their endpoints) required to join all the n^3 points belonging to the set {{0,1,...,n-1} X {0,1,...,n-1} X {0,1,...,n-1}} in R^3, without any additional constraint.

Original entry on oeis.org

1, 6, 13

Offset: 1

Marco Ripà, Jun 19 2023

The most natural mathematical generalization of the well-known "Nine Dots Problem" by Sam Loyd (published in Cyclopedia of puzzles, p. 301, in 1914) is an NP-hard challenge with no AABB, no constraint about visiting any vertex more than once or self-crossing lines, no restriction on the turning angles available.
This problem has been solved for n < 4 (see links), while it has been proved that a(4) is 21, 22, or 23, since a covering trail (for the n = 4 case) having 23 links is given by (3,3,1)-(1,3,1)-(-2,0,1)-(4,0,1)-(3,0,3)-(3,3,3)-(0,0,0)-(3,0,0)-(0,3,3)-(0,0,3)-(3,3,0)-(-1,3,0)-(2,3,3)-(2,-1,3)-(-1,2,0)-(4,2,0)-(1,-1,3)-(1,4,3)-(4,1,0)-(-1,1,0)-(3,3,2)-(3,-2,2)-(0,7,2)-(0,0,2).
A covering trail for the n = 5 case with a link-length of 36 is (2,3,3)-(-1,0,3)-(4,0,3)-(0,4,3)-(5,4,3)- (3,2,1)-(-1,0,1)-(4,5,1)-(4,0,1)-(0,0,1)-(0,4,1)-(5,-1,1)-(3,3,3)-(0,-3,0)-(0,5,0)-(4,1,4)- (-1,1,4)-(3,5,0)-(3,0,0)-(-1,4,4)-(4,4,4)-(4,0,0)-(4,4,0)-(0,0,4)-(5,0,4)-(1,4,0)-(1,-1,0)- (5,3,4)-(0,3,4)-(2,-1,0)-(2,4,0)-(4,2,4)-(0,2,4)-(4,0,2)-(0,0,2)-(0,4,2)-(4,4,2).

			For n = 2, a(2) = 6, since it is not possible to touch the 8 vertices of a cube by spending fewer than 6 straight lines (see Theorem 2.2 in Optimal cycles enclosing all the nodes of a k-dimensional hypercube).

Sam Loyd, Cyclopedia of Puzzles, The Lamb Publishing Company, 1914, page 301.

Roberto Rinaldi and Marco Ripà, Optimal cycles enclosing all the nodes of a k-dimensional hypercube, arXiv:2212.11216 [math.CO], 2022.
Marco Ripà, Solving the n_1 x n_2 x n_3 Points Problem for any n_3 < 6, ResearchGate, 2020.
Marco Ripà, Solving the 106 years old 3^k points problem with the clockwise-algorithm, Journal of Fundamental Mathematics and Applications, 2020, 3(2), 84-97.
Marco Ripà, Minimum-Link Covering Trails for any Hypercubic Lattice, arXiv:2208.01699 [math.GM], 2022.
Marco Ripà, General conjecture on the optimal covering trails in a k-dimensional cubic lattice, ResearchGate, 2022.
Wikipedia, Nine dots puzzle

Cf. A058992, A225227, A261547, A318165.

For any n >= 3, (n^3 - 1)/(n - 1) <= a(n) <= floor((3*n^2)/2) - floor((n - 1)/4) + floor((n + 1)/4) - floor((n + 2)/4) + floor(n/4) + n - 2.

A373537 Decimal expansion of the Euclidean length of the shortest minimum-link polygonal chains joining all the vertices of the cube [0,1]^3.

Original entry on oeis.org

1, 1, 1, 0, 5, 2, 5, 1, 1, 2, 3, 0, 6, 5, 3, 3, 1, 7, 9, 7, 3, 5, 9, 1, 7, 1, 1, 2, 1, 5, 2, 4, 1, 9, 5, 1, 2, 7, 9, 3, 9, 2, 0, 9, 8, 0, 9, 9, 1, 9, 1, 7, 3, 4, 3, 8, 5, 9, 0, 0, 5, 5, 1, 8, 2, 1, 6, 5, 5, 0, 6, 1, 1, 2, 7, 2, 8, 5, 2, 4, 2, 1, 8, 3, 1, 7, 3

Offset: 2

Marco Ripà, Jun 08 2024

It has been proved that it is not possible to join the 8 vertices of a cube with a polygonal chain that has fewer than 6 edges (see Links, Optimal cycles enclosing all the nodes of a k-dimensional hypercube, Theorem 2.2).
Here we consider the additional constraint of minimizing the total (Euclidean) length of the minimum-link polygonal chains (which consist of exactly 6 line segments connected at their endpoints) that join all the vertices of the cube [0,1] X [0,1] X [0,1].
A solution to the above-stated problem is provided by the 6-link polygonal chain (0,0,1)-(0,0,0)-(1+(x+2+sqrt(2))/(2*sqrt(2)(x+sqrt(2))),1+(x+2+sqrt(2))/(2*sqrt(2)(x+sqrt(2))),0)-(1/2,1/2,1+x/sqrt(2))-(- (x+2+sqrt(2))/(2*sqrt(2)(x+sqrt(2))),1+(x+2+sqrt(2))/(2*sqrt(2)(x+sqrt(2))),0)-(1,0,0)-(1,0,1), where x = (1/2)*sqrt((2/3)^(2/3)*((9+sqrt(177)))^(1/3) - 4*(2/(27+3*sqrt(177)))^(1/3)) + (1/2)*sqrt(4*(2/(27+3*sqrt(177)))^(1/3) - (2/3)^(2/3)*(9+sqrt(177))^(1/3) + 4*sqrt(2/((2/3)^(2/3)*(9+sqrt(177))^(1/3) - 4*(2/(27+3*sqrt(177)))^(1/3)))) = 1.597920933550032074764705350780465558827883608091828573735862154752648...
The total (Euclidean) length of the mentioned polygonal chain is about 11.105251123 and this value cannot be beaten by any other 6-link polygonal chain covering all the vertices belonging to the set {0,1} X {0,1} X {0,1} (a nice proof was posted on MathOverflow on June 5, 2024 by a new user, DR.LL, whose profile was subsequently deleted for unknown reasons).

			11.10525112306533179735917112152419512793920980991917343859...

Matematicamente.it, Problema di minimizzazione con un triangolo rettangoloe.
Math Overflow, Shortest polygonal chain with 6 edges visiting all the vertices of a cube.
Roberto Rinaldi and Marco Ripà, Optimal cycles enclosing all the nodes of a k-dimensional hypercube, arXiv:2212.11216 [math.CO], 2022.

Cf. A225227, A261547, A363755.

my(x=solve(x=1.5,1.7,4-8*x^2-4*x^4+x^8)); 2 + sqrt(2) + (sqrt(1 + 1/x^2) + 1/x) * (2 + sqrt(2)*x) \\ Hugo Pfoertner, Jun 10 2024

Equals 2*(1+1/sqrt(2)+((2+sqrt(2)*x)/2)*(1/x+sqrt(1+1/x^2))), where x = (1/2)*sqrt((2/3)^(2/3)*((9+sqrt(177)))^(1/3) - 4*(2/(27+3*sqrt(177)))^(1/3)) + (1/2)*sqrt(4*(2/(27+3*sqrt(177)))^(1/3) - (2/3)^(2/3)*(9+sqrt(177))^(1/3) + 4*sqrt(2/((2/3)^(2/3)*(9+sqrt(177))^(1/3) - 4*(2/(27+3*sqrt(177)))^(1/3)))) = 1.59792093355003207476470...

A318165 The n^n dots problem: minimal number of straight lines (connected at their endpoints) required to pass through n^n dots arranged in an n X n X ... X n grid.

Original entry on oeis.org

1, 3, 13

Offset: 1

Marco Ripà, Aug 20 2018

A generalization of the well-known "Nine Dots Problem".
For any n > 3, an upper bound for this problem is given by U(n) := (t + 1)*n^(n - 3) - 1, where "t" is the best known solution for the corresponding n X n X n case, and (for any n > 5) t = floor((3/2)*n^2) - floor((n - 1)/4) + floor((n + 1)/4) - floor((n - 2)/4) + floor(n/2) + n - 2 (e.g., U(4) = 95, since 23 is the current upper bound for the 4 X 4 X 4 problem). In particular, it is easily possible to prove the existence of an Hamiltonian path without self crossing such that U(4) = 95 (in fact, an Hamiltonian path with link-length 23 for the 4 X 4 X 4 problem was explicitly shown in June 2020).
A (trivial) lower bound is given by B(n):= (n^n - 1)/(n - 1). - Marco Ripà, Aug 25 2020

			For n = 3, a(3) = 13. You cannot touch (the centers of) the 3 X 3 X 3 dots using fewer than 13 straight lines, following the "Nine Dots Puzzle" basic rules.

Roberto Rinaldi and Marco Ripà, Optimal cycles enclosing all the nodes of a k-dimensional hypercube, arXiv:2212.11216 [math.CO], 2022.
Marco Ripà, The Rectangular Spiral Solution for the n1 X n2 X ... X nk Points Problem
Marco Ripà, The rectangular spiral or the n1 X n2 X ... X nk Points Problem, Notes on Number Theory and Discrete Mathematics, 2014, 20(1), 59-71.
Marco Ripà, Solving the 106 years old 3^k Points Problem with the Clockwise-algorithm, ResearchGate, 2020 (DOI: 10.13140/RG.2.2.34972.92802).
Marco Ripà, Solving the n_1 <= n_2 <= n_3 Points Problem for n_3 < 6, ResearchGate, 2020 (DOI: 10.13140/RG.2.2.12199.57769/1).
Marco Ripà, General uncrossing covering paths inside the Axis-Aligned Bounding Box, Journal of Fundamental Mathematics and Applications, 2021, 4(2), 154-166.
Wikipedia, Nine dots puzzle

Cf. A058992, A225227, A261547.

a(3) corrected by Marco Ripà, Aug 25 2020

A374149 Decimal expansion of the minimum volume of an axis-aligned bounding box which includes the shortest minimum-link polygonal chain joining all the vertices of the cube {0,1}^3.

Original entry on oeis.org

5, 5, 4, 5, 0, 8, 4, 9, 7, 1, 8, 7, 4, 7, 3, 7, 1, 2, 0, 5, 1, 1, 4, 6, 7, 0, 8, 5, 9, 1, 4, 0, 9, 5, 2, 9, 4, 3, 0, 0, 7, 7, 2, 9, 4, 9, 5, 1, 4, 4, 0, 7, 1, 5, 5, 3, 3, 8, 6, 2, 1, 5, 5, 6, 7, 6, 3, 1, 5, 1, 1, 5, 7, 0, 4, 7, 2, 5, 6, 1, 2, 4, 2, 6, 8, 0, 1

Offset: 1

Marco Ripà, Jun 29 2024

It has been proved that it is not possible to join the 8 vertices of a cube with a polygonal chain that has fewer than 6 edges (see Links, Optimal cycles enclosing all the nodes of a k-dimensional hypercube, Theorem 2.2).
Here we are considering the additional constraint that asks to minimize the volume of the Axis-Aligned Bounding Box (AABB) including the above-mentioned optimal polygonal chain consisting of only 6 connected line segments and that joins all the vertices of the cube [0,1] X [0,1] X [0,1].
Given phi = (1+sqrt(5))/2, the well-known golden ratio (see A001622), a valid polygonal chain is (0, 1, 0)-(0, 0, 0)-((1+phi)/2, 0, (1+phi)/2)-(1/2, 1+phi, 1/2)-((1-phi)/2, 0, (1+phi)/2)-(1, 0, 0)-(1, 1, 0) (see Links, p. 164), and consequently the minimum volume AABB is [(1-phi)/2, (1+phi)/2] X [0, 1+phi] X [0, (1+phi)/2].
As noted by Hugo Pfoertner, the present sequence is also given by phi^5/2 (i.e., A244593/2).

			5.5450849718747371205114670859140952943...

Marco Ripà, General uncrossing covering paths inside the Axis-Aligned Bounding Box, Journal of Fundamental Mathematics and Applications, Volume 4, 2021, Number 2, Pages 154-166.

Cf. A001622, A134944, A225227, A244593, A261547, A363755, A373537.

RealDigits[(11+5*Sqrt[5])/4, 10, 100][[1]]

Equals phi*(1+phi)*((1+phi)/2), where phi := (1+sqrt(5))/2 is the golden ratio.
Equals (11+5*sqrt(5))/4.
Equals phi^5/2.
Equals 10*A134944 + 3/2.

A374883 Decimal expansion of phi(2phi + 1) (i.e., (7 + 3*sqrt(5))/2), where phi is the golden ratio.

Original entry on oeis.org

6, 8, 5, 4, 1, 0, 1, 9, 6, 6, 2, 4, 9, 6, 8, 4, 5, 4, 4, 6, 1, 3, 7, 6, 0, 5, 0, 3, 0, 9, 6, 9, 1, 4, 3, 5, 3, 1, 6, 0, 9, 2, 7, 5, 3, 9, 4, 1, 7, 2, 8, 8, 5, 8, 6, 4, 0, 6, 3, 4, 5, 8, 6, 8, 1, 1, 5, 7, 8, 1, 3, 8, 8, 4, 5, 6, 7, 0, 7, 3, 4, 9, 1, 2, 1, 6, 2

Offset: 1

Marco Ripà, Jul 22 2024

The author conjectures that this is the minimum volume of an axis-aligned bounding box which includes the shortest minimum-link circuit joining all the vertices of the cube {0,1}^3 (i.e., the closed polygonal chains consisting of exactly 6 edges visiting all the points of the set {(0,0,0),(0,0,1),(0,1,0),(0,1,1),(1,0,0),(1,0,1),(1,1,0),(1,1,1)}).
In detail, such a circuit of 6 links is given by (1/2,1+phi,1/2)-((1-phi)/2,0,(1+phi)/2)-((phi+1)/2,0, (1-phi)/2)-(1/2,1+phi,1/2)-((phi+1)/2,0,(phi+1)/2)-((1-phi)/2,0,(1-phi)/2(1/2,1+phi,1/2), where phi := (1+sqrt(5))/2 (see A001622).
Then, phi*(2*phi + 1) = phi^2*(phi + 1) since phi - 1 = 1/phi.

			6.8541019662496845446137605030969...

Alfred S. Posamentier, Math Charmers, Tantalizing Tidbits for the Mind, Prometheus Books, NY, 2003, pages 138-139.

Roberto Rinaldi and Marco Ripà, Optimal cycles enclosing all the nodes of a k-dimensional hypercube, arXiv:2212.11216 [math.CO], 2022.
Marco Ripà, General uncrossing covering paths inside the Axis-Aligned Bounding Box, Journal of Fundamental Mathematics and Applications, Volume 4, 2021, Number 2, Pages 154-166.

Cf. A001622, A090550, A104457, A134973, A205769, A225227, A261547, A363755, A373537, A374149, A374260.

RealDigits[3*GoldenRatio + 2, 10, 120][[1]] (* Amiram Eldar, Jul 23 2024 *)

Equals (7 + 3*sqrt(5))/2.
Equals phi^2*(phi + 1), where phi = (1 + sqrt(5))/2.
Equals A104457^2 = 2*A205769. - Hugo Pfoertner, Jul 22 2024
Equals A090550 + 1 = A134973 + 5. - Amiram Eldar, Jul 23 2024
Equals phi^4. - Stefano Spezia, May 28 2025

A374260 Decimal expansion of the Euclidean length of the shortest circuit covering all the vertices of the cube [0,1]^3.

Original entry on oeis.org

1, 5, 3, 8, 2, 0, 7, 5, 1, 2, 1, 3, 8, 4, 4, 7, 3, 4, 9, 7, 1, 1, 4, 9, 6, 4, 7, 9, 4, 6, 2, 8, 9, 9, 4, 0, 9, 8, 7, 3, 9, 0, 7, 5, 8, 6, 9, 0, 8, 4, 4, 5, 0, 7, 3, 0, 8, 2, 6, 7, 5, 0, 8, 8, 8, 3, 4, 9, 5, 4, 7, 2, 6, 8, 5, 3, 2, 8, 3, 4, 3, 5, 8, 9, 3, 3, 8

Offset: 2

Marco Ripà, Jul 01 2024

It has been proved that it is not possible to join the 8 vertices of a cube with a polygonal chain that has fewer than 6 edges (see Links, Optimal cycles enclosing all the nodes of a k-dimensional hypercube, Theorem 2.2). Thus, any circuit of 6 line segments covering all the vertices of a cube has the minimum link-length (by definition).
Here we consider the additional constraint of minimizing the total (Euclidean) length of the minimum-link circuit (which consists of exactly 6 line segments connected at their endpoints) that joins all the vertices of the cube [0,1] X [0,1] X [0,1].
Let x := (1/2)*sqrt((2/3)^(2/3)*((9+sqrt(177)))^(1/3) - 4*(2/(27+3*sqrt(177)))^(1/3)) + (1/2)*sqrt(4*(2/(27+3*sqrt(177)))^(1/3) - (2/3)^(2/3)*(9+sqrt(177))^(1/3) + 4*sqrt(2/((2/3)^(2/3)*(9+sqrt(177))^(1/3) - 4*(2/(27+3*sqrt(177)))^(1/3)))) = 1.597920933550032074764705350780465558827883608091828573735862154752648..., and then let c := 1+(x+2+sqrt(2))/(2*sqrt(2)*(x+sqrt(2))).
A solution to the above-stated problem is provided by the 6-link circuit (1/2, 1/2, 1+x/sqrt(2))-(c,c,0)-(-c,-c,0)-(1/2,1/2, 1+x/sqrt(2))-(-c,c,0)-(c,-c,0)-(1/2, 1/2, 1+x/sqrt(2)).
The total (Euclidean) length of the mentioned circuit is given by 4*((2+sqrt(2)*x)/2)*(1/x+sqrt(1+1/x^2)) = which is about 11.105251123 and this value cannot be beaten by any other 6-link circuit covering all the vertices belonging to the set {0,1} X {0,1} X {0,1}. This result follows by symmetry from the optimal polygonal chain described in the comments of A373537.

			15.382075121384473497114964794628994098739075869...

Matematicamente.it, Problema di minimizzazione con un triangolo rettangolo.
Roberto Rinaldi and Marco Ripà, Optimal cycles enclosing all the nodes of a k-dimensional hypercube, arXiv:2212.11216 [math.CO], 2022.

Cf. A225227, A261547, A363755, A373537.

my(x=solve(x=1.5, 1.7, 4-8*x^2-4*x^4+x^8)); 2*(sqrt(1 + 1/x^2) + 1/x)*(2 + x*sqrt(2)) \\ Hugo Pfoertner, Jul 01 2024

Equals 2*(2+sqrt(2)*x)*(1/x+sqrt(1+1/x^2)), where x = (1/2)*sqrt((2/3)^(2/3)*((9+sqrt(177)))^(1/3) - 4*(2/(27+3*sqrt(177)))^(1/3)) + (1/2)*sqrt(4*(2/(27+3*sqrt(177)))^(1/3) - (2/3)^(2/3)*(9+sqrt(177))^(1/3) + 4*sqrt(2/((2/3)^(2/3)*(9+sqrt(177))^(1/3) - 4*(2/(27+3*sqrt(177)))^(1/3)))) = 1.59792093355003207476470...

cp's OEIS Frontend

A001651 Numbers not divisible by 3.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Haskell

Magma

Maple

Mathematica

PARI

PARI

Python

Python

Formula

Extensions

A056220 a(n) = 2*n^2 - 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Sage

Formula

A261547 The 3 X 3 X ... X 3 dots problem (3, n times): minimal number of straight lines (connected at their endpoints) required to pass through 3^n dots arranged in a 3 X 3 X ... X 3 grid.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A363755 The original n X n X n dots problem: minimal number of straight lines (connected at their endpoints) required to join all the n^3 points belonging to the set {{0,1,...,n-1} X {0,1,...,n-1} X {0,1,...,n-1}} in R^3, without any additional constraint.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Formula

A373537 Decimal expansion of the Euclidean length of the shortest minimum-link polygonal chains joining all the vertices of the cube [0,1]^3.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

A318165 The n^n dots problem: minimal number of straight lines (connected at their endpoints) required to pass through n^n dots arranged in an n X n X ... X n grid.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Extensions

A374883 Decimal expansion of phi(2phi + 1) (i.e., (7 + 3*sqrt(5))/2), where phi is the golden ratio.