A057163 -id:A057163 - cp's OEIS frontend

A071665 Permutation A057505 applied four times ("^4"), permutation A071661 squared.

0, 1, 2, 3, 4, 7, 5, 6, 8, 9, 17, 12, 16, 21, 10, 18, 11, 14, 20, 13, 15, 19, 22, 23, 45, 31, 44, 58, 26, 49, 30, 42, 57, 35, 40, 56, 63, 24, 46, 32, 43, 59, 25, 47, 28, 37, 54, 48, 34, 53, 62, 27, 50, 29, 38, 55, 33, 39, 51, 61, 36, 41, 52, 60, 64, 65, 129, 87, 128, 170, 73

Offset: 0

Antti Karttunen, May 30 2002

nonn

A. Karttunen, Gatomorphisms (Includes the complete Scheme source for computing this sequence)
Index entries for sequences that are permutations of the natural numbers

Inverse permutation: A071666 and also its car/cdr-flipped conjugate, i.e. A071665(n) = A057163(A071666(A057163(n))) = A057505(A071663(n)) = A071661(A071661(n)). Cf. also A071667, A071669.

A071668 Permutation A057506 applied five times ("^5").

Original entry on oeis.org

0, 1, 3, 2, 8, 7, 5, 6, 4, 22, 21, 18, 20, 17, 13, 12, 15, 19, 16, 10, 11, 14, 9, 64, 63, 59, 62, 58, 50, 49, 55, 61, 57, 46, 34, 54, 45, 36, 35, 32, 40, 31, 41, 43, 52, 60, 56, 47, 48, 53, 44, 27, 26, 29, 33, 30, 38, 39, 51, 42, 24, 25, 28, 37, 23, 196, 195, 190, 194, 189

Offset: 0

Antti Karttunen, May 30 2002

nonn

A. Karttunen, Gatomorphisms (Includes the complete Scheme source for computing this sequence)
Index entries for sequences that are permutations of the natural numbers

Inverse permutation: A071667 and also its car/cdr-flipped conjugate, i.e. A071668(n) = A057163(A071667(A057163(n))) = A057506(A071666(n)). Cf. also A071662, A071664, A071670.

A082355 Permutation of natural numbers induced by Catalan Automorphism *A082355 acting on the parenthesizations encoded by A014486/A063171.

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 8, 6, 7, 9, 10, 13, 11, 12, 19, 20, 21, 14, 15, 22, 18, 16, 17, 23, 24, 27, 25, 26, 33, 34, 35, 28, 29, 36, 32, 30, 31, 51, 52, 55, 53, 54, 56, 57, 58, 37, 38, 59, 41, 39, 40, 60, 61, 64, 47, 48, 62, 49, 42, 43, 63, 50, 46, 44, 45, 65, 66, 69, 67, 68

Offset: 0

Antti Karttunen, Apr 17 2003

nonn

This bijection maps between the "standard" ordering of binary trees as encoded by A014486 and "variant B quaternary encoding" as explained in the sequence A085184.

Inverse of A082356. a(n) = A082357(A057163(n)). a(n) = A082363(A082853(n))+A082852(n). Cf. also A082351-A082352, A082357-A082358.

Differs from A057118 first time at n=42: a(42)=56, while A057118(42)=58.

A082356 Permutation of natural numbers induced by Catalan Automorphism *A082356 acting on the parenthesizations encoded by A014486/A063171.

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 7, 8, 6, 9, 10, 12, 13, 11, 17, 18, 21, 22, 20, 14, 15, 16, 19, 23, 24, 26, 27, 25, 31, 32, 35, 36, 34, 28, 29, 30, 33, 45, 46, 49, 50, 48, 58, 59, 63, 64, 62, 54, 55, 57, 61, 37, 38, 40, 41, 39, 42, 43, 44, 47, 51, 52, 56, 60, 53, 65, 66, 68, 69, 67

Offset: 0

Antti Karttunen, Apr 17 2003

nonn

This bijection maps between the "standard" ordering of binary trees as encoded by A014486 and "variant B quaternary encoding" as explained in the sequence A085184.

Inverse of A082355. a(n) = A057163(A082358(n)). a(n) = A082364(A082853(n))+A082852(n). Cf. also A082351-A082352, A082357-A082358.

Differs from A057117 first time at n=56: a(56)=42, while A057117(56)=44.

A071664 Permutation A057506 applied three times ("cubed").

Original entry on oeis.org

0, 1, 3, 2, 8, 5, 6, 7, 4, 22, 13, 15, 18, 10, 19, 11, 20, 21, 12, 14, 16, 17, 9, 64, 36, 41, 50, 27, 52, 29, 55, 59, 32, 38, 47, 46, 24, 60, 33, 39, 48, 25, 61, 34, 62, 63, 35, 40, 43, 49, 26, 51, 28, 53, 56, 30, 54, 57, 58, 31, 37, 42, 44, 45, 23, 196, 106, 120, 148, 78

Offset: 0

Antti Karttunen, May 30 2002

nonn

A. Karttunen, Gatomorphisms (Includes the complete Scheme source for computing this sequence)
Index entries for sequences that are permutations of the natural numbers

Inverse permutation: A071663 and also its car/cdr-flipped conjugate, i.e. A071664(n) = A057163(A071663(A057163(n))) = A057506(A071662(n)). Cf. also A071666, A071668, A071670.

A074681 Permutation of natural numbers induced by the Catalan bijection gmA074681! acting on the parenthesizations encoded by A014486/A063171.

Original entry on oeis.org

0, 1, 3, 2, 6, 8, 7, 5, 4, 15, 14, 19, 20, 22, 16, 21, 18, 11, 13, 17, 12, 10, 9, 39, 41, 40, 38, 37, 52, 51, 53, 55, 54, 60, 61, 62, 64, 43, 42, 56, 57, 63, 47, 59, 48, 29, 28, 50, 33, 34, 36, 44, 58, 49, 30, 35, 46, 32, 25, 27, 45, 31, 26, 24, 23, 113, 112, 117, 118, 120

Offset: 0

Antti Karttunen, Sep 11 2002

nonn

A. Karttunen, Gatomorphisms (with the complete Scheme source)
Index entries for sequences that are permutations of the natural numbers

Inverse of A074682. a(n) = A057163(A074684(A057163(n))). Cf. A074685, A074687, A074689. Occurs in A073200 as row 5572432.

A079438 a(0) = a(1) = 1, a(n) = 2*(floor((n+1)/3) + (if n >= 14) (floor((n-10)/4) + floor((n-14)/8))).

Original entry on oeis.org

1, 1, 2, 2, 2, 4, 4, 4, 6, 6, 6, 8, 8, 8, 12, 12, 12, 14, 16, 16, 18, 18, 22, 24, 24, 24, 28, 28, 28, 30, 34, 34, 36, 36, 38, 40, 40, 40, 46, 46, 46, 48, 50, 50, 52, 52, 56, 58, 58, 58, 62, 62, 62, 64, 68, 68, 70, 70, 72, 74, 74, 74, 80, 80, 80, 82, 84, 84, 86, 86, 90, 92, 92, 92

Offset: 0

Antti Karttunen, Jan 27 2003

nonn

The original definition was: Number of rooted general plane trees which are symmetric and will stay symmetric after the underlying plane binary tree has been reflected, i.e., number of integers i in range [A014137(n-1)..A014138(n-1)] such that A057164(i) = i and A057164(A057163(i)) = A057163(i).
(Thus also) the number of fixed points in range [A014137(n-1)..A014138(n)] of permutation A071661 (= Donaghey's automorphism M "squared"), which is equal to condition A057164(i) = A069787(i) = i, i.e., the size of the intersection of fixed points of permutations A057164 and A069787 in the same range.
Additional comment from Antti Karttunen, Dec 13 2017: (Start)
However, David Callan's A123050 claims to give more correct version of that count from n=26 onward, so I probably made a little mistake when converting my insights into the formula given here. At that time I reckoned that if the conjecture given in A080070 were true, then it would imply that the formula given here were exact, otherwise it would give only a lower bound.
It would be nice to know what an empirical program would give as the count of fixed points of A071661 for n in range [A014137(25)..A014138(26)] = [6619846420553 .. 24987199492704], with total A000108(26) = 18367353072151 points to check.
(End)

D. E. Knuth, The Art of Computer Programming, Volume 4, Fascicle 4: Generating All Trees--History of Combinatorial Generation, vi+120pp. ISBN 0-321-33570-8 Addison-Wesley Professional; 1ST edition (Feb 06, 2006).

G. C. Greubel, Table of n, a(n) for n = 0..10000
R. Donaghey, Automorphisms on Catalan trees and bracketing, J. Combin. Theory, Series B, 29 (1980), 75-90.
A. Karttunen, C-program for counting the initial terms of this sequence (empirically)
A. Karttunen, Illustration of initial terms for trees of sizes n=2..18
A. Karttunen, On the fixed points of A071661 (Notes in OEIS Wiki)
D. E. Knuth, Pre-Fascicle 4a: Generating All Trees, Exercise 17, 7.2.1.6.

Cf. A000108, A057163, A057164, A057505, A069787, A071661, A079437, A079439, A079442, A080070, A243490,  A243491, A243492.
From n>= 2 onward A079440(n) = a(n)/2.
Occurs in A073202 as row 13373289.
Differs from A123050 for the first time at n=26.

A079438 := n -> `if`((n<2),1,2*(floor((n+1)/3) + `if`((n>=14),floor((n-10)/4)+floor((n-14)/8),0)));

a[0]:= 1; a[1]:= 1; a[n_]:= a[n] = 2*Floor[(n+1)/3] +2*If[ n >= 14, (Floor[(n-10)/4] +Floor[(n-14)/8]), 0]; Table[a[n], {n, 0, 100}] (* G. C. Greubel, Jan 18 2019 *)

{a(n) = if(n==0, 1, if(n==1, 1, 2*floor((n+1)/3) + 2*if(n >= 14, floor( (n-10)/4) + floor((n-14)/8), 0)))}; \\ G. C. Greubel, Jan 18 2019

a(0) = a(1) = 1, a(n) = 2*(floor((n+1)/3) + (if n >= 14) (floor((n-10)/4) + floor((n-14)/8))).

Entry edited (the definition replaced by a formula, the old definition moved to the comments) - Antti Karttunen, Dec 13 2017

A080973 A014486-encoding of the "Moose trees".

Original entry on oeis.org

2, 52, 14952, 4007632, 268874213792, 68836555442592, 4561331969745081152, 300550070677246403229312, 1294530259719904904564091957759232, 331402554328705507772604330809117952

Offset: 0

Antti Karttunen, Mar 02 2003

nonn

Meeussen's observation about the orbits of a composition of two involutions F and R states that if the orbit size of the composition (acting on a particular element of the set) is odd, then it contains an element fixed by the other involution if and only if it contains also an element fixed by the other, on the (almost) opposite side of the cycle. Here those two involutions are A057163 and A057164, their composition is Donaghey's "Map M" A057505 and as the trees A080293/A080295 are symmetric as binary trees and the cycle sizes A080292 are odd, it follows that these are symmetric as general trees.

Antti Karttunen, Initial terms illustrated

Same sequence in binary: A080974. A036044(a(n)) = a(n) for all n. The number of edges (as general trees): A080978.

a(n) = A014486(A080975(n)) = A014486(A057505^((A080292(n)+1)/2) (A080293(n))) [where ^ stands for the repeated applications of permutation A057505.]

A071656 Permutation of natural numbers induced by the automorphism car_cdr_robl! acting on the parenthesizations encoded by A014486.

Original entry on oeis.org

0, 1, 3, 2, 7, 6, 8, 4, 5, 17, 16, 18, 14, 15, 20, 19, 22, 9, 10, 21, 11, 12, 13, 45, 44, 46, 42, 43, 48, 47, 50, 37, 38, 49, 39, 40, 41, 54, 53, 55, 51, 52, 61, 60, 63, 23, 24, 62, 25, 26, 27, 57, 56, 64, 28, 29, 58, 30, 31, 32, 59, 33, 34, 35, 36, 129, 128, 130, 126, 127

Offset: 0

Antti Karttunen, May 30 2002

nonn

A. Karttunen, Gatomorphisms (Includes the complete Scheme source for computing this sequence)
Index entries for sequences that are permutations of the natural numbers

Inverse permutation: A071655. The car/cdr-flipped conjugate of A071659, i.e. A071656(n) = A057163(A071659(A057163(n))). Cf. also A071657, A071658.

A082351 Permutation of natural numbers induced by the Catalan bijection gma082351 acting on the parenthesizations encoded by A014486/A063171.

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 8, 6, 7, 9, 10, 11, 12, 13, 19, 20, 21, 14, 15, 22, 16, 17, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 51, 52, 53, 54, 55, 56, 57, 58, 37, 38, 59, 39, 40, 41, 60, 61, 62, 42, 43, 63, 44, 45, 46, 64, 47, 48, 49, 50, 65, 66, 67, 68, 69

Offset: 0

Antti Karttunen, Apr 17 2003

nonn

A. Karttunen, Gatomorphisms (with the complete Scheme source)
Index entries for signature-permutations induced by Catalan automorphisms

Inverse of A082352. a(n) = A057163(A082353(A057163(n))). Cf. also A074679-A074680, A082355-A082356, A082361-A082362.

cp's OEIS Frontend

A071665 Permutation A057505 applied four times ("^4"), permutation A071661 squared.

Views

Author

Keywords

Links

Crossrefs

A071668 Permutation A057506 applied five times ("^5").

Views

Author

Keywords

Links

Crossrefs

A082355 Permutation of natural numbers induced by Catalan Automorphism *A082355 acting on the parenthesizations encoded by A014486/A063171.

Views

Author

Keywords

Comments

Links

Crossrefs

A082356 Permutation of natural numbers induced by Catalan Automorphism *A082356 acting on the parenthesizations encoded by A014486/A063171.

Views

Author

Keywords

Comments

Links

Crossrefs

A071664 Permutation A057506 applied three times ("cubed").

Views

Author

Keywords

Links

Crossrefs

A074681 Permutation of natural numbers induced by the Catalan bijection gmA074681! acting on the parenthesizations encoded by A014486/A063171.

Views

Author

Keywords

Links

Crossrefs

A079438 a(0) = a(1) = 1, a(n) = 2*(floor((n+1)/3) + (if n >= 14) (floor((n-10)/4) + floor((n-14)/8))).

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A080973 A014486-encoding of the "Moose trees".

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A071656 Permutation of natural numbers induced by the automorphism car_cdr_robl! acting on the parenthesizations encoded by A014486.

Views

Author

Keywords

Links

Crossrefs

A082351 Permutation of natural numbers induced by the Catalan bijection gma082351 acting on the parenthesizations encoded by A014486/A063171.

Views

Author

Keywords

Links

Crossrefs