[seqfan] A sequence based on parenthesizations of repeated exponentiation

Vladimir Reshetnikov v.reshetnikov at gmail.com
Fri Jun 17 21:51:08 CEST 2016


Hi SeqFans,

There are several sequences in OEIS related to all possible
parenthesizations of repeated exponentiation.

A000081 -- the number of different functions of x that can be obtained by
inserting parentheses in the expression x^x^...^x with n occurrences of x
(assuming the functions are defined for x > 0).

A002845 -- the number of different values that can be obtained by inserting
parentheses in the expression 2^2^...^2 with n occurrences of 2.

Similar sequences for 3, 4, 5, ... are  A003018, A003019, A145545, A145546,
A145547, A145548, A145549, A145550.

Similar sequences for 1/2, sqrt(2), i=sqrt(-1) are A196244, A082499,
A198683.

A199812 -- the number of different ordinals that can be obtained by
inserting parentheses in the expression w^w^...^w with n occurrences of w,
where w is the first infinite ordinal \omega, and ^ denotes the ordinal
exponentiation.

A038055 -- can be considered as a modification of A000081, where each
operand can be either x or y, and we count the number of different
functions of two variables x, y (assuming the functions are defined for x >
0, y > 0)

I propose another sequence of this family, that can be considered a
crossbreed of A002845 and A038055:

a(n) = the number of different functions of x that can be obtained by
inserting parentheses in the expression op^op^...^op with n operands where
each operand op can be either x of 2 (assuming the functions are defined
for x > 0).

It appears that a(n) starts with 2, 4, 10, 36, 140, 564(?), ...
Could you suggest an efficient algorithm to compute more terms?

The first 6 terms look like doubled A014271. Is it indeed the same sequence
(up to a common factor)?

--
Thanks
Vladimir Reshetnikov



More information about the SeqFan mailing list