Michael Wallner has authored 18 sequences. Here are the ten most recent ones:
A368164
Number of nondeterministic Dyck bridges of length 2*n.
Original entry on oeis.org
1, 7, 63, 583, 5407, 50007, 460815, 4231815, 38745279, 353832631, 3224323183, 29328492519, 266364307231, 2416023142423, 21890268365007, 198151683934023, 1792260214473087, 16199857938091383, 146342491104098607, 1321339563995562663, 11925412051760977887, 107590261672922633943
Offset: 0
The a(1)=7 N-bridges of length 2 are
/ / /
/\, , /\, , /\, / , /\
\/ \/ \ \/ \/
\ \ \
Cf.
A151281 (nondeterministic Dyck meanders),
A368234 (nondeterministic Dyck excursions),
A000244 (nondeterministic Dyck walks).
A368234
Number of nondeterministic Dyck excursions of length 2*n.
Original entry on oeis.org
1, 4, 28, 224, 1888, 16320, 143040, 1264128, 11230720, 100124672, 894785536, 8010072064, 71794294784, 644079468544, 5782109208576, 51934915067904, 466666751655936, 4194593964294144, 37711993926844416, 339119962067042304, 3049961818869989376, 27434013235435536384
Offset: 0
The a(1)=4 N-bridges of length 2 are
/ /
/\, /\, /\, /\
\ \/
\ \
Cf.
A151281 (Nondeterministic Dyck meanders),
A368164 (Nondeterministic Dyck bridges),
A000244 (Nondeterministic Dyck walks).
A331120
Number of non-isomorphic minimal deterministic finite automata with n transient states recognizing a finite binary language.
Original entry on oeis.org
1, 1, 6, 60, 900, 18480, 487560, 15824880, 612504240, 27619664640, 1425084870240, 82937356685760, 5381249970008640, 385518151040336640, 30248651895457718400, 2581418447382311243520, 238181756821410417488640, 23637327769847150582661120, 2511570244361817605178754560, 284573826857792109743033564160
Offset: 0
- Marco Almeida, Nelma Moreira, and Rogério Reis, Exact Generation of Minimal Acyclic Deterministic Finite Automata. Int. J. Found. Comput. Sci. 19(4): 751-765 (2008).
- Manosij Ghosh Dastidar and Michael Wallner, Asymptotics of relaxed k-ary trees, arXiv:2404.08415 [math.CO], 2024. See p. 1.6.
- Michael Domaratzki, Derek Kisman, and Jeffrey Shallit, On the number of distinct languages accepted by finite automata with n states, J. Autom. Lang. Combinat. (2002) Vol. 77 No. 4, 469-486. See Section 6, f'_2(n).
- Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, and Michael Wallner, Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height, arXiv:1703.10031 [math.CO], 2017.
- Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, and Michael Wallner, Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height, J. Combin. Theory Ser. A, 172:105177, 2020.
- Andrew Elvey Price, Wenjie Fang, and Michael Wallner, Asymptotics of Minimal Deterministic Finite Automata Recognizing a Finite Binary Language, 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2020) Leibniz International Proceedings in Informatics (LIPIcs) Vol. 159, 11:1-11:13.
- Jean-Baptiste Priez, Enumeration of minimal acyclic automata via generalized parking functions. 27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015), Jul 2015, Daejeon, South Korea. pp. 697-708. hal-01337781.
A082161 (2^(n-1)*
A082161(n)) is an upper bound; furthermore these are not necessarily minimal but acyclic binary DFAs without (!) accepting states.
A307700
Number of evolutionary duplication-loss-histories with n leaves of the caterpillar species tree with 5 leaves.
Original entry on oeis.org
5, 69, 1230, 24843, 541315, 12426996, 296546600, 7292489761, 183702242491, 4719659859582, 123261298705663, 3263950145153931, 87452457544863592, 2366980142343757033, 64628573978046899555, 1778185743733577832862, 49254755849062502247446, 1372455474283175885070422
Offset: 1
The caterpillar species tree with 5 leaves is equal to
a
/ \
b 5
/ \
c 4
/ \
d 3
/ \
1 2
For convenience the internal nodes are labeled by a,b,c,d, and the leaves by 1,2,3,4,5. The associated nodes in the histories will be denoted by the same labels.
The a(1)=5 histories with n=1 leaf are created by the following growth process:
a a a a a
/ / / / \
b b b b 5
/ / / \
c c c 4
/ / \
d d 3
/ \
1 2
after four loss events each.
-
my(z = 'z + O('z^25), t = sqrt(1-4*z), u = sqrt(-5+6*t+4*z), v = sqrt(-t*u+3*t+3*u-4), w = sqrt(-t*v+3*t+3*v-4)); Vec(1/2-(1/2)*sqrt(-4-t*w+3*t+3*w)) \\ Michel Marcus, May 07 2019
A307698
Number of evolutionary duplication-loss-histories with n leaves of the caterpillar species tree with 4 leaves.
Original entry on oeis.org
4, 39, 495, 7235, 115303, 1948791, 34379505, 626684162, 11722058693, 223870302588, 4349161774626, 85701267415112, 1709101664822416, 34432888701965454, 699810795294490974, 14331183304458656628, 295434131968070459359, 6125911207605272841753, 127680054133385458855845
Offset: 1
The caterpillar species tree with 4 leaves is equal to
a
/ \
b 4
/ \
c 3
/ \
1 2
For convenience the internal nodes are labeled by a,b,c, and the leaves by 1,2,3,4. The associated nodes in the histories will be denoted by the same labels.
The a(1)=4 histories with n=1 leaf are created by the following growth process:
a a a a
/ / / \
b b b 4
/ / \
c c 3
/ \
1 2
after three loss events each.
-
my(z = 'z + O('z^25), t = sqrt(1-4*z), u = sqrt(-5+6*t+4*z), v = sqrt(-t*u+3*t+3*u-4)); Vec(1/2-(1/2)*sqrt(-4-t*v+3*t+3*v)) \\ Michel Marcus, May 07 2019
A307697
Number of Evolutionary Duplication-Loss-histories with n leaves of the caterpillar species tree with 3 leaves.
Original entry on oeis.org
3, 19, 159, 1565, 17022, 197928, 2413494, 30490089, 395828145, 5250493688, 70863932052, 970121212741, 13439019867456, 188038364992270, 2653560128625570, 37723174042204665, 539726553801797610, 7765849268430279390
Offset: 1
The caterpillar species tree with 3 leaves is equal to
a
/ \
b 3
/ \
1 2
For convenience the internal nodes are labeled by a,b, and the leaves by 1,2,3. The associated nodes in the histories will be denoted by the same labels.
The a(1)=3 histories with n=1 leaf are created by the following growth process:
a a a
/ / \
b b 3
/ \
1 2
after two loss events each.
A307696
Number of evolutionary duplication-loss-histories with n leaves of the caterpillar species tree with 2 leaves.
Original entry on oeis.org
2, 7, 34, 200, 1318, 9354, 69864, 541323, 4310950, 35066384, 290081932, 2432766082, 20635672664, 176727482860, 1526000459400, 13270616752680, 116124930068670, 1021736927603190, 9033726534916920, 80220639767921370, 715166816624282820, 6398357633173869600
Offset: 1
The caterpillar species tree with 2 leaves is equal to
a
/ \
1 2
For convenience the internal node is labeled by a, and the leaves by 1,2. The associated nodes in the histories will be denoted by the same labels.
The a(1)=2 histories with n=1 leaf are created by the following growth process:
a a
/ \
1 2
after one loss event each.
The a(2)=7 histories with n=2 leaves are created by the following growth process:
a a a a a a a
/ \ / \ / \ / \ / \ / \
1 2 1 2 a a a a a a a a
/ \ / \ / / / \ \ \ \ /
1 1 2 2 1 1 1 2 2 2 2 1
A316666
Number of simple relaxed compacted binary trees of right height at most one with no sequences on level 1 and no final sequences on level 0.
Original entry on oeis.org
1, 0, 1, 3, 15, 87, 597, 4701, 41787, 413691, 4512993, 53779833, 695000919, 9680369943, 144560191149, 2303928046437, 39031251610227, 700394126116851, 13270625547477177, 264748979672169681, 5547121478845459983, 121784530649198053263, 2795749225338111831429, 66981491857058929294653
Offset: 0
- G. C. Greubel, Table of n, a(n) for n = 0..448
- Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers and Michael Wallner, Asymptotic Enumeration of Compacted Binary Trees, arXiv:1703.10031 [math.CO], 2017.
- Michael Wallner, A bijection of plane increasing trees with relaxed binary trees of right height at most one, arXiv:1706.07163 [math.CO], 2017.
-
m:=25; R:=PowerSeriesRing(Rationals(), m); b:=Coefficients(R!( (3*Exp(-x) + x-2)/(1-x)^2 )); [Factorial(n-1)*b[n]: n in [1..m]]; // G. C. Greubel, Dec 12 2018
-
aseq := n-> 3*round((n+2)*n!/exp(1))-(n+2)*n!: bseq := n-> (n+2)*n!- 2* round((n+2)*n!/exp(1)): s := (a,b,n)-> a*aseq(n) + b*bseq( n): seq(s(1,0,n),n = 0..20); # Gary Detlefs, Dec 11 2018
-
terms = 24;
CoefficientList[(3E^-z+z-2)/(1-z)^2 + O[z]^terms, z] Range[0, terms-1]! (* Jean-François Alcover, Sep 14 2018 *)
-
Vec(serlaplace((3*exp(-x + O(x^25)) + x - 2)/(1 - x)^2)) \\ Andrew Howroyd, Jul 10 2018
A288954
Number of relaxed compacted binary trees of right height at most one with minimal sequences between branch nodes except before the first and after the last branch node on level 0.
Original entry on oeis.org
1, 1, 3, 13, 79, 555, 4605, 42315, 436275, 4894155, 60125625, 794437875, 11325612375, 172141044075, 2793834368325, 48009995908875, 874143494098875, 16757439016192875, 338309837281040625, 7157757510792763875, 158706419654857449375, 3673441093896736036875
Offset: 2
Cf.
A288953 (variation without initial sequence).
Cf.
A177145 (variation without initial and final sequence).
Cf.
A001147 (relaxed compacted binary trees of right height at most one).
Cf.
A082161 (relaxed compacted binary trees of unbounded right height).
-
terms = 22; egf = 1/(3(1-z))(1/Sqrt[1-z^2] + (3z^3 - z^2 - 2z + 2)/((1-z)(1-z^2))) + O[z]^terms;
CoefficientList[egf, z] Range[0, terms-1]! (* Jean-François Alcover, Dec 13 2018 *)
A288953
Number of relaxed compacted binary trees of right height at most one with minimal sequences between branch nodes except after the last branch node on level 0.
Original entry on oeis.org
1, 1, 3, 10, 51, 280, 1995, 15120, 138075, 1330560, 14812875, 172972800, 2271359475, 31135104000, 471038042475, 7410154752000, 126906349444875, 2252687044608000, 43078308695296875, 851515702861824000, 17984171447178811875, 391697223316439040000
Offset: 0
Denote by L the leaf and by o nodes. Every node has exactly two out-going edges or pointers. Internal edges are denoted by - or |. Pointers are omitted and may point to any node further right. The root is at level 0 at the very left.
The general structure is
L-o-o-o-o-o-o-o-o
| | | | |
o o o o o.
For n=0 the a(0)=1 solution is L.
For n=1 the a(1)=1 solution is L-o.
For n=2 the a(2)=3 solutions are
L-o-o L-o
|
o
2 + 1 solutions of this shape with pointers.
Cf.
A288954 (variation with additional initial sequence).
Cf.
A177145 (variation without final sequence).
Cf.
A001147 (relaxed compacted binary trees of right height at most one).
Cf.
A082161 (relaxed compacted binary trees of unbounded right height).
Comments