This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A324969 #33 Mar 09 2024 11:35:44 %S A324969 1,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765, %T A324969 10946,17711,28657,46368,75025,121393,196418,317811,514229,832040, %U A324969 1346269,2178309,3524578,5702887,9227465,14930352,24157817,39088169,63245986,102334155 %N A324969 Number of unlabeled rooted identity trees with n vertices whose non-leaf terminal subtrees are all different. %C A324969 A rooted identity tree is an unlabeled rooted tree with no repeated branches directly under the same root. This sequence counts rooted identity trees satisfying the additional condition that all non-leaf terminal subtrees are different. %C A324969 Appears to be essentially the same as the Fibonacci sequence A000045. - _R. J. Mathar_, Mar 28 2019 %C A324969 From _Michael Somos_, Nov 22 2019: (Start) %C A324969 A terminal subtree T' of a tree T is a subtree all of whose vertices except one have the same degree in T' as in T itself. %C A324969 The conjecture of Mathar is true. Proof: Given a rooted identity tree T, a terminal subtree T' with more than one vertex contains at least one edge that is also a terminal subtree of T'. Thus, if T has more than one branch with more than one vertex, then it fails the additional condition since it would have at least two non-leaf terminal subtrees (namely edges) that are the same. Also, T can't have under its root more than one branch with exactly one vertex because it is an identity tree. Now we know that under the root of T is exactly one branch of the same kind as T or else it has exactly one other branch with exactly one vertex. The leads immediately to the same recurrence as A000045 the Fibonacci sequence except for n=3. (End) %H A324969 G. C. Greubel, <a href="/A324969/b324969.txt">Table of n, a(n) for n = 1..1000</a> %H A324969 Joshua P. Bowman, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL27/Bowman/bowman4.html">Compositions with an Odd Number of Parts, and Other Congruences</a>, J. Int. Seq (2024) Vol. 27, Art. 24.3.6. See p. 21. %H A324969 Jia Huang, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL26/Huang/huang8.html">Partially Palindromic Compositions</a>, J. Int. Seq. (2023) Vol. 26, Art. 23.4.1. See pp. 4, 11. %H A324969 <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (1,1). %F A324969 From _Michael Somos_, Nov 22 2019: (Start) %F A324969 G.f.: x*(1 - x^2) / (1 - x - x^2) = x*(1 + x/(1 - x/(1 - x/(1 + x)))). %F A324969 a(n) = A000045(n-1) if n>=2. (End) %F A324969 E.g.f.: -1 + x + exp(x/2)*(cosh(sqrt(5)*x/2) - (1/sqrt(5))*sinh(sqrt(5)*x/2)). - _G. C. Greubel_, Oct 24 2023 %e A324969 The a(1) = 1 through a(7) = 8 trees: %e A324969 o (o) ((o)) (o(o)) ((o(o))) (o(o(o))) ((o(o(o)))) %e A324969 (((o))) (o((o))) (((o(o)))) (o((o(o)))) %e A324969 ((((o)))) ((o((o)))) (o(o((o)))) %e A324969 (o(((o)))) ((((o(o))))) %e A324969 (((((o))))) (((o((o))))) %e A324969 ((o(((o))))) %e A324969 (o((((o))))) %e A324969 ((((((o)))))) %e A324969 G.f. = x + x^2 + x^3 + 2*x^4 + 3*x^5 + 5*x^6 + 8*x^7 + 13*x^8 + ... - _Michael Somos_, Nov 22 2019 %t A324969 (* First program *) %t A324969 durtid[n_]:= Join@@Table[Select[Union[Sort/@Tuples[durtid/@ptn]], UnsameQ@@#&&UnsameQ@@Cases[#, {__}, {0,Infinity}]&],{ptn, IntegerPartitions[n-1]}]; %t A324969 Table[Length[durtid[n]],{n,15}] %t A324969 (* Second program *) %t A324969 Join[{1}, Fibonacci[Range[50]]] (* _G. C. Greubel_, Oct 24 2023 *) %o A324969 (PARI) {a(n) = if( n<=1, n==1, fibonacci(n-1))}; /* _Michael Somos_, Nov 22 2019 */ %o A324969 (Magma) [1] cat [Fibonacci(n-1): n in [2..50]]; // _G. C. Greubel_, Oct 24 2023 %o A324969 (SageMath) [int(n==1) +fibonacci(n-1) for n in range(1,51)] # _G. C. Greubel_, Oct 24 2023 %Y A324969 The Matula-Goebel numbers of these trees are given by A324968. %Y A324969 Cf. A000045, A000081, A004111, A276625, A290689. %Y A324969 Cf. A317713, A324923, A324936, A324971, A324978. %K A324969 nonn,easy %O A324969 1,4 %A A324969 _Gus Wiseman_, Mar 21 2019 %E A324969 More terms from _Jinyuan Wang_, Jun 27 2020