cp's OEIS Frontend

a(n+1) is the sum of the elements in the n-th row of triangle pertaining to A036561. - Amarnath Murthy, Jan 02 2002

Number of 2 X n binary arrays with a path of adjacent 1's and no path of adjacent 0's from top row to bottom row. - R. H. Hardin, Mar 21 2002

With offset 1, partial sums of A027649. - Paul Barry, Jun 24 2003

Number of distinct lines through the origin in the n-dimensional lattice of side length 2. A049691 has the values for the 2-dimensional lattice of side length n. - Joshua Zucker, Nov 19 2003

a(n+1)/(n+1)=(3*3^n-2*2^n)/(n+1) is the second binomial transform of the harmonic sequence 1/(n+1). - Paul Barry, Apr 19 2005

a(n+1) is the sum of n-th row of A036561. - Reinhard Zumkeller, May 14 2006

The sequence gives the sum of the lengths of the segments in Cantor's dust generating sequence up to the i-th step. Measurement unit = length of the segment of i-th step. - Giorgio Balzarotti, Nov 18 2006

Let T be a binary relation on the power set P(A) of a set A having n = |A| elements such that for every element x, y of P(A), xTy if x is a proper subset of y. Then a(n) = |T|. - Ross La Haye, Dec 22 2006

From Alexander Adamchuk, Jan 04 2007: (Start)

a(n) is prime for n in A057468.

p divides a(p) - 1 for prime p.

Quotients (3^p - 2^p - 1)/p, where p = prime(n), are listed in A127071.

Numbers k such that k divides 3^k - 2^k - 1 are listed in A127072.

Pseudoprimes in A127072(n) include all powers of primes {2,3,7} and some composite numbers that are listed in A127073, which includes all Carmichael numbers A002997.

Numbers n such that n^2 divides 3^n - 2^n - 1 are listed in A127074.

5 divides a(2n).

5^2 divides a(2*5n).

5^3 divides a(2*5^2n).

5^4 divides a(2*5^3n).

7^2 divides a(6*7n).

13 divides a(4n).

13^2 divides a(4*13n).

19 divides a(3n).

19^2 divides a(3*19n).

23^2 divides a(11n).

23^3 divides a(11*23n).

23^4 divides a(11*23^2n).

29 divides a(7n).

p divides a((p-1)n) for prime p>3.

p divides a((p-1)/2) for prime p in A097934. Also primes p such that 6 is a square mod p, except {2,3}, A038876(n).

p^(k+1) divides a(p^k*(p-1)/2*n) for prime p in A097934.

p^(k+1) divides a(p^k*(p-1)*n) for prime p>3.

Note the exception that for p = 23, p^(k+2) divides a(p^k*(p-1)/2*n).

There are no more such exceptions for primes p up to 600000. (End)

a(n) divides a(q*(n+1)-1), for all q integer. Leonardo Sarasua, Apr 15 2024

Final digits of terms follow sequence 1,5,9,5. - Enoch Haga, Nov 26 2007

This is also the second column sequence of the Sheffer triangle A143494 (2-restricted Stirling2 numbers). See the e.g.f. given below. - Wolfdieter Lang, Oct 08 2011

Partial sums give A000392. - Jon Perry, Apr 05 2014

For n >= 1, this is also row 2 of A281890: when consecutive positive integers are written as a product of primes in nondecreasing order, "3" occurs in n-th position a(n) times out of every 6^n. - Peter Munn, May 17 2017

a(n) is the number of ternary sequences of length n which include the digit 2. For example, a(2)=5 since the sequences are 02,20,12,21,22. - Enrique Navarrete, Apr 05 2021

a(n-1) is the number of ways we can form disjoint unions of two nonempty subsets of [n] such that the union contains n. For example, for n = 3, a(2) = 5 since the disjoint unions are {1}U{3}, {1}U{2,3}, {2}U{3}, {2}U{1,3}, and {1,2}U{3}. Cf. A000392 if we drop the requirement that the union contains n. - Enrique Navarrete, Aug 24 2021

Configures as a composite Koch Snowflake Fractal (see illustration in links) based on the five-fold division of the Cantor Square/Cantor Dust Fractal of (9^n-4^n)/5 see my illustration in (A016153). - John Elias, Oct 13 2021

Number of pairs (A,B) where B is a subset of {1,2,...,n} and A is a proper subset of B. - Jianing Song, Jun 18 2022

From Manfred Boergens, Mar 29 2023: (Start)

With regard to the comments by Ross La Haye and Jianing Song: Omitting "proper" gives A000244.

Number of pairs (A,B) where B is a nonempty subset of {1,2,...,n} and A is a nonempty subset of B. For nonempty proper subsets see a(n+1) in A028243. (End)

a(n) is the number of n-digit numbers whose smallest decimal digit is 7. - Stefano Spezia, Nov 15 2023

a(n-1) is the number of all possible player-reduced binary games observed by each player in an nx2 game assuming the individual strategies of k < n - 1 players are fixed and the remaining n - k - 1 player will play as one, either maintaining their status quo strategies or jointly adopting an alternative strategy. - Ambrosio Valencia-Romero, Apr 11 2024

Also, numbers k such that the first digit in the ternary expansion of 2^k is 1. - Mohammed Bouayoun (Mohammed.bouayoun(AT)sanef.com), Apr 24 2006

a(n) is the smallest integer such that n/a(n) < log_2(3). - Trevor G. Hyde (thyde12(AT)amherst.edu), Jul 31 2008

This sequence represents allowable values of the "dropping time" in the Collatz (3x+1) problem when iterated according to the function f(n) := n/2 if n is even, (3n+1)/2 otherwise, as tabulated in A126241. There is one exception, A126241(1), which has been set to zero by convention. - K. Spage, Oct 22 2009

An integer k is a term of A020914 if and only if floor(k*(1 + log(2)/log(3))) - abs(k-1)*(1 + log(2)/log(3)) - 1 >= 0. - K. Spage, Oct 22 2009

Also smallest k such that ceiling(2^k / 3^n) = 2. - Michel Lagneau, Jan 31 2012

For n > 0, first differences of A022330. - Michel Marcus, Oct 03 2013

Also the number of powers of two less than or equal to 3^n. - Robert G. Wilson v, May 25 2014

Except for 1, A020914 is the complement of A054414 and therefore these two form a pair of Beatty sequences. - Robert G. Wilson v, May 25 2014

Eric Roosendaal counted all admissible sequences up to order j=1000 (2005). Note: there is a typo in both Wagon and Chamberland in the definition of Wagon's constant 9.477955... The expression floor(1 + 2*i + i*log_2(3)) should be replaced by floor(1 + i + i*log_2(3)).

The length of all admissible sequences of order j is A020914(j). - T. D. Noe, Sep 11 2006

Conjecture: a(n) is given for each n > 3 by a formula using a(2)..a(n-1). This allows us to create an iterative algorithm which generates a(n) for each n > 6. This has been proved for each n <= 53. For higher values of n the algorithm must be slightly modified. - Mike Winkler, Jan 03 2018

Theorem 1: a(k) is given for each k > 1 by a formula using a(1)..a(k-1). Namely, a(1)=1 and a(k+1) = Sum_{m=1..k} (-1)^(m-1)*binomial(floor((k-m+1)*(log(3)/log(2))) + m - 1, m)*a(k-m+1) for k >= 1. - Vladimir M. Zarubin, Sep 25 2015

Theorem 2: a(n) can be generated for each n > 2 algorithmically in a Pascal's triangle-like manner from the two starting values 0 and 1. This result is based on the fact that the Collatz residues (mod 2^k) can be evolved according to a binary tree. There is a direct connection with A076227, A056576 and A022921. - Mike Winkler, Sep 12 2017

A177789 shows another theorem and algorithm for generating a(n). - Mike Winkler, Sep 12 2017

A020914(n) = length of n-th row;

T(n,1) = A056577(n);

T(n,A098294(n)) = A001047(n);

T(n,A020914(n)) = A024023(n);

T(n,k) = A196486(n,A020914(n)-k) for n > 0, k = 1..A056576(n).

F(n) is not equal to M(n) if and only if n+1 is a Fibonacci number (A000045); a(n) = A005379(n) + A192687(n). - Reinhard Zumkeller, Jul 12 2011

Differs from A098294 at indices n = 0, 17, 20, 22, 25, 27, 29, 30, ... - M. F. Hasler, Jun 29 2014

The joint ranking is for j >= 1 and k >= 1, so that the sets {2^j} and {3^k} are disjoint.

Stacking perfect fifths (the frequency ratio of a fifth is 3/2), a division by 2^a(n) leads the equivalent tone belonging to the first octave interval [1,2). For example, the third fifth, (3/2)^3, falls into the second octave. This means it lies in the interval [2^1,2^2)=[2,4). Hence ((3/2)^3)/2^1 belongs to the first octave, the interval [1,2).

This sequence coincides for the first 93 term with the floor of y(n)= 4*Pi*log(phi)*n/(Pi^2 + (2*log(phi)^2)), with phi:=(1+sqrt(5))/2. a(n) = floor(y(n)), for n=1..93. Note that y(n) is not the imaginary part of the zero of the Fibonacci function because of a different bracket setting. See A214656. - Wolfdieter Lang, Jul 24 2012

Not A077467, which has only one 17; not A098294, which has two 41's.