A214571 -id:A214571 - cp's OEIS frontend

A061775 Number of nodes in rooted tree with Matula-Goebel number n.

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

Offset: 1

N. J. A. Sloane, Jun 22 2001

nonn

Let p(1)=2, ... denote the primes. The label f(T) for a rooted tree T is 1 if T has 1 node, otherwise f(T) = Product p(f(T_i)) where the T_i are the subtrees obtained by deleting the root and the edges adjacent to it. (Cf. A061773 for illustration).

Each n occurs A000081(n) times.

			a(4) = 3 because the rooted tree corresponding to the Matula-Goebel number 4 is "V", which has one root-node and two leaf-nodes, three in total.
See also the illustrations in A061773.

Alois P. Heinz, Table of n, a(n) for n = 1..10000
Keith Briggs, Matula numbers and rooted trees
Emeric Deutsch, Tree statistics from Matula numbers, arXiv preprint arXiv:1111.4288 [math.CO], 2011.
F. Goebel, On a 1-1-correspondence between rooted trees and natural numbers, J. Combin. Theory, B 29 (1980), 141-143.
I. Gutman and A. Ivic, On Matula numbers, Discrete Math., 150, 1996, 131-142.
I. Gutman and Yeong-Nan Yeh, Deducing properties of trees from their Matula numbers, Publ. Inst. Math., 53 (67), 1993, 17-22.
D. Matula, A natural rooted tree enumeration by prime factorization, SIAM Rev. 10 (1968) 273.
Index entries for sequences related to Matula-Goebel numbers

One more than A196050.
Sum of entries in row n of irregular table A214573.
Number of entries in row n of irregular tables A182907, A206491, A206495 and A212620.
One less than the number of entries in row n of irregular tables A184187, A193401 and A193403.
Cf. A005517 (the position of the first occurrence of n).
Cf. A005518 (the position of the last occurrence of n).
Cf. A091233 (their difference plus one).
Cf. A214572 (Numbers k such that a(k) = 8).
Cf. also A000081, A061773, A049084, A020639, A049076, A078442, A091238, A091204, A091205, A109082, A127301, A109129, A193402, A193405, A193406, A196047, A196068, A198333, A206487, A206494, A206496, A214569, A214571, A213670, A214568, A228599, A245817, A245818.
Cf. also A075166, A075167, A216648, A216649.

import Data.List (genericIndex)
a061775 n = genericIndex a061775_list (n - 1)
a061775_list = 1 : g 2 where
   g x = y : g (x + 1) where
      y = if t > 0 then a061775 t + 1 else a061775 u + a061775 v - 1
          where t = a049084 x; u = a020639 x; v = x `div` u
-- Reinhard Zumkeller, Sep 03 2013

with(numtheory): a := proc (n) local u, v: u := n-> op(1, factorset(n)): v := n-> n/u(n): if n = 1 then 1 elif isprime(n) then 1+a(pi(n)) else a(u(n))+a(v(n))-1 end if end proc: seq(a(n), n = 1..108); # Emeric Deutsch, Sep 19 2011

a[n_] := Module[{u, v}, u = FactorInteger[#][[1, 1]]&; v = #/u[#]&; If[n == 1, 1, If[PrimeQ[n], 1+a[PrimePi[n]], a[u[n]]+a[v[n]]-1]]]; Table[a[n], {n, 108}] (* Jean-François Alcover, Jan 16 2014, after Emeric Deutsch *)

A061775(n) = if(1==n, 1, if(isprime(n), 1+A061775(primepi(n)), {my(pfs,t,i); pfs=factor(n); pfs[,1]=apply(t->A061775(t),pfs[,1]); (1-bigomega(n)) + sum(i=1, omega(n), pfs[i,1]*pfs[i,2])}));
for(n=1, 10000, write("b061775.txt", n, " ", A061775(n)));
\\ Antti Karttunen, Aug 16 2014

from functools import lru_cache
from sympy import isprime, factorint, primepi
@lru_cache(maxsize=None)
def A061775(n):
    if n == 1: return 1
    if isprime(n): return 1+A061775(primepi(n))
    return 1+sum(e*(A061775(p)-1) for p, e in factorint(n).items()) # Chai Wah Wu, Mar 19 2022

a(1) = 1; if n = p_t (= the t-th prime), then a(n) = 1+a(t); if n = uv (u,v>=2), then a(n) = a(u)+a(v)-1.
a(n) = A091238(A091204(n)). - Antti Karttunen, Jan 2004
a(n) = A196050(n)+1. - Antti Karttunen, Aug 16 2014

More terms from David W. Wilson, Jun 25 2001

Extended by Emeric Deutsch, Sep 19 2011

A215703 A(n,k) is the n-th derivative of f_k at x=1, and f_k is the k-th of all functions that are representable as x^x^...^x with m>=1 x's and parentheses inserted in all possible ways; square array A(n,k), n>=0, k>=1, read by antidiagonals.

Original entry on oeis.org

1, 1, 1, 1, 1, 0, 1, 1, 2, 0, 1, 1, 4, 3, 0, 1, 1, 2, 12, 8, 0, 1, 1, 6, 9, 52, 10, 0, 1, 1, 4, 27, 32, 240, 54, 0, 1, 1, 2, 18, 156, 180, 1188, -42, 0, 1, 1, 2, 15, 100, 1110, 954, 6804, 944, 0, 1, 1, 8, 9, 80, 650, 8322, 6524, 38960, -5112, 0, 1, 1, 6, 48, 56, 590, 4908, 70098, 45016, 253296, 47160, 0

Offset: 0

Alois P. Heinz, Aug 21 2012

A000081(m) distinct functions are representable as x^x^...^x with m>=1 x's and parentheses inserted in all possible ways.  Some functions are representable in more than one way, the number of valid parenthesizations is A000108(m-1).  The f_k are ordered, such that the number m of x's in f_k is a nondecreasing function of k.  The exact ordering is defined by the algorithm below.
The list of functions f_1, f_2, ... begins:
  | f_k : m : function (tree)  : representation(s)        : sequence |
  +-----+---+------------------+--------------------------+----------+
  | f_1 | 1 | x -> x           | x                        | A019590  |
  | f_2 | 2 | x -> x^x         | x^x                      | A005727  |
  | f_3 | 3 | x -> x^(x*x)     | (x^x)^x                  | A215524  |
  | f_4 | 3 | x -> x^(x^x)     | x^(x^x)                  | A179230  |
  | f_5 | 4 | x -> x^(x*x*x)   | ((x^x)^x)^x              | A215704  |
  | f_6 | 4 | x -> x^(x^x*x)   | (x^x)^(x^x), (x^(x^x))^x | A215522  |
  | f_7 | 4 | x -> x^(x^(x*x)) | x^((x^x)^x)              | A215705  |
  | f_8 | 4 | x -> x^(x^(x^x)) | x^(x^(x^x))              | A179405  |

			Square array A(n,k) begins:
  1,   1,    1,    1,     1,     1,     1,     1, ...
  1,   1,    1,    1,     1,     1,     1,     1, ...
  0,   2,    4,    2,     6,     4,     2,     2, ...
  0,   3,   12,    9,    27,    18,    15,     9, ...
  0,   8,   52,   32,   156,   100,    80,    56, ...
  0,  10,  240,  180,  1110,   650,   590,   360, ...
  0,  54, 1188,  954,  8322,  4908,  5034,  2934, ...
  0, -42, 6804, 6524, 70098, 41090, 47110, 26054, ...

Alois P. Heinz, Antidiagonals n = 0..140, flattened

Columns k=1-17, 37 give: A019590, A005727, A215524, A179230, A215704, A215522, A215705, A179405, A215706, A215707, A215708, A215709, A215691, A215710, A215643, A215629, A179505, A211205.
Rows n=0+1, 2-10 give: A000012, A215841, A215842, A215834, A215835, A215836, A215837, A215838, A215839, A215840.
Number of distinct values taken for m x's by derivatives n=1-10: A000012, A028310, A199085, A199205, A199296, A199883, A215796, A215971, A216062, A216403.
Main diagonal gives A306739.
Cf. A000081, A000108, A033917, A211192, A214569, A214570, A214571, A216041, A216281, A216349, A216350, A216351, A216368, A222379, A222380, A277537, A306679, A306710, A306726.

T:= proc(n) T(n):=`if`(n=1, [x], map(h-> x^h, g(n-1$2))) end:
g:= proc(n, i) option remember; `if`(i=1, [x^n], [seq(seq(
      seq(mul(T(i)[w[t]-t+1], t=1..j)*v, v=g(n-i*j, i-1)), w=
      combinat[choose]([$1..nops(T(i))+j-1], j)), j=0..n/i)])
    end:
f:= proc() local i, l; i, l:= 0, []; proc(n) while n>
      nops(l) do i:= i+1; l:= [l[], T(i)[]] od; l[n] end
    end():
A:= (n, k)-> n!*coeff(series(subs(x=x+1, f(k)), x, n+1), x, n):
seq(seq(A(n, 1+d-n), n=0..d), d=0..12);

T[n_] := If[n == 1, {x}, Map[x^#&, g[n - 1, n - 1]]];
g[n_, i_] := g[n, i] = If[i == 1, {x^n}, Flatten @ Table[ Table[ Table[ Product[T[i][[w[[t]] - t + 1]], {t, 1, j}]*v, {v, g[n - i*j, i - 1]}], {w, Subsets[ Range[ Length[T[i]] + j - 1], {j}]}], {j, 0, n/i}]];
f[n_] := Module[{i = 0, l = {}}, While[n > Length[l], i++; l = Join[l, T[i]]]; l[[n]]];
A[n_, k_] := n! * SeriesCoefficient[f[k] /. x -> x+1, {x, 0, n}];
Table[Table[A[n, 1+d-n], {n, 0, d}], {d, 0, 12}] // Flatten (* Jean-François Alcover, Nov 08 2019, after Alois P. Heinz *)

A214569 Irregular triangle read by rows: T(n,k) is the number of rooted trees having n vertices and isomorphic (as rooted trees) to k ordered trees (n>=1, k>=1).

Original entry on oeis.org

1, 1, 2, 3, 1, 5, 3, 1, 6, 8, 4, 2, 10, 17, 7, 8, 1, 5, 11, 34, 16, 25, 3, 18, 0, 3, 1, 1, 0, 3, 16, 63, 27, 65, 6, 56, 1, 16, 5, 4, 0, 22, 0, 0, 1, 0, 0, 1, 0, 2, 0, 0, 0, 1, 19, 111, 47, 154, 12, 138, 3, 65, 13, 13, 0, 95, 0, 0, 3, 5, 0, 13, 0, 8, 1, 0, 0, 13, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 26, 186, 73, 348, 18, 319, 6, 208, 35, 32, 0, 308, 0, 2, 13, 34, 0, 58, 0, 29, 1, 0, 0, 88, 0, 0, 1, 1, 0, 16, 0, 0, 0, 0, 1, 18, 0, 0, 0, 8, 0, 2, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6

Offset: 1

Emeric Deutsch, Jul 28 2012

Row n contains A214570(n) entries.
T(n,1) = A003238(n).
Sum(T(n,k), k=1..n) = A000081(n) = number of rooted trees with n vertices.
Sum(k*T(n,k), k=1..n) = A000108(n-1) (the Catalan numbers).
T(n,k) is also the number of size k equivalence classes of function representations as x^x^...^x with n x's and parentheses inserted in all possible ways. T(4,2) = 1: (x^x)^(x^x) == (x^(x^x))^x; T(5,3) = 1: ((x^x)^x)^(x^x) == ((x^x)^(x^x))^x == ((x^(x^x))^x)^x. - Alois P. Heinz, Aug 31 2012

			Row 4 is 3,1: among the four rooted trees with 4 vertices the path tree P_4, the star tree K_{1,3}, and the tree in the shape of Y are isomorphic only to themselves, while A - B - C - D with root at B is isomorphic to itself and to A - B - C - D with root at C.
Triangle starts:
   1;
   1;
   2;
   3,  1;
   5,  3,  1;
   6,  8,  4,  2;
  10, 17,  7,  8, 1,  5;
  11, 34, 16, 25, 3, 18, 0, 3, 1, 1, 0, 3;
  ...

Alois P. Heinz, Rows n = 1..16, flattened

Cf. A000108, A000081, A003238, A214570, A214571, A061775, A206487, A215703.

F:= proc(n) option remember; `if`(n=1, [x+1],
      [seq(seq(seq(f^g, g=F(n-i)), f=F(i)), i=1..n-1)])
    end:
T:= proc(n) option remember; local i, l, p;
      l:= map(f->coeff(series(f, x, n+1), x, n), F(n)):
      p:= proc() 0 end: forget(p);
      for i in l do p(i):= p(i)+1 od:
      l:= map(p, l); forget(p);
      for i in l do p(i):= p(i)+1 od:
      seq(p(i)/i, i=1..max(l[]))
    end:
seq(T(n), n=1..10);  # Alois P. Heinz, Aug 31 2012

F[n_] := F[n] = If[n == 1, {x+1}, Flatten[Table[Table[Table[f^g, {g, F[n-i]}], {f, F[i]}], {i, 1, n-1}]]]; T[n_] := T[n] = Module[{i, l, p}, l = Map[Function[ {f}, Coefficient[Series[f, {x, 0, n+1}], x, n]], F[n]]; Clear[p]; p[] = 0; Do[ p[i] = p[i]+1 , {i, l}]; l = Map[p, l]; Clear[p]; p[] = 0; Do[p[i] = p[i]+1, {i, l}]; Table[p[i]/i, {i, 1, Max[l]}]]; Table[T[n], {n, 1, 10}] // Flatten (* Jean-François Alcover, May 28 2015, after Alois P. Heinz *)

No formula available. Entries have been obtained by counting (using Maple) the rooted trees (identified by their Matula-Goebel numbers) with the required properties (using A061775 and A206487).

A214570 a(n) = Max(c(t)), where c(t) is the number of ordered trees isomorphic - as rooted trees - to the rooted tree t and the maximum is taken over all rooted trees with n vertices.

Original entry on oeis.org

1, 1, 1, 2, 3, 4, 6, 12, 24, 40, 60, 120, 240, 420, 840, 1680

Offset: 1

Emeric Deutsch, Jul 28 2012

a(n) is also the size of the largest equivalence class of function representations as x^x^...^x with n x's and parentheses inserted in all possible ways. a(4) = 2: (x^x)^(x^x) == (x^(x^x))^x; a(5) = 3: ((x^x)^x)^(x^x) == ((x^x)^(x^x))^x == ((x^(x^x))^x)^x. - Alois P. Heinz, Aug 31 2012

			a(4) = 2 because among the four rooted trees with 4 vertices the path tree P_4, the star tree K_{1,3}, and the tree in the shape of Y are isomorphic only to themselves, while A - B - C - D with root at B is isomorphic to itself and to A - B - C - D with root at C.

Cf. A214569, A206487, A214571, A215703.

F:= proc(n) option remember; `if`(n=1, [x+1],
      [seq(seq(seq(f^g, g=F(n-i)), f=F(i)), i=1..n-1)])
    end:
a:= proc(n) option remember; local i, l, m, p; m:=0;
      l:= map(f->coeff(series(f, x, n+1), x, n), F(n)):
      p:= proc() 0 end: forget(p);
      for i in l do p(i):= p(i)+1; m:= max(m, p(i))
      od: m
    end:
seq(a(n), n=1..10);  # Alois P. Heinz, Aug 31 2012

F[n_] := F[n] = If[n == 1, {x+1}, Flatten[Table[Table[Table[f^g, {g, F[n-i]}], {f, F[i]}], {i, 1, n-1}]]]; a[n_] := a[n] = Module[{i, l, m, p}, m = 0; l = Map[ Function[ {f}, Coefficient[Series[f, {x, 0, n+1}], x, n]], F[n]]; Clear[p]; p[] = 0; Do[p[i] = p[i]+1; m = Max[m, p[i]], {i, l}]; m]; Table[a[n], {n, 1, 10}] (* _Jean-François Alcover, May 28 2015, after Alois P. Heinz *)

No formula available, except a(n)=number of entries in row n of A214569.

a(12)-a(16) from Alois P. Heinz, Sep 06 2012

cp's OEIS Frontend

A061775 Number of nodes in rooted tree with Matula-Goebel number n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Python

Formula

Extensions

A215703 A(n,k) is the n-th derivative of f_k at x=1, and f_k is the k-th of all functions that are representable as x^x^...^x with m>=1 x's and parentheses inserted in all possible ways; square array A(n,k), n>=0, k>=1, read by antidiagonals.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

A214569 Irregular triangle read by rows: T(n,k) is the number of rooted trees having n vertices and isomorphic (as rooted trees) to k ordered trees (n>=1, k>=1).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A214570 a(n) = Max(c(t)), where c(t) is the number of ordered trees isomorphic - as rooted trees - to the rooted tree t and the maximum is taken over all rooted trees with n vertices.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions