A072795 -id:A072795 - cp's OEIS frontend

A081291 Complement of A072795.

0, 3, 6, 7, 8, 14, 15, 16, 17, 18, 19, 20, 21, 22, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128

Offset: 0

Antti Karttunen, Mar 17 2003

nonn

This gives positions of those terms in A063171 which begin with digits 11... Also the elements of table A072764 which do not occur in the leftmost column. See the comment at A081292.

Cf. A072795, A014137, A081288.

Cf. A080300, A081289, A081290, A081292.

A014137(n) = sum(k=0, n, binomial(2*k, k)/(k+1););
A081288(n) = my(i=0); while(binomial(2*i, i)/(i+1) <= n, i++); i;
a(n) = if (n==0, 0,  n + A014137(A081288(n)-1)); \\ Michel Marcus, Apr 28 2020

a(0)=0, a(n) = n + A014137(A081288(n)-1).

a(n) = A080300(A081292(n)) = A081289(n) + n - A081290(n).

A083926 Inverse function of N -> N injection A072795.

Original entry on oeis.org

0, 0, 1, 0, 2, 3, 0, 0, 0, 4, 5, 6, 7, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44

Offset: 0

Antti Karttunen, May 13 2003

nonn

a(1)=0 because A072795(0)=1, but a(n) = 0 also for those n which do not occur as values of A072795. All positive natural numbers occur here once.

a(A072795(n)) = n for all n. Cf. A083925, A083927-A083929, A083935.

a(n) = A083924(n)*A072772(n).

A083924 Characteristic function for A072795.

Original entry on oeis.org

0, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1

Offset: 0

Antti Karttunen, May 13 2003

nonn

The sequence obtained by counting the runs of 0- and 1-bits 1,2,1,2,3,5,9,14,28,... is essentially the sequence A000108 interleaved with the sequence A000245, which appears to be A026008.

Index entries for characteristic functions

a(n) = A083923(A069770(n)). Used to compute A083926.

a(0) = 0, a(n>0) = 1 if A072771(n)=0, otherwise 0.

A057548 A014486-indices of Catalan mountain ranges with no sea-level valleys, i.e., the rooted plane general trees with root degree = 1.

Original entry on oeis.org

1, 3, 7, 8, 17, 18, 20, 21, 22, 45, 46, 48, 49, 50, 54, 55, 57, 58, 59, 61, 62, 63, 64, 129, 130, 132, 133, 134, 138, 139, 141, 142, 143, 145, 146, 147, 148, 157, 158, 160, 161, 162, 166, 167, 169, 170, 171, 173, 174, 175, 176, 180, 181, 183, 184, 185, 187, 188

Offset: 0

Antti Karttunen, Sep 07 2000

nonn

This sequence is induced by the unary form of function 'list' (present in Lisp and Scheme) when it acts on symbolless S-expressions encoded by A014486/A063171.

Index entries for the sequences induced by list functions of Lisp

We have A057515(A057548(n)) = 1 for all n. Row 0 of A072764. Column 1 of A085203. Cf. A057517, A057549, A057551.

a(n) = A080300(A057547(n)) = A069770(A072795(n)).

A080069 a(n) = A014486(A080068(n)).

Original entry on oeis.org

0, 2, 10, 44, 178, 740, 2868, 11852, 47522, 190104, 735842, 3090116, 11777124, 48557252, 194656036, 778669672, 3117617996, 12677727330, 49850271300, 192901051976, 795560529352, 3243898094388, 12977884832332, 51055591319170

Offset: 0

Antti Karttunen, Jan 27 2003

Note that A080068 can be also obtained as iteration of A072795 o A057506.

Antti Karttunen, Table of n, a(n) for n = 0..512
Antti Karttunen, Python program for computing this sequence and the associated image. (this replaces the old a080069.py.txt)
Antti Karttunen, Terms a(1)-a(512) drawn as binary strings.
Antti Karttunen, Terms a(1)-a(2048) drawn as binary strings.

Same sequence in binary: A080070. Compare with similar Wolframesque plots given in A122229, A122232, A122235, A122239, A122242, A122245, A328111.

Cf. A179758.

Python
```
# See attached program
```

Python program and Wolfram-like plot added by Antti Karttunen, Sep 14 2006

A072764 Tabular N X N -> N bijection induced by Lisp/Scheme function 'cons' combining the two planar binary trees/general trees/parenthesizations encoded by A014486(X) and A014486(Y).

Original entry on oeis.org

0, 1, 3, 2, 7, 6, 4, 8, 16, 14, 5, 17, 19, 42, 15, 9, 18, 44, 51, 43, 37, 10, 20, 47, 126, 52, 121, 38, 11, 21, 53, 135, 127, 149, 122, 39, 12, 22, 56, 154, 136, 385, 150, 123, 40, 13, 45, 60, 163, 155, 413, 386, 151, 124, 41, 23, 46, 128, 177, 164, 475, 414, 387, 152

Offset: 0

Antti Karttunen Jun 12 2002

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

Inverse permutation: A072765. a(n) = A069770(A072766(n)). Also transpose of A072766, i.e. a(n) = A072766(A038722(n)). The upper triangular region: A072773. Projection functions are A072771 ('car') & A072772 ('cdr'). The sizes of the corresponding Catalan structures: A072768. The first row: A057548, the first column: A072795, diagonal: A083938. Cf. also A080300, A025581, A002262.

a(0)=0 prepended by Sean A. Irvine, Oct 25 2024

A085201 Array A(x,y): Position of the concatenation of binary strings A014486(x) & A014486(y) in A014486, listed antidiagonalwise as A(0,0), A(1,0), A(0,1), A(2,0), A(1,1), A(0,2), ...

Original entry on oeis.org

0, 1, 1, 2, 2, 2, 3, 4, 4, 3, 4, 6, 9, 5, 4, 5, 9, 14, 10, 9, 5, 6, 11, 23, 15, 23, 10, 6, 7, 14, 28, 24, 37, 24, 11, 7, 8, 16, 37, 29, 65, 38, 25, 12, 8, 9, 19, 42, 38, 79, 66, 39, 26, 13, 9, 10, 23, 51, 43, 107, 80, 67, 40, 27, 23, 10, 11, 25, 65, 52, 121, 108, 81, 68, 41, 65, 24, 11

Offset: 0

Antti Karttunen, Jun 23 2003

This table is induced by the 2-ary form of the list-function 'append' present in the programming languages like Lisp, Scheme and Prolog.

Index entries for the sequences induced by list functions of Lisp

Transpose: A085202. Variant: A085203. Row 1: A085223, Column 1: A072795.

Cf. also A014486, A080300, A025581, A002262.

a(0, y)=y, a(x, y) = A072764bi(A072771(x), a(A072772(x), y))

a(x, y) = A080300(A085207bi(A014486(x), A014486(y))) = A085200(A085215bi(A071155(y), A071155(x)))

A127291 Signature-permutation of Elizalde's and Deutsch's 2003 bijection for Dyck paths.

Original entry on oeis.org

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

Offset: 0

Antti Karttunen, Jan 16 2007

Deutsch and Elizalde show in their paper that this automorphism converts certain properties concerning "tunnels" of Dyck path to another set of properties concerning the number of hills, even and odd rises, as well as the number of returns (A057515), thus proving the equidistribution of the said parameters.
This automorphism is implemented with function "tau" (Scheme code given below) that takes as its arguments an S-expression and a Catalan automorphism that permutes only the top level of the list (i.e., the top-level branches of a general tree, or the whole arches of a Dyck path) and thus when the permuting automorphism is applied to a list (parenthesization) of length 2n it induces some permutation of [1..2n].
This automorphism is induced in that manner by the automorphism *A127287 and likewise, *A127289 is induced by *A127285, *A057164 by *A057508, *A057501 by *A057509 and *A057502 by *A057510.
Note that so far these examples seem to satisfy the homomorphism condition, e.g., as *A127287 = *A127285 o *A057508 so is *A127291 = *A127289 o *A057164. and likewise, as *A057510 = *A057508 o *A057509 o *A057508, so is *A057502 = *A057164 o *A057501 o *A057164.
However, it remains open what are the exact criteria of the "picking automorphism" and the corresponding permutation that this method would induce a bijection. For example, if we give *A127288 (the inverse of *A127287) to function "tau" it will not induce *A127292 and actually not a bijection at all.
Instead, we have to compute the inverse of this automorphism with another, more specific algorithm that implements Deutsch's and Elizalde's description and is given in A127300.

A. Karttunen, Table of n, a(n) for n = 0..2055
Emeric Deutsch and Sergi Elizalde, A simple and unusual bijection for Dyck paths and its consequences, Annals of Combinatorics, 7 (2003), no. 3, 281-297.
Index entries for signature-permutations of Catalan automorphisms

Inverse: A127292. a(n) = A127289(A057164(n)) = A057164(A127299(A057164(n))). A127291(A057548(n)) = A072795(A127291(n)), A127291(A072795(n)) = A127307(A127291(A057502(n))) for all n >= 1. The number of cycles, maximum cycle sizes and LCM's of all cycle sizes in range [A014137(n-1)..A014138(n-1)] of this permutation are given by A127293, A127294 and A127295. Number of fixed points begins as 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, ...

A072766 Transpose of A072764, 'cons' with arguments swapped.

Original entry on oeis.org

0, 1, 2, 3, 4, 6, 7, 5, 14, 16, 8, 9, 15, 42, 19, 17, 10, 37, 43, 51, 44, 18, 11, 38, 121, 52, 126, 47, 20, 12, 39, 122, 149, 127, 135, 53, 21, 13, 40, 123, 150, 385, 136, 154, 56, 22, 23, 41, 124, 151, 386, 413, 155, 163, 60, 45, 24, 107, 125, 152, 387, 414, 475, 164

Offset: 0

Antti Karttunen, Jun 12 2002

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

Inverse permutation: A072767. a(n) = A069770(A072764(n)). Also transpose of A072764, i.e. a(n) = A072764(A038722(n)). Projection functions are A072772 & A072771. The sizes of the corresponding Catalan structures: A072768. The first column: A057548, the first row: A072795. Cf. also A025581, A002262.

a(0)=0 prepended by Sean A. Irvine, Oct 25 2024

A085197 Positions of ones in A007001. Repeating part in each sub-permutation A082315[A014137(n-1)..A014138(n-1)] normalized to begin from 1.

Original entry on oeis.org

1, 3, 6, 8, 11, 15, 17, 20, 22, 25, 29, 31, 34, 38, 43, 45, 48, 50, 53, 57, 59, 62, 64, 67, 71, 73, 76, 80, 85, 87, 90, 92, 95, 99, 101, 104, 108, 113, 115, 118, 122, 127, 133, 135, 138, 140, 143, 147, 149, 152, 154, 157, 161, 163, 166, 170, 175, 177, 180, 182, 185, 189

Offset: 1

Antti Karttunen, Jun 14 2003. Proposed by Wouter Meeussen Mar 15 2003

nonn

From the second term 3 onward also one more than the partial sums of A076050.

Paolo Xausa, Table of n, a(n) for n = 1..16796
Antti Karttunen, Notes concerning A080237-tree and related sequences.

Cf. A085196. First column of A085180.

PositionIndex[Nest[Flatten[Map[Range[#+1] &, #]] &, {1}, 6]][[1]] (* Paolo Xausa, Mar 04 2024 *)

a(n) = A080336(n-1) + n = A082854(A082315(A072795(A081291(n-1)))).

a(n) = n if n < 2, otherwise a(n-1)+A076050(n-1).

cp's OEIS Frontend

A081291 Complement of A072795.

Views

Author

Keywords

Comments

Crossrefs

Programs

PARI

Formula

A083926 Inverse function of N -> N injection A072795.

Views

Author

Keywords

Comments

Crossrefs

Formula

A083924 Characteristic function for A072795.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A057548 A014486-indices of Catalan mountain ranges with no sea-level valleys, i.e., the rooted plane general trees with root degree = 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A080069 a(n) = A014486(A080068(n)).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Python

Extensions

A072764 Tabular N X N -> N bijection induced by Lisp/Scheme function 'cons' combining the two planar binary trees/general trees/parenthesizations encoded by A014486(X) and A014486(Y).

Views

Author

Keywords

Links

Crossrefs

Extensions

A085201 Array A(x,y): Position of the concatenation of binary strings A014486(x) & A014486(y) in A014486, listed antidiagonalwise as A(0,0), A(1,0), A(0,1), A(2,0), A(1,1), A(0,2), ...

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A127291 Signature-permutation of Elizalde's and Deutsch's 2003 bijection for Dyck paths.

Views

Author

Keywords

Comments

Links

Crossrefs

A072766 Transpose of A072764, 'cons' with arguments swapped.

Views

Author

Keywords

Links

Crossrefs

Extensions

A085197 Positions of ones in A007001. Repeating part in each sub-permutation A082315[A014137(n-1)..A014138(n-1)] normalized to begin from 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs